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