An extensible program representation for object-oriented software

ABSTRACT

An extensible representation for object-oriented programs is presented. It is based on the concept of a program dependency graph and elaborated to include both control flow and data flow information. The representation takes advantage of the basic incremental philosophy of the object-oriented approach to develop a more compact representation that is useful with practical programs. The basic approach reported here provides a static view of an object-oriented program. The approach can be expanded to provide dynamic information for tools such as interactive debuggers and other runtime tools. The outline of this extension is also presented.

REFERENCES

• 1: The common object request broker: Architecture and specification. Technical report, Object Management Group and X/Open, 1992.
• 2: Hiralal Agrawal , Joseph R. Horgan, Dynamic program slicing, Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation, p.246-256, June 1990, White Plains, New York, United States
• 3: Bogdan Korel, The program dependence graph in static program testing, Information Processing Letters, v.24 n.2, p.103-108, January 1987 [doi>10.1016/0020-0190(87)90102-5]
• 4: Ryder B. G. Constructing the call graph of a program. <i>IEEE Transactions on Software Engineering</i>, 5(3):216--225, May 1979.
• 5: D. Binkley. Using semantic differencing to reduce the cost of regression testing. In <i>Proceedings of the Conference on Software Maintenance '92</i>, pages 41--50, 1992.
• 6: D. Callahan, The program summary graph and flow-sensitive interprocedual data flow analysis, Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, p.47-56, June 20-24, 1988, Atlanta, Georgia, United States
• 7: Hiralal Agrawal , Richard A. DeMillo , Eugene H. Spafford, Dynamic slicing in the presence of unconstrained pointers, Proceedings of the symposium on Testing, analysis, and verification, p.60-73, October 08-10, 1991, Victoria, British Columbia, Canada [doi>10.1145/120807.120813]
• 8: David J. Duke , Roger Duke, Towards a Semantics for Object-Z, Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development, p.244-261, April 17-21, 1990
• 9: Margaret A. Ellis , Bjarne Stroustrup, The annotated C++ reference manual, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
• 10: E. Duesterwald; R. Gupta and M. L. Soffa. Rigorous data flow testing through output influences. In <i>Proceedings of the 2nd Irvine Software Symposium (ISS'92)</i>, pages 131--145, 1992.
• 11: Rajiv Gupta , Mary Lou Soffa, Automatic Generation of a Compact Test Suit, Proceedings of the IFIP 12th World Computer Congress on Algorithms, Software, Architecture - Information Processing '92, Volume 1, p.237-243, September 07-11, 1992
• 12: Mary Jean Harrold , Brian Malloy, A Unified Interprocedural Program Representation for a Maintenance Environment, IEEE Transactions on Software Engineering, v.19 n.6, p.584-593, June 1993 [doi>10.1109/32.232023]
• 13: Mary Jean Harrold and John D. McGregor. Hierarchical incremental testing. Technical Report TR91-111, Department of Computer Science, Clemson University, 1991.
• 14: Mary Jean Harrold and Mary Lou Soffa. Computation of interprocedural definition and use dependencies. In <i>Proceedings of IEEE Computer Society 1990 Int. Conf. on Comput. Languages, New Orleans, LA</i>, pages 297--306, 1990.
• 15: Rajiv Gupta; Mary Jean Harrold and Mary Lou Soffa. An approach to regression testing using slicing. In <i>Proceedings of the Conference on Software Maintenance '92</i>, pages 299--308, 1992.
• 16: Jeanne Ferrante , Karl J. Ottenstein , Joe D. Warren, The program dependence graph and its use in optimization, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.3, p.319-349, July 1987 [doi>10.1145/24039.24041]
• 17: Tim Korson , John D. McGregor, Understanding object-oriented: a unifying paradigm, Communications of the ACM, v.33 n.9, p.40-60, Sept. 1990 [doi>10.1145/83880.84459]
• 18: Anand Krishnaswamy. Program slicing: An application of object-oriented program dependency graphs. Technical Report TR 94--108, Clemson University, 1994.
• 19: Brian Malloy; John D. McGregor; Anand Krishnaswamy and Murali Medikonda. An extensible program representation for object-oriented software. Technical Report TR 94--109, Clemson University, 1994.
• 20: Panos E. Livadas and Stephen Croll. Program slicing. Technical Report SERC-TR-61-F, University of Florida, Gainesville, 1992.
• 21: Mary Jean Harrold , Brian Malloy , Gregg Rothermel, Efficient construction of program dependence graphs, Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis, p.160-170, June 28-30, 1993, Cambridge, Massachusetts, United States
• 22: Gregg Rothermel , Mary Jean Harrold, A Safe, Efficient Algorithm for Regression Test Selection, Proceedings of the Conference on Software Maintenance, p.358-367, September 01, 1993
• 23: James Rumbaugh , Michael Blaha , William Premerlani , Frederick Eddy , William Lorensen, Object-oriented modeling and design, Prentice-Hall, Inc., Upper Saddle River, NJ, 1991
• 24: E. Schatz and B. G. Ryder. Directed tracing to detect race conditions. Technical Report LCSR-TR-176, Laboratory for Computer Science Research, Rutgers University, 1992.
• 25: Bjarne Stroustrup, The C++ programming language (2nd ed.), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1991
• 26: Susan Horwitz , Thomas Reps , David Binkley, Interprocedural slicing using dependence graphs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.12 n.1, p.26-60, Jan. 1990 [doi>10.1145/77606.77608]

INDEX TERMS

Primary Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES

Additional Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES

General Terms:
Design, Languages, Theory