Test-Case Prioritization with Model-Checkers

G. Fraser and F. Wotawa (Austria)


Software testing, Test-case prioritization, Model-checker testing, Property testing.


The order in which test-cases are executed has an influ ence on the rate at which faults can be detected. In this paper we demonstrate how test-case prioritization can be performed with the use of model-checkers. For this, dif ferent well known prioritization techniques are adapted for model-based use. New property based prioritization tech niques are introduced. In addition it is shown that priori tization can be done at test-case generation time, thus re moving the need for test-suite post-processing. Several ex periments are used to show the validity of these ideas.

Important Links:

Go Back