---
title: "Fault-Model-Based Test Generation for Embedded Software"
authors:
  - "Michael Esser"
  - "Peter Struss"
doi: ""
url: "https://ijcai.org/proceedings/2007/53"
pdf: "https://ijcai.org/proceedings/2007/0053.pdf"
venue: "Proceedings of the Twentieth International Joint Conference on Artificial Intelligence"
year: 2007
pages: "342-346"
track: ""
keywords:
---

# Fault-Model-Based Test Generation for Embedded Software

Michael Esser, Peter Struss

*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.