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.
| Original language | English |
|---|---|
| Pages (from-to) | 342-347 |
| Number of pages | 6 |
| Journal | IJCAI International Joint Conference on Artificial Intelligence |
| State | Published - 2007 |
| Event | 20th International Joint Conference on Artificial Intelligence, IJCAI 2007 - Hyderabad, India Duration: 6 Jan 2007 → 12 Jan 2007 |
Fingerprint
Dive into the research topics of 'Fault-model-based test generation for embedded software'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver