Comparing multi-point stride coverage and dataflow coverage

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2013, Pages 172-181

  Hassan, Mohammad Mahdi ^a   Andrews, James H ^a  

^a UNIVERSITY OF WESTERN ONTARIO   (Canada)

Author keywords

Control Flow Coverage; Data Flow Coverage; Partial Execution Pattern; Software Testing

Indexed keywords

BRANCH COVERAGE; CONTROL FLOWS; COVERAGE CRITERIA; DATA FLOW; EXECUTION SEQUENCES; MULTI-POINTS; NUMBER OF BRANCHES; PARTIAL EXECUTIONS;

DATA FLOW ANALYSIS; SOFTWARE TESTING;

SOFTWARE ENGINEERING;

EID: 84881283586     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2013.6606563     Document Type: Conference Paper

References (31)

1. G. J. Myers, The Art of Software Testing. New York: Wiley, 1979.
2. S. Rapps and E. J. Weyuker, "Selecting software test data using data flow information," IEEE Trans. Software Eng., vol. SE-11, no. 4, pp. 367-375, April 1985.
3. J. R. Horgan and S. A. London, "Data flow coverage and the C language," in Symp. on Testing, analysis, and verification (TAV), 1991, pp. 87-97.
4. S. Berner, R. Weber, and R. K. Keller, "Enhancing software testing by judicious use of code coverage information," in Intl. Conf. Software Eng. (ICSE), Minneapolis, MN, May 2007, pp. 612-620.
5. Q. Yang, J. J. Li, and D. M. Weiss, "A survey of coverage-based testing tools," The Computer Journal, vol. 52, no. 5, 2009.
6. C. Pacheco, S. K. Lahiri, M. D. Ernst, and T. Ball, " Feedbackdirected random test generation," in Intl. Conf. Software Eng. (ICSE), Minneapolis, MN, May 2007, pp. 75-84.
7. J. H. Andrews, F. C. H. Li, and T. Menzies, "Nighthawk: A twolevel genetic-random unit test data generator," in Intl. Conf. Automated Software Eng. (ASE), Atlanta, GA, 2007, pp. 144-153.
8. I. Ciupa, A. Leitner, M. Oriol, and B. Meyer, "Artoo: Adaptive random testing for object-oriented software," in Intl. Conf. Software Eng (ICSE), Leipzig, Germany, May 2008, pp. 71-80.
9. G. Rothermel, M. J. Harrold, J. Ostrin, and C. Hong, "An empirical study of the effects of minimization on the fault detection capabilities of test suites," in Intl. Conf. Software Maintenance (ICSM), Washington, DC, November 1998, pp. 34-43.
10. H. Do and G. Rothermel, "On the use of mutation faults in empirical assessments of test case prioritization techniques," IEEE Trans. Software Eng., vol. 32, no. 9, pp. 733-752, 2006.
11. J. A. Jones, M. J. Harrold, and J. Stasko, "Visualization of test information to assist fault localization," in Intl. Conf. Software Eng. (ICSE), Orlando, FL, May 2002, pp. 467-477.
12. R. Abreu, P. Zoeteweij, and A. J. van Gemund, "On the accuracy of spectrum-based fault localization," in Testing: Academia and Industry Conference-Practice And Research Techniques (TAIC PART'07), Windsor, United Kingdom, September 2007, pp. 89-98.
13. H. Zhu, P. A. V. Hall, and J. H. R. May, "Software unit test coverage and adequacy," ACM Computing Surveys, vol. 29, pp. 366-427, December 1997.
14. P. Frankl and E. Weyuker, "Provable improvements on branch testing," IEEE Trans. Software Eng., vol. 19, no. 10, October 1993.
15. P. Ammann and J. Offutt, Introduction to Software Testing. Cambridge University Press, 2008.
16. T. Ball, "A theory of predicate-complete test coverage and generation," in Intl. Symp. on Formal Methods for Components and Objects (FMCO), Leiden, The Netherlands, November 2004, pp. 1-22.
17. M. Hutchins, H. Foster, T. Goradia, and T. Ostrand, "Experiments on the effectiveness of dataflow-and controlflow-based test adequacy criteria," in Intl. Conf. Software Eng. (ICSE), Sorrento, Italy, May 1994, pp. 191-200.
18. A. Siami Namin and J. Andrews, "The influence of size and coverage on test suite effectiveness," in Intl. Symp. Software Testing and Analysis (ISSTA), Chicago, IL, 2009, pp. 57-68.
19. A. J. Offutt and R. Untch, "Mutation 2000: Uniting the orthogonal," in Mutation 2000: Mutation Testing in the Twentieth and the Twenty First Centuries, San Jose, CA, October 2000, pp. 45-55.
20. J. H. Andrews, L. C. Briand, and Y. Labiche, "Is mutation an appropriate tool for testing experiments?" in Intl. Conf. Software Eng (ICSE), St. Louis, MO, May 2005, 402-411.
21. R. Santelices and M. J. Harrold, "Efficiently monitoring data-flow test coverage," in Intl. Conf. Automated Software Eng. (ASE), November 2007, pp. 343-352.
22. A. Rajan, M. W. Whalen, and M. P. Heimdahl, "The effect of program and model structure on MC/DC test adequacy coverage," in Intl. Conf. Software Eng. (ICSE), Leipzig, Germany, 2008, pp. 161-170.
23. S. Pimont and J.-C. Rault, "A software reliability assessment based on a structural and behavioral analysis of programs," in Intl. Conf. Software Eng. (ICSE), San Francisco, CA, 1976, pp. 486-491.
24. T. S. Chow, "Testing software design modeled by finite-state machines," IEEE Trans. Software Eng., vol. SE-4(3), pp. 178-187, 1978.
25. M. R. Woodward, D. Hedley, and M. A. Hennell, "Experience with path analysis and testing of programs," IEEE Trans. Software Eng., vol. SE-6, no. 3, pp. 278-286, May 1980.
26. M. R. Woodward and M. A. Hennell, "On the relationship between two control-flow coverage criteria: All JJ-paths and MCDC," Information and Software Technology, vol. 48, pp. 433-440, 2006.
27. S. C. Ntafos, "On required element testing," IEEE Trans. Software Eng., vol. SE-10, no. 6, pp. 795-803, November 1984.
28. W. N. Venables, D. M. Smith, and The R Development Core Team, "An introduction to R," R Development Core Team, Tech. Rep., June 2006.
29. J. Horgan and S. London, "ATAC: A data flow coverage testing tool for C," in Symp. on Assessment of Quality Software Development Tools, May 1992, pp. 2-10.
30. J. P. Guilford, Fundamental Statistics in Psychology and Education. New York: McGraw-Hill, 1956.
31. R. Santelices, J. A. Jones, Y. Yu, and M. J. Harrold, "Lightweight faultlocalization using multiple coverage types," in Intl. Conf. Software Eng. (ICSE), 2009, pp. 56-66.