"This presentation provides an overview of how the LEIRIOS Smart Testing™ solution boosts functional testing industrialisation by automatically generating executable test scripts for any third-party functional testing tool. LEIRIOS Smart Testing implements a model-based testing process: a UML model is used to capture the expected behaviour of the application under test, fulfilling the functional requirements. This model makes it possible to automatically generate test cases and test drivers including the traceability matrix between functional requirements and the test cases.

Linking requirements to the model addresses two major issues: firstly, validating that the requirements are correct, complete, unambiguous, and logically consistent; and secondly, automatically generating a necessary and sufficient set of test cases from the model to ensure that the design and code fully meet those requirements. The functional model for test generation uses Class diagram, State machines and OCL expressions to represent the expected visible behaviours of the application without the need for the implementation details. A demonstration of the LEIRIOS Smart Testing solution will illustrate the benefits of this new approach for testers who have a need to improve their test design productivity."