Regression Testing Prioritization Based on Model Checking for Safety-Crucial Embedded Systems
Fuzhen Sun · 2013
The order in which test-cases are executed has an influence 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, different well known prioritization techniques are adapted for modelbased use. New property based prioritization techniques are introduced. In addition it is shown that prioritization can be done at test-case generation time, thus removing the need for test-suite post-processing. Several experiments for safetycrucial embedded systems are used to show the validity of these ideas.