Verifika - il-proċess ta 'softwer validazzjoni

It-termini "verifika" u "validazzjoni" jintuża ta 'spiss fil-letteratura teknika u huma relatati mal-kwalità tal-analiżi ta' kwalunkwe softwer. Fil-letteratura xjentifika hemm diversi interpretazzjonijiet ta 'dawn il-kunċetti. Allura, jippruvaw li tħares lejn il-kwistjoni.

L-aktar xieraq, in vista tagħna, hija d-definizzjoni li ġejja. Validazzjoni u l-verifika - huma attivitajiet li huma mmirati lejn twettiq tal-kontroll tal-kwalità tal -software li jinstabu żbalji fl-istadji bikrija ta 'dan. Jidher li dawn għandhom għan komuni. Still, dawn l-ispeċi għandhom differenzi fis-sorsi ta 'proprjetajiet verifikabbli, restrizzjonijiet u regolamenti, ksur ta' li jistgħu jiġu kkunsidrati żball.

Verifika - verifika tal-konformità tas-software dokumentazzjoni teknika pprovduta mill-ħtiġiet ispeċifikazzjoni, l-arkitettura jew dominju mudell. Fil- "dmir" tat-terminu hija inkluża u l-proċeduri ta 'kalkolu paragun għall-proċess tar-iżvilupp, regoli u standards.

verifika ta 'dejta jista' jsir biex jistabbilixxu l-funzjonament tal-istandards, ir-rekwiżiti, disinn, u d-dokumentazzjoni programm ta 'konformità stabbilit utent. F'dan il-każ, qabel l-ispezzjoni obbligatorja għandha tkun soġġetta għal dawk id-dokumenti, li huma mqabbla ma 'konformità tagħhom mal-istandards u r-regolamenti stabbiliti fil-pajjiż fejn is-softwer hija mħaddma. Huwa meħtieġ li jittieħed in kunsiderazzjoni u r-rispett għad sekwenzi kollha ta 'operazzjonijiet li jitwettqu.

Fil-każ ta 'żball jew difett fil-programm jew inkella hemm kunflitt bejn id-dokumenti msemmija hawn fuq u t-tħaddim attwali tal-programm id-deċiżjoni dwar l-għażla ta' strument għall-korrezzjoni għandha tkun is-soluzzjoni għal kompitu partikolari.

B'differenza validazzjoni verifika huwa responsabbli li jivverifika l-konformità mal-ħtiġijiet żviluppati jew tkun akkumpanjata software jew il-bżonnijiet tal-klijenti jew utenti. Dawn il-ħtiġijiet huma ħafna drabi mhumiex irreġistrati f'kull dokument. Dan huwa għaliex validazzjoni inqas formalizzati minn verifika. Dan huwa proċess li fih rappreżentanti tal-klijent, l-utent, u jista 'wkoll jattendi analista jew espert fil -qasam suġġett. Fi kliem ieħor, dawk li jistgħu jesprimu l-ħtiġijiet speċifiċi u l-bżonnijiet reali tal-partijiet interessati.

Verifika - hija t-tweġiba għall-mistoqsija "Huwa l-software magħmul kif suppost?", U validazzjoni - "? Se il-softwer dritt".

Meta tiftix għal risposta għal dawn il-mistoqsijiet, inti tista 'ssib li l-kontenut ta' validazzjoni (jew ċertifikazzjoni) huwa stabbilit kemmxejn usa 'mill-kontroll (verifika). Madankollu, il-verifika hija marbuta mill-qrib mal jiġi żgurat kontroll fuq il-kwalità tal-prodott tas-softwer.

Per eżempju, il-verifika ta 'programm tal-kompjuter jipprovdi proċess li fih l-bażi għall-għan huwa li jiġi żgurat li jintlaħqu dawn ir-rekwiżiti, b'mod partikolari ċiklu tal-ħajja tal-prodott ottenut, għal dawk miksuba fil-pass preċedenti.

Jekk nitkellmu dwar il-verifika mudell, hawnhekk aħna ser tiffoka fuq il-verifika tal-wiri korretta tal-mudelli tal-kompjuter meħtieġa konċettwali jew mudelli matematiċi.

Meta kodiċi sistema ta 'verifika tanalizza s-sors kodifikazzjoni u l-verifika deskrizzjoni tqabbil dokumentarja tagħha.

Il-proċess ta 'verifika jista' jinkludi operazzjonijiet li jinvolvu l-kalkoli alternattivi. Paragun ta 'dokumentazzjoni teknika u xjentifika tal-proġett il-ġdid ma' dokumentazzjoni xierqa ta 'proġett eżistenti, ittestjar obbligatorju, ittestjar ta' prodott software ġdid u r-riżultati li juru.