Verificarea este procesul de verificare a unui produs software

Termenii "verificare" și "validare" sunt foarte des folosiți în literatura tehnică și sunt asociate cu analiza calității oricărui software. În literatura științifică se pot găsi diverse interpretări ale acestor concepte. Deci, să încercăm să înțelegem această problemă.

Cea mai corectă, din punctul nostru de vedere, este următoarea definiție. Validarea și verificarea sunt activități care vizează controlul calității produs software cu scopul de a detecta în stadiile incipiente de erori în ea. Se pare că au un scop comun. Dar totuși aceste specii au diferențe în sursele proprietăților testate, restricțiile și regulile, nerespectarea cărora poate fi considerată o greșeală.

Verificarea este o verificare a conformității software-ului documentația tehnică, reprezentate de designul tehnic, arhitectura sau modelul domeniului. În "responsabilitățile" acestui termen, este inclusă compararea procedurii de calcul cu procesul de dezvoltare, reguli și standarde ale acestora.

Verificarea datelor poate fi efectuată pentru a stabili conformitatea funcționării programului cu standardele, cerințele, deciziile de proiectare și documentația utilizatorului. În același timp, documentele obligatorii trebuie să facă obiectul unei verificări preliminare, cu care sunt comparate pentru conformitatea cu standardele și standardele stabilite în țara în care software-ul este utilizat. Este necesar să se ia în considerare și să se respecte toate secvențele de operațiuni efectuate.

În cazul unei erori sau defect în program sau există un conflict între documentele menționate mai sus și funcționarea curentă a programului decizia privind alegerea instrumentului pentru corecția ar trebui să fie soluția la o anumită sarcină.

Spre deosebire de verificare, validarea este responsabilă pentru verificarea faptului că produsele software dezvoltate sau însoțite răspund nevoilor sau nevoilor clienților sau utilizatorilor. Aceste nevoi nu sunt adesea înregistrate în nicio documentație. De aceea, validarea este mai puțin formalizată decât verificarea. Acesta este un proces în care reprezentantul clientului, participantul participă și poate fi prezent și un analist sau expert. domeniu. Cu alte cuvinte, cele care pot exprima nevoile specifice și nevoile reale ale părților interesate.

Verificarea este răspunsul la întrebarea "Este software-ul făcut corect?" Și validarea - "Este software-ul corect făcut?".

Când căutați răspunsuri la întrebările adresate, se poate constata că validarea (sau atestarea) conținutului are o valoare ușor mai mare decât verificarea (verificarea). Verificarea, cu toate acestea, este strâns legată de asigurarea controlului calității produsului software.

De exemplu, verificarea unui program de calculator implică un proces în care scopul este de a se asigura că cerințele datelor obținute într-un anumit ciclu de viață al produsului sunt îndeplinite, la cele obținute în etapa anterioară.

Dacă vorbim despre verificarea modelului, atunci vom vorbi despre verificarea corectitudinii cartografierii unui model calculat dat cu necesarul conceptual sau modele matematice.

Când codul de sistem este verificat, codul sursă este analizat și conformitatea sa documentată.

În procesul de verificare, operațiunile care implică calcule alternative pot fi incluse. Documentația tehnică și științifică a noului proiect este comparată cu documentația corespunzătoare a proiectului deja existent, testarea obligatorie, testarea noului produs software și demonstrarea rezultatelor.