PORTALE DELLA DIDATTICA

Ricerca CERCA
  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