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. |
Year | Venue | Keywords |
---|---|---|
2007 | IJCAI | finite state machine,testing embedded software system,fault-model-based test generation,software testing,vehicle control unit,test suite,control software,case study,test generation algorithm,test bench,control unit,behavior modeling,relational model,fault model,embedded software |
Field | DocType | Citations |
Test harness,Programming language,Test Management Approach,Computer science,Model-based testing,Software reliability testing,Artificial intelligence,Computer engineering,System integration testing,Regression testing,Software construction,Test data generation,Machine learning | Conference | 12 |
PageRank | References | Authors |
0.95 | 3 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Michael Esser | 1 | 12 | 0.95 |
P. Struss | 2 | 26 | 2.60 |