Comparing Several Coverage Criteria for Detecting Faults in Logical Decisions
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Automatic generation of test cases from Boolean specifications using the MUMCUT strategy
Journal of Systems and Software
Fault-based test suite prioritization for specification-based testing
Information and Software Technology
Hi-index | 0.00 |
With the increasing complexity of software systems,the set of testing requirements can become very large.If the set of testing requirements can be naturallydecomposed into smaller subsets, one may constructa test set separately to satisfy each subset of testingrequirements, and then combine the test sets to form thecomplete test set. Such an approach is referred to asthe union approach. On the other hand, the incrementalapproach attempts to incrementally expand a test setto satisfy the subsets of testing requirements, one ata time. This paper investigates empirically the effectof the incremental approach as compared to the unionapproach. Our case study indicates that the incrementalapproach can result in a significantly smaller test set,particularly when supplemented with the greedy heuristics.