Docente: M. Pezzè

Crediti: 6 CFU

Programma del Corso:

• Dimensione del problema
• Principi di base
• Il processo di controllo qualità
• Modelli Finiti
• Modelli di dipendenza di flusso e dati
• Esecuzione Simbolica
• Verifica a stati finiti
• Selezione di test e criteri di adeguatezza
• Test funzionale
• Test strutturale
• Test di Software orientate agli oggetti
• Generazione di casi di test e supporto run-time
• Ispezione e Analisi statica
• Pianificazione e monitoraggio
• Test di integrazione e di componenti
• Test di sistema, accettazione e regressione
• Automazione e documentazione

Vai al sito web del corso.