Data flow testing

The Compiler Design Handbook: Optimizations and Machine Code Generation

Volumn , Issue , 2002, Pages 247-267

  Gupta, Neelam ^a   Gupta, Rajiv ^a  

^a UNIVERSITY OF ARIZONA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84988222017     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1201/9781420040579     Document Type: Chapter

References (43)

1. H. Agrawal and J.R. Horgan, Dynamic Program Slicing, ACM SIGPLAN Conference on Programming Language Design and Implementation, June 1990, pp. 246-256.
2. R. Bodik, R. Gupta and M.L. Soffa, Refining data flow information using infeasible paths, in ACM SIGSOFT 5th Symposium on Foundations of Software Engineering and 6th European Software Engineering Conference, LNCS 1301, Springer-Verlag, September 1997, pp. 361-377.
3. L.A. Clarke, A system to generate test data and symbolically execute programs, IEEE Trans. Software Eng., SE-2(3), 215-222, September 1976.
4. L.A. Clarke, A. Podgurski, D.J. Richardson and S.J. Zeil, A formal evaluation of data flow path selection criteria, IEEE Trans. Software Eng., SE-15(11), 1318-1332, November 1989.
5. J.C. Corbett, Timing analysis of Ada testing programs, IEEE Trans. Software Eng., 22(7), July 1996.
6. R. De Millo, W. McCracken, R. Martin and J. Passafiume, Software Testing and Evaluation, Benjamin/Cummings, Menlo Park, CA, 1987.
7. R.A. DeMillo and A.J. Offutt, Constraint-based automatic test data generation, IEEE Trans. Software Eng., 17(9), 900-910, September 1991.
8. E. Duesterwald, R. Gupta and M.L. Soffa, A Demand-Driven Analyzer for Data Flow Testing at the Integration Level, SIGSOFT/IEEE 18th International Conference on Software Engineering, 1996, pp. 575-584.
9. E. Duesterwald, R. Gupta and M.L. Soffa, Rigorous Data Flow Testing through Output Influences, 2nd Irvine Software Symposium, March 1992, 131-145.
10. E. Duesterwald, R. Gupta and M.L. Soffa, A practical framework for demand-driven interprocedural data flowanalysis, ACMTrans. Programming Languages Syst., 19(6), November 1997, 992-1030.
11. M.B. Dwyer and L.A. Clarke, Data Flow Analysis for Verifying Properties of Concurrent Programs, ACM SIGSOFT International Symposium on Foundations of Software Engineering, December 1994, pp. 62-75.
12. R. Ferguson and B. Korel, The chaining approach for software test data generation, ACM Trans. Software Eng. Methodol., 5(1), 63-86, January 1996.
13. P.G. Frankl and E.J. Weyuker, Provable improvements on branch testing, IEEE Trans. Software Eng., 19(10), 962-975, October 1993.
14. P.G. Frankl and E.J. Weyuker, An applicable family of data flow testing criteria, IEEE Trans. Software Eng., 14(10), 1483-1498, October 1988.
15. P.G. Frankl and E.J. Weyuker, An Analytical Comparison of the Fault-detecting Ability of Data Flow Testing Techniques, SIGSOFT/IEEE 15th International Conference on Software Engineering, 1993, pp. 415-424.
16. M.J. Gallagher and V.L. Narsimhan, ADTEST: a test data generation suite for Ada software systems, IEEE Trans. Software Eng., 23(8), August 1997, 473-484.
17. T.L. Graves, M.J. Harrold, J.-M. Kim, A. Porter and G. Rothermel, An empirical study of regression test selection techniques, ACM Trans. Software Eng. Methodol., 10(2), 184-208, April 2001.
18. R. Gupta and M.L. Soffa, A Framework for Partial Data Flow Analysis, in IEEE International Conference on Software Maintenance, September 1994, pp. 4-13.
19. R. Gupta and M.L. Soffa, Priority Based Data Flow Testing, in IEEE International Conference on Software Maintenance, October 1995, pp. 348-357.
20. R. Gupta, M.J. Harrold and M.L. Soffa, An Approach to Regression Testing Using Slicing, IEEE International Conference on Software Maintenance, November 1992, pp. 299-308.
21. R. Gupta and M.L. Soffa, Employing static information in the generation of test cases, J. Software Testing, Verification Reliability, 3, 29-48, 1993.
22. N. Gupta, A.P. Mathur and M.L. Soffa, Generating Test Data for Branch Coverage, 15th IEEE International Conference on Automated Software Engineering, September 2000, pp. 219-227.
23. N. Gupta, A.P. Mathur and M.L. Soffa, UNA Based Iterative Test Data Generation and Its Evaluation, 14th IEEE International Conference on Automated Software Engineering, October 1999, pp. 224-232.
24. N. Gupta, A.P. Mathur and M.L. Soffa, Automated Test Data Generation Using an Iterative Relaxation Method, ACM SIGSOFT Sixth International Symposium on Foundations of Software Engineering, November 1998, pp. 231-244.
25. M.J. Harrold, R. Gupta and M.L. Soffa, A methodology for controlling the size of the test suite, ACM Trans. Software Eng. Methodol., 2(3), 270-285, July 1993.
26. M.J. Harrold and M.L. Soffa, Interprocedural Data FlowTesting, ACMSIGSOFT Third Symposium on Software Testing, Analysis, and Verification, 1989, pp. 158-167.
27. M.J. Harrold and M.L. Soffa, Efficient computation of interprocedural definition-use chains, ACM Trans. Programming Languages Syst., 16(2), 175-204, March 1994.
28. P.C. Jorgensen and C. Erickson, Object-oriented integration testing, Commun. ACM, 37(9), 30-38, September 1994.
29. B. Korel, Automated software test data generation, IEEE Trans. Software Eng., 16(8), August 1990, pp. 870-879.
30. B. Korel and J. Laski, Dynamic program slicing, Inf. Process. Lett., 29, 155-163, October 1988.
31. J.W. Laski and B. Korel, A data flow oriented program testing strategy, IEEE Trans. Software Eng., SE-9(3), 347-354, May 1983.
32. T.J. McCabe, Structural Testing: A Software Testing Methodology Using the Cyclomatic Complexity Metric, National Bureau of Standards (now NIST), Publication 500-99, Washington, D.C., 1982.
33. T. Ostrand and E.J.Weyuker, Using Data FlowAnalysis for Regression Testing, Sixth Annual Pacific Northwest Software Quality Conference, September 1988, pp. 58-71.
34. A.S. Parrish and S.H. Zweben, On the relationships among the all-uses, all-du-paths, and all-edges testing criteria, IEEE Trans. Software Eng., 21(12), 1006-1009, December 1995.
35. S. Rapps and E.J. Weyuker, Selecting software test data using data flow information, IEEE Trans. Software Eng., SE-11(4), April 1985, pp. 367-375.
36. G. Rothermel, R.H. Untch, C.-C. Chu and M.J. Harrold, Prioritizing test cases for regression testing, IEEE Trans. Software Eng., 27(10), 929-948, October 2001.
37. A.M. Taha, S.M. Thebut and S.S. Liu, An approach to software fault localization and revalidation based on incremental data flow analysis, COMPSAC, 527-534, September 1989.
38. R.N. Taylor, D.L. Levine and C.D. Kelly, Structural testing of concurrent programs, IEEE Trans. Software Eng., 18(3), March 1992.
39. M.D. Weiser, Program slicing, IEEE Trans. Software Eng., SE-10(4), 352-357, April 1988.
40. E.J.Weyuker, More experience with data flow testing, IEEE Trans. Software Eng., 19(9), 912-919, September 1993.
41. E.J.Weyuker, The cost of data flow testing: an empirical study, IEEE Trans. Software Eng., 16(2), 121-128, February 1990.
42. MATLAB, The MathWorks, www.mathworks.com.
43. XA, Sunset Software Technology, www.sunsetsoft.com.