Test-suite reduction and prioritization for modified condition/decision coverage
Top Cited Papers
- 10 March 2003
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 29 (3) , 195-209
- https://doi.org/10.1109/tse.2003.1183927
Abstract
Software testing is particularly expensive for developers of high-assurance software, such as software that is produced for commercial airborne systems. One reason for this expense is the Federal Aviation Administration's requirement that test suites be modified condition/decision coverage (MC/DC) adequate. Despite its cost, there is evidence that MC/DC is an effective verification technique and can help to uncover safety faults. As the software is modified and new test cases are added to the test suite, the test suite grows and the cost of regression testing increases. To address the test-suite size problem, researchers have investigated the use of test-suite reduction algorithms, which identify a reduced test suite that provides the same coverage of the software according to some criterion as the original test suite, and test-suite prioritization algorithms, which identify an ordering of the test cases in the test suite according to some criteria or goals. Existing test-suite reduction and prioritization techniques, however, may not be effective in reducing or prioritizing MC/DC-adequate test suites because they do not consider the complexity of the criterion. This paper presents new algorithms for test-suite reduction and prioritization that can be tailored effectively for use with MC/DC. The paper also presents the results of empirical studies of these algorithms.Keywords
This publication has 13 references indexed in Scilit:
- Experiments on the effectiveness of dataflow- and control-flow-based test adequacy criteriaPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An empirical study of the effects of minimization on the fault detection capabilities of test suitesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Test set size minimization and fault detection effectiveness: a case study in a space applicationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Prioritizing test cases for regression testingIEEE Transactions on Software Engineering, 2001
- Prioritizing test cases for regression testingPublished by Association for Computing Machinery (ACM) ,2000
- Test case prioritization: an empirical studyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1999
- Effect of test set minimization on fault detection effectivenessSoftware: Practice and Experience, 1998
- A safe, efficient regression test selection techniqueACM Transactions on Software Engineering and Methodology, 1997
- Applicability of modified condition/decision coverage to software testingSoftware Engineering Journal, 1994
- A methodology for controlling the size of a test suiteACM Transactions on Software Engineering and Methodology, 1993