Automated Test Generation and Execution for Automotive Embedded Software

摘要

This article describes a model-based testing approach that combinesrnautomated test-case and test-driver generation from Statecharts specifica-rntions. It focuses on how the test engineer can control the test generationrnprocess, and how he/she specify the relationship between model variablesrnand the interfaces of the system under test. The Test-driver mappingsrnmake it possible to support complete model-based test automation: fromrnrequirement elicitation with Statecharts to test execution and verdict as-rnsignment using specific test execution environment. This approach hasrnbeen used in the context of automotive embedded software validation.rnThree tools are used to completely support this model-based test process:rnthe I-Logix Statecharts STATEMATE modeler, the LEIRIOS Test Gener-rnator and the National Instruments test execution environment TestStand.rnIn this article, we illustrate this automated test process on a small carrncruise control example.