Automated generation of requirements-based test cases for an adaptive cruise control system
| Autor: | Andreas Rausch, Falk Howar, Peer Denecke, Adina Aniculaesei |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
Model checking
Computer science business.industry 020208 electrical & electronic engineering Code coverage Manual testing 02 engineering and technology Task (project management) Test case Adaptive system 0202 electrical engineering electronic engineering information engineering Software system Software engineering business Cruise control |
| Zdroj: | VST@SANER |
| DOI: | 10.1109/vst.2018.8327150 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|