Verifikācija ir programmatūras produkta verifikācijas process

Datori

Termini "verifikācija" un "apstiprināšana" ir ļoti biežiIzmanto tehniskajā literatūrā un saistīta ar jebkuras programmatūras kvalitātes analīzi. Zinātniskā literatūrā var atrast dažādas šo jēdzienu interpretācijas. Tātad, mēģināsim izprast šo problēmu.

Vispiemērotākais no mūsu viedokļair šāda definīcija. Apstiprināšana un pārbaude ir darbības, kuru mērķis ir uzraudzīt programmatūras produkta kvalitāti, lai atklātu kļūdas programmatūras produkta agrīnajos posmos. Šķiet, ka viņiem ir kopīgs mērķis. Bet tomēr šīm sugām ir atšķirības testējamo īpašumu avotos, ierobežojumi un noteikumi, kuru neievērošanu var uzskatīt par kļūdu.

Pārbaude ir atbilstības pārbaudeprogrammatūras tehniskā dokumentācija, iesniegtā tehniskā specifikācija, arhitektūra vai priekšmeta domēna modelis. Šajā termina "atbildība" ir iekļauts aprēķinu procedūras salīdzinājums ar to izstrādes procesu, noteikumiem un standartiem.

Datu pārbaudi var veiktnoteikt programmas darbības atbilstību noteiktajām normām, prasībām, dizaina lēmumiem un lietotāja dokumentāciju. Tajā pašā laikā obligātajiem dokumentiem jābūt pakļautām iepriekšējai verifikācijai, ar kurām tos salīdzina, lai ievērotu to standartus un standartus, kas noteikti valstī, kurā tiek izmantota programmatūra. Ir jāņem vērā un jāievēro visas veikto darbību secības.

Kļūdas vai darbības defekta gadījumāprogrammu vai pretrunu atklāšanu starp iepriekšminētajiem dokumentiem un programmas darbību, lēmums izvēlēties koriģējošo dokumentu būtu konkrēta uzdevuma risinājums.

Atšķirībā no pārbaudes, validācija ir atbildīga parpārbaudītu izstrādāto vai pavadīto programmatūras produktu atbilstību klientu vai lietotāju vajadzībām vai vajadzībām. Šīs vajadzības bieži nereģistrē nevienā dokumentācijā. Tāpēc validācija ir mazāk formalizēta nekā verifikācija. Tas ir process, kurā pārstāvji no klienta, lietotāja, kā arī var apmeklēt analītiķis vai ekspertam konkrētajā teritorijā. Citiem vārdiem sakot, tie, kas var izteikt ieinteresēto personu īpašās vajadzības un patiesās vajadzības.

Pārbaude ir atbilde uz jautājumu "Vai programmatūra ir pareizi veikta?" Un apstiprinājums - "Vai ir pareizi veikta programmatūra?".

Meklējot atbildes uz jautājumiem, jūs varatka validācija (vai sertifikācija) pēc satura ir nedaudz plašāka nekā verifikācija (verifikācija). Tomēr pārbaude ir cieši saistīta ar programmatūras produkta kvalitātes kontroli.

Piemēram, datorprogrammas pārbaudeir process, kura mērķis ir nodrošināt, lai tiktu izpildītas noteiktā produkta aprites ciklā iegūto datu prasības, salīdzinot ar tām, kas iegūtas iepriekšējā posmā.

Ja mēs runājam par modeļa pārbaudi, tad tas būs jautājums, vai konkrētā aprēķina modeļa kartēšanas pareizība tiek pārbaudīta uz nepieciešamo konceptuālo vai matemātisko modeli.

Ja tiek pārbaudīts sistēmas kods, tiek analizēts pirmkods un tā atbilstība dokumentēta.

Verifikācijas procesā operācijas,kas satur alternatīvus aprēķinus. Jaunā projekta tehnisko un zinātnisko dokumentāciju salīdzina ar jau esošā projekta atbilstošo dokumentāciju, obligātu testēšanu, jaunā programmatūras produkta testēšanu un rezultātu demonstrēšanu.