Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
Theory of Fault-Based Predicate Testing for Computer Programs
IEEE Transactions on Software Engineering
In black and white: an integrated approach to class-level testing of object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Fault classes and error detection capability of specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Prioritizing test cases for regression testing
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Automatically Generating Test Data from a Boolean Specification
IEEE Transactions on Software Engineering
MUMCUT: A Fault-Based Strategy for Testing Boolean Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Test Case Design Based on Z and the Classification-Tree Method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Test Case Prioritization: An Empirical Study
ICSM '99 Proceedings of the IEEE International Conference on Software Maintenance
Sensitive test data for logic expressions
ACM SIGSOFT Software Engineering Notes
An extended fault class hierarchy for specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Fault-based test suite prioritization for specification-based testing
Information and Software Technology
Hi-index | 0.00 |
Software developers often have to test a program with a large number of test cases to reveal faults in the program. Some of these test cases may detect faults, and some may not. This leads to an important question on how to arrange the test cases to be executed so that more faults can be detected earlier. With a higher rate of fault detection at the early stage of testing, software developers can then spend more time on fixing the faults. This paper studies several ways of prioritizing test cases in a MUMCUT test set, which guarantees to detect certain types of faults in a Boolean specification written in irredundant disjunctive normal form. Our results suggest a certain ordering that reveals more faults earlier in the testing phases.