PORTALE DELLA DIDATTICA

Ricerca CERCA
  KEYWORD

Automatic generation of functional tests from semi-formal models

keywords SOFTWARE TESTING

Reference persons RICCARDO SISTO

Research Groups FORMAL METHODS FOR SOFTWARE ENGINEERING GROUP

Thesis type RESEARCH, INNOVATIVE

Description Model-based software development starts from high-level models, which may be expressed by UML-like semi-formal languages. In this context, a new technique is model-based testing, i.e. the automatic generation of functional tests starting from the models that describe software requirements.
The thesis aims at implementing a model-based testing framework that can generate tests starting from requirements expressed by languages derived from UML, like for example SysML.

Required skills Object-oriented programming


Deadline 14/03/2013      PROPONI LA TUA CANDIDATURA