? Validazione e verifica ( V & V ) è il processo utilizzato per assicurare che un progetto di ingegneria del software soddisfi i suoi obiettivi di progettazione . La verifica viene utilizzata per verificare se un work- in-progress del software ad una data fase di sviluppo incontra i suoi obiettivi , e la convalida viene utilizzato per verificare se un progetto software completato soddisfi i suoi obiettivi . Ci sono due processi di validazione e verifica: controllo e prova . Testing è Learning

test può essere descritto come esplorare le caratteristiche di un pezzo di software . Gli ingegneri di test impostati esperimenti per vedere che cosa il software può e non può fare . Questo rivelerà spesso un comportamento imprevisto in scenari di utilizzo reali , permettendo ai tecnici di prova a riferire ai progettisti . I progettisti possono quindi studiare il codice sorgente e cercare di capire che cosa ha causato il comportamento imprevisto , e come risolvere il problema .
Controllo è la conferma

controllo è utilizzato per verificare che il software esegue correttamente un compito specifico . Un controllo può essere semplice come una dichiarazione di affermare , che sia positivo o negativo quando una condizione è verificata . Se uno sviluppatore di software crede che qualcosa sia vero ( che x è uguale a 5, per esempio) , si può impostare un check per verificare la veridicità di questa convinzione. Se il controllo ha esito negativo , allora qualcosa è la causa del software di comportarsi in modo imprevisto .
Controllo può essere automatizzato

Controllo può essere automatizzato . Il linguaggio di programmazione C è l'affermazione " valere " costruito a destra in esso . Se si progetta un software e si aspettano una certa condizione in una certa fase di esecuzione del programma , è necessario includere una dichiarazione affermare . Se l'asserzione non riesce, il programma si blocca . Questo ti dice che la tua ipotesi sono difettosi , e che ci sia un bug nel codice.
Test non può essere automatizzato

test deve essere fatto da esseri umani . Non esistono costrutti di programmazione che possono verificare un software nello stesso modo in cui un essere umano può. Test prevede la sperimentazione di software e la registrazione dei risultati . Questo coinvolge mettendo il software tramite uso nel mondo reale , che richiede un umano . Test permette al V & V squadra per scoprire bug che avrebbe perso il controllo .