Verifikacija - proces potvrđivanja softvera

Izrazi „potvrde” i „valjanosti” vrlo često koristi u stručnoj literaturi, a odnose se na kvalitetu analize bilo kojeg softvera. U znanstvenoj literaturi postoje različite interpretacije tih koncepata. Dakle, pokušati pogledati u pitanju.

Najprikladniji, po našem mišljenju, je sljedeća definicija. Validacija i verifikacija - i djelatnosti koje su usmjerene na obavljanje kontrole kvalitete softvera za otkrivanje pogrešaka u ranim fazama njega. Čini se da oni imaju zajednički cilj. Ipak, ove vrste imaju razlike u izvorima provjerljivim svojstva, ograničenja i propisa, od kojih povreda može smatrati pogreška.

Verifikacija - provjera sukladnosti softvera tehničke dokumentacije koju pruža zahtjeve specifikacija, arhitekture ili domenu modela. U „dužnost” u roku je uključena i proračunskih postupaka odnosu na proces razvoja, pravilima i standardima.

provjera podataka može se obaviti za postavljanje funkcioniranje program sukladnosti utvrđenim standardima, zahtjevima, dizajn i korisničku dokumentaciju. U tom slučaju, obvezno Predinspekcijsko podliježe tim dokumentima, koji su u odnosu na njihovu usklađenost sa standardima i propisima navedenim u zemlji u kojoj je djelovao softver. Potrebno je uzeti u obzir i poštovanje za sve sekvence koje se obavlja.

U slučaju greške ili grešaka u programu ili pak postoji sukob između navedenih dokumenata i tekuće funkcioniranje programa donijela odluku o izboru instrumenta za korekciju bi trebao biti rješenje za određeni zadatak.

Za razliku od validacije za provjeru je odgovoran za provjeru usklađenosti s razvijenim ili u pratnji softverske potrebe ili za potrebe kupaca ili korisnika. Te potrebe često nisu zabilježeni u svim dokumentima. Zato valjanosti manje formalizirano od provjere. To je proces u kojem predstavnici potrošača, korisnika, a isto tako može prisustvovati jedan analitičar ili stručnjak u tom području. Drugim riječima, oni koji se mogu izraziti specifičnim potrebama i stvarnim potrebama dionika.

Verifikacija - je odgovor na pitanje „Je li softver ispravno napravio?”, A ovjera - „Hoće li pravo softver”.

Kada je u potrazi za odgovorom na ta pitanja, vi svibanj naći da je provjera valjanosti (ili certifikat) sadržaj je postavljena malo šire od provjere (verifikacije). Međutim, provjera je usko povezano s osiguravanjem kontrole nad kvalitetom softverskog proizvoda.

Na primjer, verifikacija računalnog programa opisuje postupak u kojem je temelj za cilj osigurati da zadovoljava ove uvjete, posebno dobivenim životnog ciklusa proizvoda, za one dobivene u prethodnom koraku.

Ako govorimo o provjeri modela, ovdje ćemo se usredotočiti na provjeru ispravan prikaz modela računala potrebnih konceptualne ili matematički modeli.

Kada kod sustav provjere analizira izvor kodiranje i provjere svoj opis podudaranje dokumentarni.

Proces provjere mogu uključivati operacije obuhvaćaju alternativne izračune. Usporedba tehničke i znanstvene dokumentacije novog projekta s odgovarajućom dokumentacijom postojećeg projekta, obvezno testiranje, testiranje novih proizvoda softvera i pokazuju rezultate.