Description
Il corso introduce ai concetti basilari di verifica e validazione di prodotti software, evidenziando il ruolo della fase di test all'interno del processo di sviluppo. Vengono presentate le principali tecniche di verifica statica e dinamica e i metodi e le misure applicabili durante la fase di test. Il corso ha come obiettivo principale quello di fornire 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. Viene inoltre presentata una rassegna dei principali strumenti automatici applicabili durante la fase di test utili sia alla sua pianificazione, sia alla derivazione dei casi di test da eseguire.Teacher
Eda Marchetti (home page).Istituto di Scienza e Tecnologie "A.Faedo" del Consiglio Nazionale delle Ricerche
Via Moruzzi 1
56124 Pisa
e-mail: eda.marchetti at isti.cnr.it
Didactic Material
Will be available soon.