| KEYWORD |
Generazione automatica di test funzionali a partire da modelli semi-formali
Parole chiave TEST DEL SOFTWARE
Riferimenti RICCARDO SISTO
Gruppi di ricerca FORMAL METHODS FOR SOFTWARE ENGINEERING GROUP
Tipo tesi RICERCA, INNOVATIVA
Descrizione Lo sviluppo model-based del software parte da modelli di alto livello, che possono essere espressi tramite linguaggi grafici semi-formali come UML e suoi derivati.
Una tecnica che si sta affermando recentemente č il model-based testing, cioč la generazione automatica di test funzionali a partire dai modelli che descrivono i requisiti del software.
La tesi si propone di realizzare un ambiente di model-based testing che sia in grado di generare i test a partire da requisiti espressi con linguaggi derivati da UML, come il SysML.
Conoscenze richieste Programmazione a oggetti
Scadenza validita proposta 14/03/2013
PROPONI LA TUA CANDIDATURA