Premium
8.2.1 Automated Test Generation and Execution for Automotive Embedded Software
Author(s) -
Bouquet Fabrice,
Lebeau Franck,
Legeard Bruno
Publication year - 2004
Publication title -
incose international symposium
Language(s) - English
Resource type - Journals
ISSN - 2334-5837
DOI - 10.1002/j.2334-5837.2004.tb00601.x
Subject(s) - test harness , test management approach , computer science , automotive industry , test (biology) , test suite , automation , test case , manual testing , context (archaeology) , system under test , process (computing) , embedded system , model based testing , code coverage , cruise control , software engineering , software , software development , operating system , engineering , control (management) , software construction , artificial intelligence , mechanical engineering , paleontology , regression analysis , machine learning , biology , aerospace engineering
This article describes a model‐based testing approach that combines automated test‐case and test‐driver generation from Statecharts specifications. It focuses on how the test engineer can control the test generation process, and how he/she specify the relationship between model variables and the interfaces of the system under test. The Test‐driver mappings make it possible to support complete model‐based test automation: from requirement elicitation with Statecharts to test execution and verdict assignment using specific test execution environment. This approach has been used in the context of automotive embedded software validation. Three tools are used to completely support this model‐based test process: the I‐Logix Statecharts STATEMATE modeler, the LEIRIOS Test Generator and the National Instruments test execution environment TestStand. In this article, we illustrate this automated test process on a small car cruise control example.