Semantics guided regression test cost reduction

IEEE Transactions on Software Engineering

Volumn 23, Issue 8, 1997, Pages 498-516

  Binkley, David ^a  

^a LOYOLA UNIVERSITY MARYLAND   (United States)

Author keywords

Ctr categories and subject descriptors: D.2.2 software engineering : Tools and techniques Programmer workbench; D.2.5 software enginering

Indexed keywords

EID: 0000165611     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.624306     Document Type: Article

References (43)

1. S. Bates and S. Horwitz, "Incremental Program Testing Using Program Dependence Graphs," Proc. Conf. Record 20th ACM Symp. Principles of Programming Languages, Charleston, SC, New York: ACM, Jan., 1993.
2. P. Benedusi, A. Cimitile, and U. DeCarlini, "Post-Maintenance Testing Based on Path Change Analysis," pp. 352-368, Proc. IEEE Conf. Software Maintenance, Phoenix, Ariz., IEEE Computer Soc., Washington, DC, Oct. 1988.
3. D. Binkley, "Multi-Procedure Program Integration," PhD dissertation and Technical Report TR-1038, Computer Sciences Dept., Univ. of Wisconsin, Madison, Aug. 1991.
4. D. Binkley, "Using Semantic Differencing to Reduce the Cost of Regression Testing," Proc. IEEE Conf. Software Maintenance, pp. 41-50, Orlando, Fla., IEEE Computer Soc., Washington, D.C., Nov. 1992.
5. D. Binkley, "Precise Executable Interprocedural Slices," ACM Letters on Programming Languages and Systems, vol. 2, pp. 1-4, 1993.
6. D. Binkley, "Interprocedural Test Case Selection," Technical Report TR95001, Dept. of Computer Science, Loyola College, Baltimore, Md., Jan. 1995.
7. D. Binkley, S. Horwitz, and T. Reps, "Program Integration for Languages with Procedure Calls," ACM Trans. Software Eng. and Methodology vol. 4, no. 1, pp. 3-35, Jan. 1995.
8. D. Binkley, "Reducing the Cost of Regression Testing by Semantics Guided Test Case Selection," IEEE Int'l Conf. Software Maintenance, pp. 251-260, Nice, France, IEEE Computer Soc., Washington, D.C., Oct. 1995.
9. J. Choi and J. Ferrante, "Static Slicing in the Presence of Goto Statements," ACM Trans. Programming Languages and Systems, vol. 16, no. 4, pp. 1,097-1,113, July 1991.
10. 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. vol. 15, no. 11, pp. 1,318-1,332, Nov. 1989.
11. R. Cytron, J. Ferrante, B.K. Rosen, M.N. Wegman, and K. Zadeck, "An Efficient Method of Computing Static Single Assignment Form," Proc. Conf. Record 16th ACM Symp. Principles of Programming Languages, Austin, pp. 25-35, Texas, Jan. 1989, New York: ACM, 1989.
12. V. Donzeau-Gouge, G. Huet, G. Kahn, and B. Lang, "Programming Environments Based on Structured Editors: The MENTOR Experience," pp. 128-140, Interactive Programming Environments, D. Barstow, E. Sandewall, and H. Shrobe, eds. New York: McGraw-Hill, 1984.
13. K.F. Fischer, F. Raji, and A. Chruscicki, "A Methodology for Retesting modified Software," Proc. IEEE Nat'l Telecommunications Conf., pp. B6.3.1-6, Nov. 1981.
14. K.B. Gallagher, and J.R. Lyle, "Using Program Slicing in Software Maintenance," IEEE Trans. Software Eng. vol. 17, no. 8, pp. 751-761, 1991.
15. R. Gupta, M.J. Harrold, and M.L. Soffa, "An Approach to Regression Testing Using Slicing," Proc. IEEE Conf. Software Maintenance, pp. 299-308, Orlando, Fla., Nov. 1992, IEEE Computer Soc., Washington, D.C., 1992.
16. M.J. Harrold and M.L. Soffa, "An Incremental Approach to Unit Testing During Maintenance," Proc. IEEE Conf. Software Maintenance, pp. 362-367, Phoenix, Ariz., IEEE Computer Soc., Washington, D.C., Oct. 1988.
17. S. Horwitz, "Identifying the Semantic and Textual Differences Between Two Versions of a Program," Proc. ACM SIGPLAN '90 Conf. Programming Language Design and Implementation, White Plains, New York, June 20-22, 1990, ACM SIGPLAN Notices, vol. 25, no. 6, pp. 234-245, June 1989.
18. S. Horwitz, J. Prins, and T. Reps, "Integrating Non-Interfering Versions of Programs," ACM Trans. Program Language Systems, vol. 11, no. 3, pp. 345-387, July 1989.
19. S. Horwitz, T. Reps, and D. Binkley, "Interprocedural Slicing Using Dependence Graphs," ACM Trans. Programming Languages and Systems, vol. 12, no. 1, pp. 26-60, Jan. 1990.
20. S. Horwitz, and T. Reps, "The Use of Program Dependence Graphs in Software Engineering," Proc. 14th IEEE Conf. Software Eng., Melbourne, Australia, IEEE Computer Soc., Washington, D.C., June 1992.
21. W.E. Howden, "Reliability of the Path Analysis Testing Strategy," IEEE Trans. Software Eng. vol. 2, no. 3, pp. 208-215, Sept. 1976.
22. M. Kamkar, P. Fritzson, and N. Shahmehri, "Interprocedural Dynamic Slicing Applied to Interprocedural Data Flow Testing," Proc. IEEE Conf. Software Maintenance, Montreal, pp. 368-395, Quebec, Canada, Sept. 1993, IEEE Computer Soc., Washington, D.C., 1993.
23. J. Laski, and W. Szermer, "Identification of Program Modifications and Its Applications in Software Maintenance," Proc. IEEE Conf. Software Maintenance, pp. 282-290, Orlando, Fla., IEEE Computer Soc., Washington, D.C., Nov. 1992.
24. H.K.N. Leung and L. White, "A Cost Model to Compare Regression Test Strategies," Proc. IEEE Conf. Software Maintenance, pp. 201-208, Sorrento, Italy, IEEE Computer Soc., Washington, D.C., Oct. 1991.
25. J.R. Lyle, D.R. Wallace, J.R. Graham, K.B. Gallagher, J.E. Poole, and D.W. Binkley, "A CASE Tool to Evaluate Functional Diversity in High Integrity Software," U.S. Dept. of Commerce, Technology Administration, Nat'l Inst. of Standards and Technology, Computer Systems Laboratory, Gaithersburg, Md., 1995.
26. B. Marick, "A Survey of Test Effectiveness and Cost Studies," Report No. UIUCD.C.S-R-90-1652, Dept. of Computer Science, Univ. of Illinois at Urbana-Champaign, Dec. 1990.
27. B. Marick, "Three Ways to Improve Your Testing," Unpublished Report, Testing Foundations, Champaign 111., 1993.
28. D. Notkin, R.J. Ellison, B.J. Staudt, G.E. Kaiser, E. Kant, A.N. Habermann, V. Ambriola, and C. Montangero, "Special Issue on the GANDALF Project," J. Systems and Software, vol. 5, no. 2, May 1985.
29. T.J. Ostrand and E.J. Weyuker, "Using Data Flow Analysis for Regression Testing," Proc. Sixth Ann. Pacific Northwest Software Quality Conf., Portland, Ore. Sept. 19-20, 1988, New York: ACM, 1988.
30. K.J. Ottenstein and L.M. Ottenstein, "The Program Dependence Graph in a Software Development Environment," Proc. ACM SIGSOFT/SIGPLAN Software Eng. Symp. Practical Software Development Environments, Pittsburgh, Penn., Apr. 1984, ACM SICPLAN Notices, vol. 19, no. 5, pp. 177-184, May 1984.
31. A. Podgurski and L.A. Clarke, "A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance," IEEE Trans. Software Eng., vol. 16, no. 9, Sept. 1990.
32. 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, 1985.
33. T. Reps and T. Teitelbaum, The Synthesizer Generator: A System for Cconstructing Language-Eased Editors. New York: Springer-Verlag, 1988.
34. G. Rothermel and M.J. Harrold, "A Safe, Efficient Algorithm for Regression Test Selection," Proc. IEEE Conf. Software Maintenance, Montreal,Quebec, pp. 358-367, IEEE Computer Soc., Sept. 1993.
35. G. Rothermel and M.J. Harrold, "Selecting Tests and Identifying Test Coverage Requirements for Modified Software," Proc. ACM SIGSOFT Int'l Symp. Software Testing and Analysis, Seattle, pp. 169-84, Aug. 1994.
36. G. Rothermel and M.J. Harrold, "Analyzing Regression Test Selection Techniques," IEEE Trans. Software Eng., vol. 22, no. 8, IEEE Computer Soc., 1996.
37. J.E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. Cambridge, Mass.: M.I.T. Press, 1977.
38. M. Weiser, "Program Slicing," pp. 439-449, Proc. Fifth Int'l Conf. Software Eng., San Diego, Calif., Mar. 1981.
39. E.J. Weyuker, "The Complexity of Data Flow Criteria for Test Data Selection," Information Processing Letters, vol. 19, pp. 103-109, 1984.
40. L. White, "Software Testing and Verification," Advances in Computers, vol. 26, pp. 335-390, Academic Press, 1987.
41. W. Wong, J. Horgan, S. London, and A. Mathur, "Effect of Test Set Minimization of Faults Detection Effectiveness," Proc. 17th Int'l Conf. Software Eng., pp. 41-50, Seattle Wash., Oct. 1995, Apr. 1995.
42. W. Yang, S. Horwitz, and T. Reps, "A Program Integration Algorithm that Accommodates Semantics-Preserving Transformations," Proc. Fourth ACM SIGSOFT Symp. Software Development Environments, Irvine, Calif., ACM SIGSOFT Software Eng. Notes, Dec. 1990.
43. W. Yang, "Identifying Syntactic Differences Between Two Programs," Software - Practice and Experience, vol. 21, no. 7, July 1991.