Learn More
This paper presents an original model-based testing approach that takes a UML behavioural view of the system under test and automatically generates test cases and executable test scripts according to model coverage criteria. This approach is embedded in the LEIRIOS Test Designer tool and is currently deployed in domains such as Enterprise IT and electronic(More)
This paper presents a model-based framework for the symbolic animation of object-oriented specifications. A customized set-theo-retic solver is used to simulate the execution of the system and handle constraints on state variables. We define a framework for animating object-oriented specifications with dynamic object creations, interactions and inheritance.(More)
(3)LEIRIOS Technologies 18 rueAlain Savary 25000Besançon France {charbonnier, Abstract :T hisp aperp resents an originalm odel-based testinga pproacht hatt akes a UMLb ehavioral view of thes ystemu ndert esta nd automaticallyg enerates test cases and executable test scriptso nt he basiso fm odel coverage criteria. Thisa pproach is embeddedi nt he LTGm(More)
This paper describes the LEIRIOS Smart Testing™ approach to the functional validation of a subpart of the StarUML case study. This model-based testing process for test automation is shown from start to end: from functional requirements to the publication of generated tests in a test repository and automatic execution of scripts with a test execution(More)
In this paper, we propose an approach to translate the Sys ML language to VHDL-AMS code. This approach is the first step to the generation of the VHDL-AMS code from the structural diagrams Sys ML. In this step, we address the Block Definition Diagram and the Internal Block Diagram. The translation uses Model Driven Engineer (MDE) methods as the(More)