Using Spanning Sets for Coverage Testing

IEEE Transactions on Software Engineering

Volumn 29, Issue 11, 2003, Pages 974-984

  Marré, Martina ^a   Bertolino, Antonia ^b  

^a UNIVERSIDAD DE BUENOS AIRES   (Argentina)

^b ISTI CNR   (Italy)

Author keywords

Control flow; Coverage criteria; Data flow; Ddgraph; Spanning sets; Subsumption

Indexed keywords

DATA FLOW ANALYSIS; FAULT TOLERANT COMPUTER SYSTEMS; FLOWCHARTING; HEURISTIC METHODS; OPTIMAL SYSTEMS; RANDOM PROCESSES; SET THEORY;

FAULT DETECTION; SPANNING SETS;

SOFTWARE ENGINEERING;

EID: 0346265994     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.2003.1245299     Document Type: Article

References (25)

1. H. Agrawal, "Dominators, Super Blocks, and Program Coverage," Proc. Principles of Programming Languages (POPL '94), pp. 25-34, Jan. 1994.
2. A.V. Aho, J.E. Hopcroft, and J.D. Ullman, The Design and Analysis of Computer Algorithms. Addison-Wesley, 1974.
3. Aristotle Research Group, "Aristotle Analysis System Download, " http://www.cc.gatech.edu/aristotle/Tools/dist.html, 2003.
4. K. Beck, Test Driven Development: By Example. Addison-Wesley, 2002.
5. B. Beizer, Software Testing Techniques, Second Edition. New York: Van Nostrand Reinhold, 1990.
6. A. Bertolino, "Unconstrained Edges and Their Application to Branch Analysis and Testing of Programs," The J. Systems and Software, vol. 20, no. 2, pp. 125-133, Feb. 1993.
7. A. Bertolino and M. Marré, "Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs," IEEE Trans. Software Eng., vol. 20, no. 12, pp. 885-899, Dec. 1994.
8. A. Bertolino and M. Marré, "A General Path Generation Algorithm for Coverage Testing," Proc. Int'l Quality Week, May 1997.
9. A. Bertolino and M. Marré, "How Many Paths Are Needed for Branch Testing?" The J. Systems and Software, vol. 35, no. 2, pp. 95-106, Nov. 1996.
10. A. Bertolino, R. Mirandola, and E. Peciola, "A Case Study in Branch Testing Automation," The J. Systems and Software, vol. 38, no. 1, pp. 47-59, July 1997.
11. T. Chusho, "Test Data Selection and Quality Estimation Based on the Concept of Essential Branches for Path Testing," IEEE Trans. Software Eng., vol. 13, no. 5, pp. 509-517, May 1987.
12. P.G. Frankl and E.J. Weyuker, "An Applicable Family of Data Flow Testing Criteria," IEEE Trans. Software Eng., vol. 14, no. 10, pp. 1483-1498, Oct. 1988.
13. R. Gupta and M.L. Soffa, "Employing Static Information in the Generation of Test Cases," Software Testing, Verification and Reliability, vol. 3, no. 1, pp. 29-48, 1993.
14. M.J. Harrold, R. Gupta, and M.L. Soffa, "Methodology for Controlling the Size of a Test Suite," ACM Trans. Software Eng. and Methodology, vol. 2, no. 3, pp. 270-285, July 1993.
15. M.S. Hecht, Flow Analysis of Computer Programs. New York: North Holland, 1977.
16. M. Hutchins, H. Foster, T. Goradia, and T. Ostrand, "Experiments on the Effectiveness of Dataflow- and Controlflow-Based Test Adequacy Criteria," Proc. 16th Int'l Conf. Software Eng. (ICSE 16), pp. 191-200, 1994.
17. T. Lengauer and R.E. Tarjan, "A Fast Algorithm for Finding nominators in a Flowgraph," ACM Trans. Programming Languages and Systems, vol. 1, no. 1, pp. 121-141, 1979.
18. M. Marré, "Program Flow Analysis for Reducing and Estimating the Cost of Test Coverage Criteria," PhD Thesis, Dept. Computer Science, FCEyN, Univ. de Buenos Aires, 1997.
19. M. Marré and A. Bertolino, " Unconstrained Duas and Their Use in Achieving All-uses Coverage," ACM Proc. Int'l Symp. Software Testing and Analysis (ISSTA 96), pp. 147-157, Jan. 1996.
20. M. Marré and A. Bertolino, "Reducing and Estimating the Cost of Test Coverage Criteria," Proc. 18th Int'l Conf. Software Eng. (ICSE 18), pp. 486-494, Mar. 1996.
21. S. Rapps and E.J. Weyuker, "Selecting Software Test Data Using Data Flow Information," IEEE Trans. Software Eng., vol. 11, no. 4, pp. 367-375, Apr. 1985.
22. G. Rothermel, M.J. Harrold, J. Ostrin, and C. Hong, "Empirical Study of the Effects of Minimization on the Fault Detection Capabilities of Test Suites," Proc. Int'l Conf. Software Maintenance, pp. 34-43, Nov. 1998.
23. W. E. Wong, "On Mutation and Data Flow, A Thesis," PhD Thesis, SERC-TR-149-P, Software Eng. Research Center, Purdue Univ., Dec. 1993.
24. W.E. Wong, J.R. Horgan, S. London, and A.P. Mathur, "Effect of Test Set Minimization on Fault Detection Effectiveness," Proc. 17th Int'l Conf. Software Eng. (ICSE 17), pp. 41-50, Apr. 1995.
25. T.H. Wonnacott and R.J. Wonnacott, Introductory Statistics, fifth ed. Wiley, 1990.