Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Investigations of the software testing coupling effect
ACM Transactions on Software Engineering and Methodology (TOSEM)
Evaluation of a predicate-based software testing strategy
IBM Systems Journal
Theory of Fault-Based Predicate Testing for Computer Programs
IEEE Transactions on Software Engineering
An approach to fault modeling and fault seeding using the program dependence graph
Journal of Systems and Software
On fault classes and error detection capability of specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Art of Software Testing
A Formal Analysis of the Fault-Detecting Ability of Testing Methods
IEEE Transactions on Software Engineering
Automatically Generating Test Data from a Boolean Specification
IEEE Transactions on Software Engineering
Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage
IEEE Transactions on Software Engineering
Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Experimental Evaluation of the Variation in Effectiveness for DC, FPC and MC/DC Test Criteria
ISESE '03 Proceedings of the 2003 International Symposium on Empirical Software Engineering
Tolerance of Control-Flow Testing Criteria
COMPSAC '03 Proceedings of the 27th Annual International Conference on Computer Software and Applications
Hi-index | 0.00 |
Increase in the size and complexity of the software developed has made software testing a challenging exercise. A number of testing techniques are available but they differ in terms of statement coverage, condition coverage and particularly in fault detection capabilities. The size of the test suite also differs from one technique to other. Fault that has propagated into the system inadvertently, especially into the branch statements, have severe effects as they affect the logic of the program. In this paper, an experimental evaluation of the popular branch-testing techniques (Elmendorf's method, Boolean Operator (BOR), Modified Condition/Decision Coverage (MCDC), and Reinforced Criteria/Decision Coverage (RCDC)) is presented. These techniques are evaluated on the basis of types of faults they identify, size of the test suite and their effectiveness in fault detection. For experiments, various branch statements used and referred in literature are selected. Test cases and mutants were prepared for these branch statements. Mutants were prepared by seeding single operator and operand faults into the statements. The results indicate that for a subset of fault types BOR is effective. A variant of MCDC and RCDC demonstrate better performance on the full class of faults and are only slightly worse than Elmendorf's (CEG) method test suite.