Izrazi "provjera" i "provjera valjanosti" vrlo su čestikoriste se u tehničkoj literaturi i povezani su s analizom kvalitete bilo kojeg softvera. U znanstvenoj literaturi možete pronaći različita tumačenja tih pojmova. Pa, pokušajmo razumjeti ovaj problem.
S naše točke gledišta najispravnijeje sljedeća definicija. Provjera valjanosti i provjera aktivnosti su usmjerene na provođenje kontrole kvalitete softverskog proizvoda kako bi se u ranoj fazi otkrile pogreške u njemu. Čini se da im je zajednički cilj. Ali ipak, ove vrste imaju razlike u izvorima provjerenih svojstava, ograničenja i pravila, nepoštivanje kojih se može smatrati pogreškom.
Provjera je provjera usklađenostisoftverska tehnička dokumentacija predstavljena projektnim zadatkom, arhitekturom ili modelom domene. "Odgovornosti" ovog izraza uključuju i usporedbu postupka nagodbe s postupkom njihovog razvoja, pravilima i standardima.
Provjera podataka može se izvršiti zainstalacija usklađenosti programa s utvrđenim standardima, zahtjevima, projektnim rješenjima i korisničkom dokumentacijom. U ovom slučaju, oni dokumenti s kojima se uspoređuje njihova usklađenost sa standardima i propisima uspostavljenim u zemlji u kojoj se softver koristi podliježu obveznoj prethodnoj provjeri. Potrebno je uzeti u obzir i poštivanje svih slijedova izvedenih operacija.
U slučaju pogreške ili nedostatka u raduprogram ili otkrivanje proturječnosti između gore navedenih dokumenata i trenutnog rada programa, donošenje odluke o izboru dokumenta za korekciju trebalo bi biti rješenje zasebnog problema.
Za razliku od provjere, valjanost je odgovorna zaprovjera usklađenosti razvijenih ili održavanih softverskih proizvoda sa potrebama ili potrebama kupaca ili korisnika. Te potrebe često nisu zabilježene ni u jednoj dokumentaciji. Zbog toga je provjera valjanosti manje formalizirana od provjere. Ovo je postupak u kojem mogu biti prisutni predstavnik kupca, korisnik i analitičar ili stručnjak za predmet. Drugim riječima, one koje mogu izraziti specifične potrebe i stvarne potrebe dionika.
Provjera je odgovor na pitanje "Je li softver pravilno izveden?", A provjera valjanosti odgovor na pitanje "Je li softver napravljen ispravno?"
Kad tražite odgovor na postavljena pitanja, možeteutvrditi da je provjera valjanosti (ili potvrda) u sadržaju nešto šira od provjere (provjere). Međutim, provjera je prilično usko povezana s osiguravanjem kontrole nad kvalitetom softverskog proizvoda.
Na primjer, provjera računalnog programaPruža postupak koji se temelji na cilju osiguravanja da zahtjevi podataka dobiveni u danom životnom ciklusu proizvoda budu zadovoljeni onima koji su dobiveni u prethodnoj fazi.
Ako govorimo o provjeri modela, ovdje ćemo govoriti o provjeri ispravnosti prikaza određenog računalnog modela potrebnim konceptualnim ili matematičkim modelima.
Pri provjeri sistemskog koda analizira se izvorno kodiranje i provjerava njegova usklađenost s dokumentarnim opisom.
Proces provjere može uključivati operacijekoji sadrže alternativne izračune. Provodi se usporedba tehničke i znanstvene dokumentacije novog projekta s odgovarajućom dokumentacijom postojećeg projekta, obvezno testiranje, odobrenje novog softverskog proizvoda i demonstracija rezultata.