Please enable JavaScript.
Coggle requires JavaScript to display documents.
VERIFICA E VALIDAZIONE DEL SOFTWARE - Coggle Diagram
VERIFICA E VALIDAZIONE DEL SOFTWARE
INTRODUZIONE
Obiettivi del V&V:
Identificare e correggere precocemente i problemi
Maggiore risparmio e qualità (vedi decalogo di Boehm)
Controllo qualità:
Deriva dall’industria
Adattato al software
Controllo qualità:
Ultima fase del processo di sviluppo
Verifica il funzionamento corretto e la rispondenza ai requisiti
TERMINOLOGIA DI VERIFICA DEL SOFTWARE
Classi di fault:
Specifica (analisi incompleta)
Design (interazioni/componenti errate)
Codice (errori di implementazione)
Testing:
Esecuzione del software per scoprire difetti
Caratteristiche : Obiettività, Isolamento dei guasti, Ripetibilità
Errori e difetti:
Failure: comportamento diverso da quello atteso
Error status: stato instabile che porta al fallimento
Fault: errore meccanico/algoritmico
Error: origine del difetto
TEST E CASI DI TEST
Struttura dei test:
Insieme di test case
Input → esecuzione → confronto output atteso
Valutazione:
Conoscere output atteso per ogni test
Scelta rappresentativa dei flussi (esaustività impraticabile)
Tipi di test:
Test del componente → singole unità (sviluppatori)
Test di sistema → sistema integrato (team indipendente)
Debugging:
Uso di debugger per identificare e correggere difetti
Ripetizione dei test dopo la correzione
Rimozione dei bug
VERIFICATION E VALIDATION
Domande chiave:
Verifica: Rispetto delle specifiche? Corretta implementazione?
Validazione: Risponde ai bisogni del cliente?
Tecniche:
Dinamiche (esecuzione, test automatici)
Validazione: feedback utente, test di usabilità
Statiche (ispezioni, analisi del codice)
Verifica vs Validazione (Boehm):
Validazione: "Stiamo costruendo il prodotto giusto?"
Verifica: "Stiamo costruendo il prodotto nel modo giusto?"