Fault-Model-Based Test Generation for Embedded Software
Proceedings of the Twentieth International Joint Conference on Artificial Intelligence. Pages 342-346.
Abstract
Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consuming. We present the foundations and results of a case study to automate the generation of tests for control software of vehicle control units based on a specification of requirements in terms of finite state machines. This case study builds upon our previous work on generation of tests for physical systems based on relational behavior models. In order to apply the respective algorithms, the finite state machine representation is transformed into a relational model. We present the transformation, the application of the test generation algorithm to a real example, and discuss the results and some specific challenges regarding software testing.
@inproceedings{ijcai2007p53,
title = {Fault-Model-Based Test Generation for Embedded Software},
author = {Esser, Michael and Struss, Peter},
booktitle = {Proceedings of the Twentieth International Joint Conference on
Artificial Intelligence, {IJCAI-07}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Ramon López de Mántaras},
pages = {342--346},
year = {2007},
url = {https://ijcai.org/proceedings/2007/53},
}
TY - CPAPER TI - Fault-Model-Based Test Generation for Embedded Software AU - Esser, Michael AU - Struss, Peter T2 - Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07 PB - International Joint Conferences on Artificial Intelligence PY - 2007 SP - 342 EP - 346 UR - https://ijcai.org/proceedings/2007/53 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
