Verifikacija - proces potvrđivanja softvera

Izrazi "verifikaciju" i "validacija" se vrlo često koristi u stručnoj literaturi i odnose se na kvalitetu analize bilo koji softver. U naučnoj literaturi postoje različita tumačenja ovih pojmova. Dakle, pokušajte pogledati u pitanju.

Najprikladnije, po našem mišljenju, je sledeću definiciju. Validaciju i verifikaciju - su aktivnosti koje su usmjerene na obavljanje kontrole kvaliteta softvera za otkrivanje grešaka u ranim fazama ga. Čini se da oni imaju zajednički cilj. Ipak, ove vrste imaju razlike u izvorima provjerljivih imovine, ograničenja i pravila, od kojih povreda može smatrati greškom.

Verifikacija - provjere usklađenosti softvera tehničke dokumentacije od strane modela zahtjeve specifikacija, arhitekture ili domenu. U "dužnost" termina je uključena i postupci proračuna odnosu na proces razvoja, pravila i standarda.

provjere podataka može se izvršiti za postavljanje funkcioniranje programa usklađenosti utvrđenim standardima, zahtjevi, dizajn i korisnička dokumentacija. U ovom slučaju, obavezno prethodno inspekcija će biti predmet tih dokumenata, koji se u odnosu na njihovu usklađenost sa standardima i propisima u zemlji u kojoj se upravlja softver. Potrebno je uzeti u obzir i poštovanje za sve sekvence poslova koje obavlja.

U slučaju greške ili greške u programu ili pak postoji sukob između gore navedenih dokumenata i trenutni funkcioniranje programa odluke o izboru instrumenta za korekciju bi trebao biti rješenje za određeni zadatak.

Za razliku od verifikacije validacija je odgovoran za provjeru usklađenosti s razvijenim ili u pratnji potrebe softvera ili potrebe kupaca ili korisnika. Ove potrebe su često nisu evidentirane u bilo kakve dokumente. To je razlog zašto validacija manje formalizirane od verifikacije. To je proces u kojem predstavnici potrošača, korisnika, i mogu prisustvovati i analitičar ili stručnjak u predmetnom području. Drugim riječima, oni koji mogu izraziti specifičnim potrebama i stvarnim potrebama aktera.

Verifikacija - je odgovor na pitanje "Je li softver pravilno napravili?", I vrednovanje - "? Hoće li pravo softver".

Kada u potrazi za odgovor na ova pitanja, možete naći da je validacija (ili potvrdu) sadržaj je postavljena malo šire od provjere (verifikacije). Međutim, verifikacija je usko povezano sa osigura kontrolu nad kvalitetom proizvoda softvera.

Na primjer, verifikacija kompjuterski program pruža proces u kojem osnovu za cilj je da se osigura da ispuni ove zahtjeve, a naročito dobiti životnog ciklusa proizvoda, do onih dobiveni u prethodnom koraku.

Ako govorimo o verifikaciji modela, ovdje ćemo se fokusirati na verifikaciju ispravnog prikaza modela potreban računar konceptualni ili matematičkih modela.

Kada kod verifikacije sistem analizira izvor kodiranje i verifikaciju njegov opis odgovarajući dokumentarac.

Proces verifikacije može uključivati operacije čine alternativu proračuna. Usporedba tehničke i naučne dokumentacije novog projekta uz odgovarajuću dokumentaciju postojećeg projekta, obavezno testiranje, testiranje novih softverskih proizvoda i pokazuje rezultate.