Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Automated generation of requirements-based test cases for an adaptive cruise control system

: Aniculaesei, Adina; Howar, Falk; Denecke, Peer; Rausch, Andreas


Artho, C. ; Institute of Electrical and Electronics Engineers -IEEE-:
IEEE 2nd International Workshop on Validation, Analysis and Evolution of Software Tests, VST 2018. Proceedings : March 20, 2018, Campobasso, Italy
Piscataway, NJ: IEEE, 2018
ISBN: 978-1-5386-6492-6
ISBN: 978-1-5386-6493-3
International Workshop on Validation, Analysis and Evolution of Software Tests (VST) <2, 2018, Campobasso>
International Conference on Software Analysis, Evolution and Reengineering (SANER) <25, 2018, Campobasso>
Conference Paper
Fraunhofer ISST ()

Checking that a complex software system conforms to an extensive catalogue of requirements is an elaborate and costly task which cannot be managed only through manual testing anymore. In this paper, we construct an academic case study in which we apply automated requirements-based test case generation to the protoype of an adaptive cruise control system. We focus on two main research goals with respect to our method: (1) how much code coverage can be obtained and (2) how many faults can be found using the generated test cases. We report on our results as well as on the lessons learned.