Project-Team : triskell
Section: Contracts and Grants with Industry
Keywords: requirements, test, UML, methodology.
MUTATION 2 (carroll)
Participants: Benoit Baudry, Erwan Drézen, Franck Fleurey, Yves Le Traon, Didier Vojtisek.MUTATION 2 is a project developed by CEA/LIST (LLSP), THALES Research and Technology, THALES Airborne Systems and INRIA. This project aims to increase productivity during the testing steps of the development process. The purpose of MUTATION 2 is to carry out a survey about the possibility to automate testing procedures; the underlying idea is to automatically generate tests cases that can be associated to the system requirements. It holds the following parts:
formalization of system requirements,
providing means to define testing scenarios at different levels of abstraction,
generation of testing cases,
assistance for understanding the generated testing cases through some criterions.
The technical issues of MUTATION 2 are:
defining rules in order to formalize requirements,
defining rules in order to formalize the detailed software design,
automatic test generation from a requirements model,
providing a low cost training for an industrial team.
The three successive parts of MUTATION 2 are:
definition of a language dedicated to the description of requirements and its associated methodology; a user guide and some examples will also to be written,
defining coverage critera and identofying necessray UML extensions,
applying the proposed concepts on a real case provided by THALES; it should allow to evaluate the improvement in terms of productivity.
This project has already produced some results such as
requirements formalization as a model with an associated textual syntax (called Requirements Description Language)
detailed design formalization,
test objectives generation according to several criteria,
prototypes that support the underlying technologies,
prototypes pre-evaluation on a real system provided by THALES.
This project will allow THALES to evaluate the possibility to automate the generation of tests scenarios through UML models. At its end, THALES shall have a methodology and technological items allowing to adapt the process used today within its teams.