Test-case prioritization with model-checkers

Authors:
Gordon Fraser;Franz Wotawa
Affiliations:
Institute for Software Technology, Graz University of Technology, Graz, Austria;Institute for Software Technology, Graz University of Technology, Graz, Austria
Venue:
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Year:
2007

Citing 9
Cited 4

Using model checking to generate tests from requirements specifications

ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Prioritizing test cases for regression testing

Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Incorporating varying test costs and fault severities into test case prioritization

ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A history-based test prioritization technique for regression testing in resource constrained environments

Proceedings of the 24th International Conference on Software Engineering
Model Checking Complete Requirements Specifications Using Abstraction

Automated Software Engineering
A Specification-Based Coverage Metric to Evaluate Test Sets

HASE '99 The 4th IEEE International Symposium on High-Assurance Systems Engineering
Test Case Prioritization: An Empirical Study

ICSM '99 Proceedings of the IEEE International Conference on Software Maintenance
On the economics of requirements-based test case prioritization

EDSER '05 Proceedings of the seventh international workshop on Economics-driven software engineering research
Property relevant software testing with model-checkers

ACM SIGSOFT Software Engineering Notes

Issues in using model checkers for test case generation

Journal of Systems and Software
Controversy Corner: Improving test efficiency through system test prioritization

Journal of Systems and Software
Regression testing minimization, selection and prioritization: a survey

Software Testing, Verification & Reliability
Regression test suite prioritization using system models

Software Testing, Verification & Reliability

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 model-based 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 are used to show the validity of these ideas.