Page begin -
Logo DISCO
|
Go to the Highly accessible area
|
Go to the Content page
|
Go to the End of content
|
Go to the Main menu
|
Go to the Navigation Bar (location)
|
Go to the Navigation menu (tree)
|
Go to the Commands list
|
Go to the Further readings
|
Go to the Bottom Menu
|
Logo Ateneo
   
Enrolled
Controllo della qualità del software

DOCENTE: Pezzè

Crediti 4 cfu

OBIETTIVI

L’obiettivo del corso è quello di introdurre tecniche avanzate per la qualità del software e formare delle figure che siano in grado di gestire in modo appropriato il processo di test per applicazioni complesse e di grandi dimensioni.

 

PROGRAMMA

Dimensioni del problema

Problemi e approcci

Principi di base

Modelli finiti

Modelli di dipendenza di flusso dei dati

Esecuzione simbolica

Verifica a stati finiti

Generazione di casi di test da Modelli di dipendenza di flusso dei dati

Test di software orientato agli oggetti

 

Further readings
(C) Copyright 2016 - Dipartimento Informatica Sistemistica e Comunicazione - Viale Sarca, 336
20126 Milano - Edificio U14
redazioneweb@disco.unimib.it - last update of this page 28/03/2011