Il corso fornice le conoscenze necessarie per organizzare e svolgere una fase di test tenendo conto sia del tipo di applicazione sia del tipo di verifica o validazione da svolgere. Vengono inoltre fornite le informazioni necessarie all’utilizzo dei principali  strumenti automatici applicabili durante la fase di test utili sia alla sua pianificazione, sia alla derivazione dei casi di test da eseguire.

Conoscenze di base relative al processo di sviluppo del software, modellazione UML

The course introduces the basic concepts useful for the verification and validation of software products. It evidences the role of testing into the software development process. The course presents the main static and dynamic verification and validation techniques and the widespread measures applicable during the testing phase.

 Introduzione e concetti base

·         Definizioni base

·         Obiettivi della fase di test

·         Pianificazione della fase di test

·         Misurazione e valutazione della fase di test

Principali tecniche di verifica statica

·         Ispezione e revisione del codice

·         Verifica di modelli

Verifica basata sul flusso dei dati

·         Criteri di copertura

Ore lezione: 32Ore esercitazione: 16   

Bibliografia

Modalità di esame