Object flow analysis: taking an object-centric view on dynamic analysis

ABSTRACT

To extract abstract views of the behavior of an object-oriented system for reverse engineering, a body of research exists that analyzes a system's runtime execution. Those approaches primarily analyze the control flow by tracing method execution events. However, they do not capture information flows. We address this problem by proposing a novel dynamic analysis technique named Object Flow Analysis, which complements method execution tracing with an accurate analysis of the runtime flow of objects. To exemplify the usefulness of our analysis we present a visual approach that allows a system engineer to study classes and components in terms of how they exchange objects at runtime. We illustrate and validate our approach on two case studies.

REFERENCES

• 1: Wim De Pauw , David Lorenz , John Vlissides , Mark Wegman, Execution patterns in object-oriented visualization, Proceedings of the 4th conference on USENIX Conference on Object-Oriented Technologies and Systems, p.16-16, April 27-30, 1998, Santa Fe, New Mexico
• 2: 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
• 3: 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
• 4: Giuliano Antoniol , Yann-Gael Gueheneuc, Feature Identification: A Novel Approach and a Case Study, Proceedings of the 21st IEEE International Conference on Software Maintenance, p.357-366, September 25-30, 2005 [doi>10.1109/ICSM.2005.48]
• 5: Michael F. Kleyn , Paul C. Gingrich, GraphTrace—understanding object-oriented systems using concurrently animated views, Conference proceedings on Object-oriented programming systems, languages and applications, p.191-205, September 25-30, 1988, San Diego, California, United States
• 6: Orla Greevy , Stéphane Ducasse, Correlating Features and Code Using a Compact Two-Sided Trace Analysis Approach, Proceedings of the Ninth European Conference on Software Maintenance and Reengineering, p.314-323, March 21-23, 2005 [doi>10.1109/CSMR.2005.21]
• 7: Mohammad El-Ramly , Eleni Stroulia , Paul Sorenson, Recovering software requirements from system-user interaction traces, Proceedings of the 14th international conference on Software engineering and knowledge engineering, July 15-19, 2002, Ischia, Italy [doi>10.1145/568760.568837]
• 8: Andy Zaidman , Toon Calders , Serge Demeyer , Jan Paredaens, Applying Webmining Techniques to Execution Traces to Support the Program Comprehension Process, Proceedings of the Ninth European Conference on Software Maintenance and Reengineering, p.134-142, March 21-23, 2005 [doi>10.1109/CSMR.2005.12]
• 9: Wim De Pauw , Doug Kimelman , John M. Vlissides, Modeling Object-Oriented Program Execution, Proceedings of the 8th European Conference on Object-Oriented Programming, p.163-182, July 04-08, 1994
• 10: 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
• 11: Stéphane Ducasse , Michele Lanza , Roland Bertuli, High-Level Polymetric Views of Condensed Run-time Information, Proceedings of the Eighth Euromicro Working Conference on Software Maintenance and Reengineering (CSMR'04), p.309, March 24-26, 2004
• 12: Hill, T., Noble, J., Potter, J.: Scalable visualisations with ownership trees. In: Proceedings of TOOLS '00. (June 2000)
• 13: Wim De Pauw , Gary Sevitsky, Visualizing Reference Patterns for Solving Memory Leaks in Java, Proceedings of the 13th European Conference on Object-Oriented Programming, p.116-134, June 14-18, 1999
• 14: Michael Hind, Pointer analysis: haven't we solved this problem yet?, Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, p.54-61, June 2001, Snowbird, Utah, United States [doi>10.1145/379605.379665]
• 15: Oscar Nierstrasz , Stéphane Ducasse , Tudor Gǐrba, The story of moose: an agile reengineering environment, Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, p.1-10, September 05-09, 2005, Lisbon, Portugal
• 16: Michael Meyer , Tudor Gîrba , Mircea Lungu, Mondrian: an agile information visualization framework, Proceedings of the 2006 ACM symposium on Software visualization, September 04-05, 2006, Brighton, United Kingdom [doi>10.1145/1148493.1148513]
• 17: Thomas Gschwind , Johann Oberleitner, Improving Dynamic Data Analysis with Aspect-Oriented Programming, Proceedings of the Seventh European Conference on Software Maintenance and Reengineering, p.259, March 26-28, 2003
• 18: John Hogg , Doug Lea , Alan Wills , Dennis deChampeaux , Richard Holt, The Geneva convention on the treatment of object aliasing, ACM SIGPLAN OOPS Messenger, v.3 n.2, p.11-16, April 1992 [doi>10.1145/130943.130947]
• 19: James Noble , Jan Vitek , John Potter, Flexible Alias Protection, Proceedings of the 12th European Conference on Object-Oriented Programming, p.158-185, July 20-24, 1998
• 20: Adrian Lienhard , Orla Greevy , Oscar Nierstrasz, Tracking Objects to Detect Feature Dependencies, Proceedings of the 15th IEEE International Conference on Program Comprehension, p.59-68, June 26-29, 2007 [doi>10.1109/ICPC.2007.38]
• 21: Thoms Bell, The concept of dynamic analysis, Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering, p.216-234, September 06-10, 1999, Toulouse, France
• 22: 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 ]
• 23: Maher Salah , Trip Denton , Spiros Mancoridis , Ali Shokoufandeh , Filippos I. Vokolos, Scenariographer: A Tool for Reverse Engineering Class Usage Scenarios from Method Invocation Sequences, Proceedings of the 21st IEEE International Conference on Software Maintenance, p.155-164, September 25-30, 2005 [doi>10.1109/ICSM.2005.78]
• 24: T. Y. Chen , C. K. Low, Dynamic Data Flow Analysis for C++, Proceedings of the Second Asia Pacific Software Engineering Conference, p.22, December 06-09, 1995
• 25: Boujarwah, A. S., Saleh, K., Al-Dallal, J.: Dynamic data flow analysis for Java programs. Information & Software Technology 42(11) (2000) 765--775