Abstract | ||
---|---|---|
Modern cars contain millions of lines of code and this number is increasing with each new generation of vehicles. Errors in this software can lead to serious quality and safety concerns. While automating such process completely is often considered as a long term goal, providing interactive tools facilitating test generation is a more realistic and desired step by the automotive industry at this stage. Addressing this need, the goal of this research is to offer an interactive toolset automating generation of tests that reach targets defined by the test engineers as global states of software components of cyclic executive systems. We describe an approach based on symbolic code execution combined with constraint solving and tailored to cyclic executives. A prototype implementing the approach, called SeerC, has been developed and applied to a real-life powertrain software component to assess its usefulness and scalability. Experimental results indicate that the proposed approach outperforms the comparable tool CBMC. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1109/SIES.2015.7185048 | 10th IEEE International Symposium on Industrial Embedded Systems (SIES) |
Keywords | Field | DocType |
automotive controllers,cyclic executive systems,reachability,test generation,symbolic execution | Personal software process,Computer science,Real-time computing,Software system,Component-based software engineering,Cyclic executive,Software quality,Software construction,Test data generation,Software development | Conference |
ISSN | Citations | PageRank |
2150-3109 | 1 | 0.37 |
References | Authors | |
10 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Guillaume Langelier | 1 | 1 | 0.37 |
Arnaud Dury | 2 | 38 | 5.07 |
Alexandre Petrenko | 3 | 176 | 15.90 |
S. Ramesh | 4 | 2 | 1.00 |
Tameem Assaf | 5 | 1 | 0.37 |