Dynamic analysis for reverse engineering and program understanding

ABSTRACT

The main focus of program understanding and reverse engineering research has been on modeling the structure of a program by examining its code. This has been the result of the nature of the systems investigated and the perceived goals of the reverse engineering activities. The types of systems under investigation have changed, however, and the maintenance objectives have evolved. Many legacy systems today are object-oriented and component-based. One of the most prominent maintenance objectives is system migration to distributed environments, most notably the World Wide Web, for interoperation with other systems. This new maintenance objective has a great impact on the types of models expected as products of reverse engineering. As the traditional static software analysis techniques keep their valuable role in program comprehension, additional techniques, especially those focusing on run-time analysis of the subject systems, become equally important. In this paper, we focus on the analysis of the system's dynamic behavior, as it pertains to understanding the system's processes and uses. We give an overview of currently used dynamic reverse engineering techniques and identify some challenges yet to be tackled.

REFERENCES

• 1: Nicolas Anquetil , Cédric Fourrier , Timothy C. Lethbridge, Experiments with Clustering as a Software Remodularization Method, Proceedings of the Sixth Working Conference on Reverse Engineering, p.235, October 06-08, 1999
• 2: R. Balzer, N. Goldman, Mediating Connectors, In Proc. of the 19th IEEE International Conference on Distributed Computing Systems , Austin, Texas, 1999, pp.73-77.
• 3: Grady Booch , James Rumbaugh , Ivar Jacobson, The Unified Modeling Language user guide, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1999
• 4: Elliot J. Chikofsky , James H. Cross II, Reverse Engineering and Design Recovery: A Taxonomy, IEEE Software, v.7 n.1, p.13-17, January 1990 [doi>10.1109/52.43044]
• 5: Richard Clayton , Spencer Rugaber , Linda Wills, On the Knowledge Required to Understand a Program, Proceedings of the Working Conference on Reverse Engineering (WCRE'98), p.69, October 12-14, 1998
• 6: W. De Pauw, D. Lorenz, J. Vlissides, and M. Wegman, Execution patterns in object-oriented visualization, In Proc. of the Conference on Object-Oriented Technologies and Systems, 1998.
• 7: W. De Pauw, G. Sevitsky, Visualizing Reference Patterns for Solving Memory Leaks in Java, Concurrency: Practice and Experience 2000, 12, pp. 1431-1454.
• 8: Giuseppe Antonio Di Lucca , Anna Rita Fasolino , Ugo de Carlini, Recovering Use Case Models from Object-Oriented Code: A Thread-Based Approach, Proceedings of the Seventh Working Conference on Reverse Engineering (WCRE'00), p.108, November 23-25, 2000
• 9: Alexander Egyed , Robert Balzer, Unfriendly COTS Integration-Instrumentation and Interfaces for Improved Plugability, Proceedings of the 16th IEEE international conference on Automated software engineering, p.223, November 26-29, 2001
• 10: Mohammad El-Ramly , Paul Iglinski , Eleni Stroulia , Paul Sorenson , Bruce Matichuk, Modeling the System-User Dialog Using Interaction Traces, Proceedings of the Eighth Working Conference on Reverse Engineering (WCRE'01), p.208, October 02-05, 2001
• 11: Ali Erdem , W. Lewis Johnson, Task Orientation and Tailoring of Interactive Software Explanations, Proceedings of the Sixth Working Conference on Reverse Engineering, p.145, October 06-08, 1999
• 12: GSEE: A Generic Software Exploration Environment, Proceedings of the 9th International Workshop on Program Comprehension, p.233, May 12-13, 2001
• 13: Curtis E. Hrischuk , C. Murray Woodside , Jerome A. Rolia , Rod Iversen, Trace-Based Load Characterization for Generating Performance Software Models, IEEE Transactions on Software Engineering, v.25 n.1, p.122-135, January 1999 [doi>10.1109/32.748921]
• 14: IBM Research, Jinsight, visualizing the execution of java programs, http://www.research.ibm.com/jinsight/, 2000.
• 15: Z.120 ITU-T Recommendation Z.120: Message Sequence Chart (MSC), ITU-T, Geneva, 1999.
• 16: Z.100 ITU-T Recommendation Z.100: Specification and Description Language (SDL), ITU-T, Geneva, 1999.
• 17: Dean Jerding , Spencer Rugaber, Using Visualization for Architectural Localization and Extraction, Proceedings of the Fourth Working Conference on Reverse Engineering (WCRE '97), p.56, October 06-08, 1997
• 18: Gregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , William Griswold, Getting started with ASPECTJ, Communications of the ACM, v.44 n.10, p.59-65, Oct. 2001 [doi>10.1145/383845.383858]
• 19: R. V. Kapoor, E. Stroulia: Mathaino: Simultaneous Legacy Interface Migration to Multiple Platforms, In Proc. of the 9th International Conference on Human-Computer Interaction, Vol 1, New Orleans, LA, USA, 2001, pp. 51-55.
• 20: Rick Kazman , S. Jeromy Carrière, Playing Detective: Reconstructing Software Architecture from Available Evidence, Automated Software Engineering, v.6 n.2, p.107-138, April 1999 [doi>10.1023/A:1008781513258]
• 21: Jeffrey Korn , Yih-Farn Chen , Eleftherios Koutsofios, Chava: Reverse Engineering and Tracking of Java Applets, Proceedings of the Sixth Working Conference on Reverse Engineering, p.314, October 06-08, 1999
• 22: Kai Koskimies , Tarja Systä , Jyrki Tuomi , Tatu Männistö, Automated Support for Modeling OO Software, IEEE Software, v.15 n.1, p.87-94, January 1998 [doi>10.1109/52.646888]
• 23: Kai Koskimies , Hanspeter Mössenböck, Scene: using scenario diagrams and active text for illustrating object-oriented programs, Proceedings of the 18th international conference on Software engineering, p.366-375, March 25-29, 1996, Berlin, Germany
• 24: J. Koskinen, J. Peltonen, P. Selonen, T. Systä, and K. Koskimies, Towards Tool Assisted UML Development Environments, In Proc. of the 7th Symposium on Programming Languages and Software Tools, Szeged, Hungary, 2001, pp. 1-15.
• 25: Philippe Kruchten, The 4+1 View Model of Architecture, IEEE Software, v.12 n.6, p.42-50, November 1995 [doi>10.1109/52.469759]
• 26: Leslie Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, v.21 n.7, p.558-565, July 1978 [doi>10.1145/359545.359563]
• 27: Danny B. Lange , Yuichi Nakamura, Interactive visualization of design patterns can help in framework understanding, Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications, p.342-357, October 15-19, 1995, Austin, Texas, United States
• 28: Danny B. Lange , Yuichi Nakamura, Object-Oriented Program Tracing and Visualization, Computer, v.30 n.5, p.63-70, May 1997 [doi>10.1109/2.589912]
• 29: M. Lehman, On understanding laws, evolution and conservation in the large program life cycle. Journal of Systems and Software,1, 3, 1980, pp. 213-221.
• 30: M M. Lehman , J F. Ramil , P D. Wernick , D E. Perry , W M. Turski, Metrics and Laws of Software Evolution - The Nineties View, Proceedings of the 4th International Symposium on Software Metrics, p.20, November 05-07, 1997
• 31: H. Müller, M. Orgun, S. Tilley, J. Uhl, A Reverse-engineering Approach to Subsystem Structure Identification, Software Maintenance: Research and Practice,5, 1993, pp. 181-204.
• 32: John C. Munson , Taghi M. Khoshgoftaar, Measuring Dynamic Program Complexity, IEEE Software, v.9 n.6, p.48-55, November 1992 [doi>10.1109/52.168858]
• 33: OMG, The Unified Modeling Language v1.4, http://www.omg.org/uml, 2001.
• 34: D. Ploix, Building Program Metaphors, In Proc. of PPIG'96 PostGraduate Students Workshop, Matlock, UK, September 1996.
• 35: T. Raitalaakso, Dynamic Visualization of C++ Programs with UML Sequence Diagrams, MSc Thesis, Tampere University of Technology, 2000, http://practise.cs.tut.fi/pub/index.html
• 36: Tamar Richner , Stéphane Ducasse, Recovering High-Level Views of Object-Oriented Applications from Static and Dynamic Information, Proceedings of the IEEE International Conference on Software Maintenance, p.13, August 30-September 03, 1999
• 37: James Rumbaugh , Ivar Jacobson , Grady Booch, The Unified Modeling Language reference manual, Addison-Wesley Longman Ltd., Essex, UK, 1998
• 38: P. Selonen , K. Koskimies , M. Sakkinen, How to Make Apples from Oranges in UML, Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 3, p.3054, January 03-06, 2001
• 39: E. Stroulia, R. Kapoor: Reverse Engineering Interaction Plans for Legacy Interface Migration, 2002 Computer Aided User-Interface Design, 2002, to appear.
• 40: Eleni Stroulia , Judi Thomson , Gina Situ, Constructing XML-Speaking Wrappers for WEB Applications: Towards an Interoperating WEB, Proceedings of the Seventh Working Conference on Reverse Engineering (WCRE'00), p.59, November 23-25, 2000
• 41: E. Stroulia , M. El-Ramly , L. Kong , P. Sorenson , B. Matichuk, Reverse Engineering Legacy Interfaces: An Interaction-Driven Approach, Proceedings of the Sixth Working Conference on Reverse Engineering, p.292, October 06-08, 1999
• 42: Tarja Systä , Kai Koskimies , Hausi Müller, Shimba—an environment for reverse engineering Java software systems, Software—Practice & Experience, v.31 n.4, p.371-394, April 10, 2001 [doi>10.1002/spe.386]
• 43: T. Systä, Static and Dynamic Reverse Engineering Techniques for Java Software Systems, PhD Thesis, University of Tampere, Dept. of Computer and Information Sciences, Report A-2000-4, 2000.
• 44: S. Tilley, K. Wong, M.-A.D. Storey, and H. Müller, Programmable Reverse Engineering, International Journal of Software Engineering and Knowledge Engineering, 1994, pp. 501-520.
• 45: Vassilios Tzerpos , R. C. Holt, MoJo: A Distance Metric for Software Clusterings, Proceedings of the Sixth Working Conference on Reverse Engineering, p.187, October 06-08, 1999
• 46: Robert J. Walker , Gail C. Murphy , Bjorn Freeman-Benson , Darin Wright , Darin Swanson , Jeremy Isaak, Visualizing dynamic software system information through high-level models, Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.271-283, October 18-22, 1998, Vancouver, British Columbia, Canada

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.7 Distribution, Maintenance, and Enhancement
          Subjects: Restructuring, reverse engineering, and reengineering

Additional Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.3 Concurrent Programming
  D.2 SOFTWARE ENGINEERING
        D.2.11 Software Architectures

Keywords:
dynamic analysis, reverse engineering