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.