Provjera je postupak potvrde softverskog proizvoda

Pojmovi "provjera" i "validacija" vrlo se često koriste u tehničkoj literaturi i povezani su s analizom kvalitete bilo kojeg softvera. U znanstvenoj literaturi se mogu naći razna tumačenja tih pojmova. Pokušajmo razumjeti ovo pitanje.

Najkorisnija je, s naše točke gledišta, sljedeća definicija. Validacija i provjera aktivnosti su usmjerene na kontrolu kvalitete softverski proizvod s ciljem otkrivanja u ranoj fazi pogrešaka u njemu. Čini se da imaju zajednički cilj. Ipak, te vrste imaju razlike u izvorima ispitivanih svojstava, ograničenjima i pravilima, čije se nepridržavanje može smatrati pogreškom.

Provjera je provjera usklađenosti s softverom tehnička dokumentacija, predstavljen tehničkim dizajnom, arhitekturom ili modelom domene. U "odgovornosti" tog pojma uključena je usporedba postupka izračuna s procesom njihova razvoja, pravila i standarda.

Provjera podataka može se provesti radi utvrđivanja sukladnosti rada programa s utvrđenim standardima, zahtjevima, odlukama dizajna i korisničkom dokumentacijom. Istovremeno, obvezni dokumenti moraju biti podvrgnuti preliminarnoj potvrdi, kojom se uspoređuju radi usklađenosti sa svojim standardima i standardima utvrđenim u zemlji u kojoj se softver koristi. Potrebno je uzeti u obzir i pridržavanje svih sekvenci operacija.

U slučaju otkrivanja pogreške ili grešaka u radu programa, ili utvrđivanja proturječnosti između gore navedenih dokumenata i funkcioniranja programa, odluka o odabiru dokumenta za ispravak treba biti rješenje za određeni problem.

Za razliku od provjere, potvrda je odgovorna za provjeru da razvijeni ili prateći softverski proizvodi zadovoljavaju potrebe ili potrebe korisnika ili korisnika. Ove potrebe se često ne bilježe u bilo kojoj dokumentaciji. Zato je potvrda manje formalizirana od provjere. To je proces u kojem predstavnik korisnika, korisnik sudjeluje, a također i analitičar ili stručnjak. domene. Drugim riječima, oni koji mogu izraziti specifične potrebe i stvarne potrebe dionika.

Provjera je odgovor na pitanje "Je li softver ispravno izveden?" I provjeru valjanosti - "Je li točan softver?".

Kada tražite odgovore na postavljena pitanja, može se utvrditi da je provjera (ili potvrda) sadržaja malo veća od provjere (potvrde). Međutim, provjera je usko povezana s osiguravanjem kontrole kvalitete softverskog proizvoda.

Na primjer, provjera računalnog programa uključuje proces u kojem je cilj osigurati zadovoljavanje zahtjeva podataka dobivenih u određenom životnom ciklusu proizvoda, na one koje su dobivene u prethodnoj fazi.

Ako govorimo o verifikaciji modela, tada ćemo govoriti o provjeravanju točnosti kartiranja određenog računalnog modela s potrebnim konceptualnim ili matematički modeli.

Kada se kôd sustava potvrdi, analizira se izvorni kôd i dokumentira njegovo pridržavanje.

U postupku provjere mogu se uključiti operacije koje uključuju alternativne izračune. Tehnička i znanstvena dokumentacija novog projekta uspoređuje se s odgovarajućom dokumentacijom već postojećeg projekta, obveznim testiranjem, testiranjem novog softverskog proizvoda i demonstracijom rezultata.