On the relationship between two control-flow coverage criteria: all JJ-paths and MCDC

Information and Software Technology

Volumn 48, Issue 7, 2006, Pages 433-440

  Woodward, Martin R ^a   Hennell, Michael A ^b  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

^b LDRA Ltd   (United Kingdom)

Author keywords

All JJ paths; Control flow coverage criteria; MCDC; Software testing

Indexed keywords

AVIONICS; COMPUTER PROGRAMMING; DATA REDUCTION; STANDARDS;

'MODIFIED CONDITION/DECISION COVERAGE' (MCDC); ALL JUMP-TO-JUMP PATHS' (ALL JJ-PATHS); AVIONICS SOFTWARE; CONTROL-FLOW CONCEPTS;

SOFTWARE ENGINEERING;

EID: 33646690476     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2005.05.003     Document Type: Article

References (18)

1. Binder R.J. Testing Object-Oriented Systems: Models, Patterns, and Tools (2000), Addison-Wesley, Reading, MA
2. Chilenski J.J., and Miller S.P. Applicability of modified condition/decision coverage to software testing. Software Engineering Journal 9 5 (1994) 193-200
3. J.J. Chilenski, An investigation of three forms of the Modified Condition Decision Coverage (MCDC) criterion, FAA Technical Report DOT/FAA/AR-01/18, 2001.
4. Fujiwara S., Bochmann G.v., Khendek F., Amalou M., and Ghedamsi A. Test selection based on finite state models. IEEE Transactions on Software Engineering 17 6 (1991) 591-603
5. R. Hamlet, Theoretical comparison of testing methods, Proceedings of the ACM SIGSOFT 1989 Third Symposium on Software Testing, Analysis and Verification (TAV3), Key West, FL, December 1989, published as ACM Software Engineering Notes (1989); 14(8): 28-37.
6. Kapoor K., and Bowen J.P. Experimental evaluation of the tolerance for control-flow test criteria. Software Testing, Verification and Reliability 14 3 (2004) 167-187
7. Kapoor K., and Bowen J.P. A formal analysis of MCDC and RCDC test criteria. Software Testing, Verification and Reliability 15 1 (2005) 21-40
8. Myers G.J. The Art of Software Testing (1979), Wiley, New York
9. Offutt J., Liu S., Abdurazik A., and Ammann P. Generating test data from state-based specifications. Software Testing, Verification and Reliability 13 1 (2003) 25-53
10. Pimont S., and Rault J.-C. A software reliability assessment based on a structural and behavioural analysis of programs. Proceedings of the Second International Conference on Software Engineering, San Francisco, CA, October 1976 (1976), IEEE Computer Society Press, Los Alamitos, CA pp. 486-491
11. Rapps S., and Weyuker E.J. Selecting software test data using data-flow information. IEEE Transactions on Software Engineering 11 4 (1985) 367-375
12. RTCA, Software considerations in airborne systems and equipment certification, Report DO-178B, Radio Technical Commission for Aeronautics (RTCA) Inc., Suite 1020, 1140 Connecticut Avenue NW, Washington DC 20036, December 1992.
13. Weiser M.D., Gannon J.D., and McMullin P.R. Comparison of structural test coverage metrics. IEEE Software 2 2 (1985) 80-85
14. E.J. Weyuker, Can we measure software testing effectiveness?, Proceedings of the First International Software Metrics Symposium, Baltimore, MD, May 1993, IEEE Computer Society Press, Los Alamitos, CA, pp. 100-107.
15. Woodward M.R., Hedley D., and Hennell M.A. Experience with path analysis and testing of programs. IEEE Transactions on Software Engineering 6 3 (1980) 278-286
16. Woodward M.R. Insights into software testing. Software Focus 2 3 (2001) 93-103
17. Zhu H. A formal analysis of the subsume relation between software test adequacy criteria. IEEE Transactions on Software Engineering 22 4 (1996) 248-255
18. Zhu H., Hall P.A.V., and May J.H.R. Software unit test coverage and adequacy. ACM Computing Surveys 29 4 (1997) 366-427