2012 Eighth International Conference on the Quality of Information and Communications Technology (2010)
Sept. 29, 2010 to Oct. 2, 2010
Traditionally, test cases are used to check whether a system conforms to its requirements. However, to achieve good quality and coverage, large amounts of test cases are needed, and thus huge efforts have to be put into test generation and maintenance. We propose a methodology, called Abstract Testing, in which test cases are replaced by verification scenarios. Such verification scenarios are more abstract than test cases, thus fewer of them are needed and they are easier to create and maintain. Checking verification scenarios against the source code is done automatically using a software model checker. In this paper we describe the general idea of Abstract Testing, and demonstrate its feasibility by a case study from the automotive systems domain.
abstract testing verification requirements engineering bounded model checking
Hendrik Post, Thomas Kropf, Carsten Sinz, Florian Merz, Thomas Gorges, "Abstract Testing: Connecting Source Code Verification with Requirements", 2012 Eighth International Conference on the Quality of Information and Communications Technology, vol. 00, no. , pp. 89-96, 2010, doi:10.1109/QUATIC.2010.14