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.

Il processo di Test

Definizioni base

Obiettivi del Testing del Sofware

Pianificazione della fase di test e problematiche connesse

Introduzione alle principali tecniche statiche

Ispezione e revisione del codice

Verifica dei modelli

Introduzione alle principali tecniche Dinamiche

Testing basato sulle specifiche

Testing basato sul codice

Testing basato sul tipo di guasto

Approfondimenti e applicazioni di:

 Software Reliability Engineering:

 Testing di OO software

 Model based testing

UML testing

Ore lezione:

32

Ore esercitazione:

16

Bibliografia

Modalità di esame