AGATHA / TTS: from UML modeling to test case generation and execution

International audienceThis paper presents the results of a work done in the Software Factory / MoDriVal project which is part of the French System@tic cluster. The MoDriVal project focuses on the verification of complex systems at various stages of the development cycle from specification and modelisation to final product acceptance.The paper highlights the work performed in the MoDriVal project on the combined utilisation of a UML-based test case generator and a TTCN-3 compliant test engine. The test case generator is the AGATHA tool from CEA LIST research lab. AGATHA tool implements a method for analysing UML models of requirements and for identifying the test cases corresponding to the requirements. This method uses the symbolic execution technical approach and a constraint-solver to generate numeric tests