Experimental evaluation of the variation in effectiveness for DC, FPC and MC/DC test criteria

Proceedings - 2003 International Symposium on Empirical Software Engineering, ISESE 2003

Volumn , Issue , 2003, Pages 185-194

  Kapoor, K ^a   Bowen, J ^a  

^a LONDON SOUTH BANK UNIVERSITY   (United Kingdom)

Author keywords

Fault detection; Flexible printed circuits; Industrial control; Logic design; Logic testing; Software engineering

Indexed keywords

FAULT DETECTION; FLEXIBLE ELECTRONICS; LOGIC DESIGN; PRINTED CIRCUIT TESTING; PRINTED CIRCUITS; SOFTWARE ENGINEERING; SPECIFICATIONS; TESTING;

CONTROL-FLOW TEST CRITERIA; EXPERIMENTAL APPROACHES; EXPERIMENTAL EVALUATION; FAULT DETECTION EFFECTIVENESS; FLEXIBLE PRINTED CIRCUIT; INDUSTRIAL CONTROLS; LOGIC TESTING; MODIFIED CONDITION/DECISION COVERAGES;

SOFTWARE TESTING;

EID: 4644261909     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISESE.2003.1237977     Document Type: Conference Paper

References (35)

1. W. Chen, R. H. Untch, G. Rothermel, S. Elbaum, and J. V. Ronne. Can fault-exposure-potential estimates improve the fault detection abilities of test suites? Journal of Software Testing, Verification, and Reliability, 4(2), December 2002.
2. J. Chilenski and S. Miller. Applicability of modified condition/decision coverage to software testing. Software Engineering Journal, pages 193-200, September 1994.
3. A. Dupuy and N. Leveson. An empirical evaluation of the MC/DC coverage criterion on the HETE-2 satellite software. In DASC: Digital Aviation Systems Conference, Phildelphia, October 2000.
4. P. G. Frankl and O. Iakounenko. Further empirical studies of test effectiveness. In ACM SIGSOFT Software Engineering Notes, Sixth International Symposium on Foundations of Software Engineering, volume 23, pages 153-162, November 1998.
5. P. G. Frankl and S. Weiss. An experimental comparison of the effectiveness of branch testing and data flow testing. IEEE Transactions on Software Engineering, 19(8):774-787, August 1993.
6. P. G. Frankl and E. Weyuker. A formal analysis of the fault-detecting ability of testing methods. IEEE Transactions on Software Engineering, 19(3):202-213, March 1993.
7. P. G. Frankl and E. J. Weyuker. Provable improvements on branch testing. IEEE Transactions on Software Engineering, 19(10):962-975, October 1993.
8. P. G. Frankl and E. J. Weyuker. Testing software to detect and reduce risk. The Journal of Systems and Software, pages 275-286, 2000.
9. M. Harman, R. Hierons, M. Holcombe, B. Jones, S. Reid, M. Roper, and M. Woodward. Towards a maturity model for empirical studies of software testing. In Fifth Workshop on Empirical Studies of Software Maintenance (WESS'99), Keble College, Oxford, UK, September 1999.
10. M. Hutchins, H. Foster, T. Goradia, and T. Ostrand. Experiments on the effectiveness of dataflow and control-flow based test adequacy criteria. In 16th International Conference on Software Engineering (ICSE-16), pages 191-200, 1994.
11. R. Jasper, M. Brennan, K. Williamson, B. Currier, and D. Zimmerman. Test data generation and feasible path analysis. In SIGSOFT: International Symposium on Software Testing and Analysis, Seattle, Washington, US, pages 95-107. ACM, 1994.
12. J. A. Jones and M. J. Harrold. Test-suite reduction and prioritization for modified condition/decision coverage. In International Conference on Software Maintenance (ICSM'01), Florence, Italy, pages 92-101. IEEE,November 2001.
13. D. R. Kuhn. Fault classes and error detection capability of specification-based testing. ACM Transactions on Software Engineering and Methodology, 8(4):411-424, October 1999.
14. L. J. Morell. A theory of fault-based testing. IEEE Transactions on Software Engineering, 16(8):844-857, August 1990.
15. G. Myers. The art of software engineering. Wiley-Interscience, 1979.
16. A. J. Offutt. Investigations of the software testing coupling effect. ACM Transactions on Software Engineering and Methodology, 1(1):5-20, 1992.
17. A. J. Offutt, Y. Xiong, and S. Liu. Criteria for generating specification-based tests. In Fifth IEEE International Conference on Engineering of Complex Computer Systems (ISECCS'99), Las Vegas, Nevada, USA, pages 119-129, October 1999.
18. A. Paradkar and K. Tai. Test-generation for Boolean expressions. In Sixth International Symposium on Software Reliability Engineering (ISSRE'95), Toulouse, France, pages 106-115, 1995.
19. A. Paradkar, K. Tai, and M. A. Vouk. Automatic test-generation for predicates. IEEE Transactions on reliability, 45(4):515-530, December 1996.
20. D. J. Richardson and M. C. Thompson. An analysis of test data selection criteria using the RELAY model of fault detection. IEEE Transactions on Software Engineering, 19(6):533-553, June 1993.
21. M. Roper. Software Testing. McGraw-Hill Book Company Europe, 1994.
22. G. Rothermel, M. J. Harrold, J. V. Ronne, and C. Hong. Empirical studies of test suite reduction. Journal of Software Testing, Verification, and Reliability, 4(2), December 2002.
23. RTCA/DO-178B. Software considerations in airborne systems and equipment certification. Washington DC USA, 1992.
24. K.-C. Tai. Theory of fault-based predicate testing for computer programs. IEEE Transactions on Software Engineering, 22(8):552-562, August 1996.
25. Software testing FAQ: Testing tools supplier. http://www.testingfaqs.org/tools.htm.
26. T. Tsuchiya and T. Kikuno. On fault classes and error detection capability of specification-based testing. ACM Transactions on Software Engineering and Methodology, 11(1):58-62, January 2001.
27. M. A. Vouk, K. C. Tai, and A. Paradkar. Empirical studies of predicate-based software testing. In 5th International Symposium on Software Reliability Engineering, pages 55-64, 1994.
28. E. Weyuker. Can we measure software testing effectiveness? In First International Software Metrics Symposium, Baltimore, USA, pages 100-107. IEEE, 21-22 May 1993.
29. E. Weyuker. Thinking formally about testing without a formal specification. In Formal Approaches to Testing of Software (FATES'02), A Satellite Workshop of CONCUR'02, Brno, Czech Republic, pages 1-10, 24 August 2002.
30. E. Weyuker, T. Gorodia, and A. Singh. Automatically generating test data from a boolean specification. IEEE Transactions on Software Engineering, 20(5):353-363, May 1994.
31. A. White. Comments on modified condition/decision coverage for software testing. In IEEE Aerospace Conference, Big sky, Montana, USA, volume 6, pages 2821-2828, 10-17 March 2001.
32. W. Wong, J. Horgan, A. Mathur, and A. Pasquini. Test set size minimization and fault detection effectiveness: a case study in a space application. In Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97), pages 522-528, 13-15 August 1997.
33. H. Zhu. Axiomatic assessment of control flow-based software test adequacy criteria. Software Engineering Journal, pages 194-204, September 1995.
34. H. Zhu. A formal analysis of the subsume relation between software test adequacy criteria. IEEE Transactions on Software Engineering, 22(4):248-255, April 1996.
35. H. Zhu, P. Hall, and H. R. May. Software unit test coverage and adequacy. ACM Computing Surveys, 29(4):336-427, December 1997.