Project-Team : triskell
Section: Software
Keywords: Test, requirement simulation, requirement testing, textual requirements, use cases.
Requested : a toolbox for requirement simulation and testing
Participants: Yves Le Traon [correspondant], Erwan Drézen, Franck Fleurey.The objective of the Requested toolbox is to offer a MDA transformation from textual requirements to simulable requirements within the UML (use cases + scenarios). It allows the simulation of requirements and the automated generation of test objectives. Two tools are under development:
The transformation of natural language requirements expressed in the LDE language (Langage de Description des Exigences) into a use case model, enhanced with contracts. This tool is not stable yet and thus not available. It is currently used and tested in the mutation project.
The UCTS system allows the simulation of the use case model, enhanced with contracts, and the automated generation of test objective. The first version is available.
More precisely, UCTSystem is a prototype designed to perform automatic test generation from UML requirements. It uses UML use cases enhenced with contracts (i.e. precondition and postconditions) to build an execution model allowing all valid sequences of use cases. Using this execution model and several test criteria, it generates test objectives as sequence of use cases to exerce. It includes both criteria for functional testing and a criterion for robusness testing. Those test objectives are then mapped into test cases using test templates.