Abstract | ||
---|---|---|
In this article we propose a technique, called abstract testing, which replaces traditional test cases by abstract test cases. By doing so, fewer test cases are needed, and they are linked more closely to the requirements. Abstract tests can be considered as verification scenarios on the source code level which are derived from the requirements. Checking verification scenarios against the source code is done automatically using a software model checker. We also suggest a migration path from traditional tests to abstract test cases, which provides a smooth transition towards this new technique. Finally, we demonstrate feasibility of abstract testing by a case study from the automotive systems domain. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1007/s11334-015-0245-7 | ISSE |
Keywords | Field | DocType |
Testing, Verification, Static analysis, Bounded model checking, Automotive software quality, Safety-critical software | Test suite,Systems engineering,Test Management Approach,Computer science,Manual testing,Domain testing,White-box testing,Model-based testing,Test case,Reliability engineering,Keyword-driven testing | Journal |
Volume | Issue | ISSN |
11 | 4 | 1614-5054 |
Citations | PageRank | References |
0 | 0.34 | 26 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Florian Merz | 1 | 151 | 9.56 |
Carsten Sinz | 2 | 787 | 46.29 |
Hendrik Post | 3 | 73 | 5.23 |
Thomas Gorges | 4 | 23 | 2.12 |
Thomas Kropf | 5 | 22 | 2.15 |