Paper Info
Title
Experience Report: White Box Test Case Generation for Automotive Embedded Software
Abstract
Testing software based on symbolic execution is a promising and well-researched approach. Recently, various dynamic symbolic execution approaches have been proposed that are of interest for industrial practice. However, the corresponding tools are typically not directly usable on model-based languages that are predominantly used in the automotive sector. To this end, we use an internal software analysis framework for model-based, embedded software that allows us to easily integrate various approaches leveraging static and dynamic symbolic execution. In our case study, we describe idiosyncrasies of automotive embedded software and show the benefits of leveraging symbolic information to generate test cases. We study and compare different techniques for generating test cases. We evaluate all techniques empirically on relevant, real-world programs from engine control.
Year
DOI
Venue
2016
10.1109/ICSTW.2016.18
2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
Keywords
Field
DocType
testing,symbolic execution,concolic testing
System integration testing,Avionics software,Software engineering,Computer science,Symbolic execution,Concolic testing,Software construction,Software verification and validation,Software development,Software sizing,Embedded system
Conference
ISSN
ISBN
Citations 
2159-4848
978-1-5090-3675-2
3
PageRank 
References 
Authors
0.49
12
3
Name
Order
Citations
PageRank
Andreas Hoffmann130.49
Jochen Quante29519.75
Matthias Woehrle319421.93