SESAME: a Model-Driven Process for the Test Selection of Small-size Safety-related Embedded Software

Embedded software applications are part of our daily lives, some of which have safety implications on human beings. It is thus important to trust this type of software. In our industrial context, testing is the most widely-spread technique used for that purpose. The state of practice is divided in two main categories. Explicit test selection techniques that enumerate the test cases to be exercised, but do not offer large coverage of the system’s behavior; and implicit techniques that encompass fully automated test generation techniques, which tend to hide the test selection information from engineers. The problem that we aim at solving in this thesis is the definition of a test selection approach that is capable of helping test engineers to better reach a delimited and verifiable test set with respect to some given test requirements and project specificities taking into account different test stakeholders.<br /><br />The SESAME process is composed of the four following tasks: specification of the system for testing purposes; specification of a test selection that constrains the system specification; evaluation of the test selection; generation of test cases derived from the constrained system specification. As a validation of our approach, we apply the SESAME process to a case study taken from an industrial project. This industrial application has shown the applicability of our approach on a small-size safety-related embedded system.