Bridging the gap between test cases and requirements by abstract testing

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.

Extracting Formal Specifications to Strenghten Type Behaviour Testing

“…Our work is also related to Abstract Testing [8]. This technique proposes to replace transitional testing with abstract cases.…”