Static control-flow analysis for reverse engineering of UML sequence diagrams

ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

Volumn , Issue , 2005, Pages 96-102

  Rountev, Atanas ^a   Volgin, Olga ^b   Reddoch, Miriam ^c  

^a OHIO STATE UNIVERSITY   (United States)

^b UNIVERSITY OF MICHIGAN   (United States)

^c HEWLETT PACKARD COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL-FLOW ANALYSIS; CONTROL-FLOW GRAPHS; FLOW OF CONTROL; PROBLEM SOLUTIONS; REVERSE ENGINEERING TOOLS; SEQUENCE DIAGRAMS; UML EXTENSION; UML SEQUENCE DIAGRAMS;

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; EMBEDDED SYSTEMS; REVERSE ENGINEERING; SOFTWARE DESIGN; TOOLS;

STATIC ANALYSIS;

EID: 84885193389     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1108792.1108816     Document Type: Conference Paper

References (19)

1. R. Binder. Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley, 1999.
2. L. Briand, Y. Labiche, and Y. Miao. Towards the reverse engineering of UML sequence diagrams. In Working Conference on Reverse Engineering, pages 57-66, 2003.
3. R. Cytron, J. Ferrante, B. Rosen, M. Wegman, and K. Zadeck. Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, 13(4):451-490, Oct. 1991.
4. W. DePauw, E. Jensen, N. Mitchell, G. Sevitsky, J. Vlissides, and J. Yang. Visualizing the execution of Java programs. In Software Visualization, LNCS 2269, pages 151-162, 2002.
5. R. Kollman and M. Gogolla. Capturing dynamic program behavior with UML collaboration diagrams. In European Conference on Software Maintenance and Reengineering, pages 58-67, 2001.
6. C. Larman. Applying UML and Patterns. Prentice Hall, 2nd edition, 2002.
7. J. Miecznikowski and L. Hendren. Decompiling Java using staged encapsulation. In Working Conference on Reverse Engineering, pages 368-374, 2001.
8. R. Oechsle and T. Schmitt. JAVAVIS: Automatic program visualization with object and sequence diagrams using the Java Debug Interface (JDI). In Software Visualization, LNCS 2269, pages 176-190, 2002.
9. OMG. UML 2.0 Infrastructure Specification. Object Management Group, www.omg.org, Sept. 2003.
10. T. Richner and S. Ducasse. Using dynamic information for the iterative recovery of collaborations and roles. In International Conference on Software Maintenance, pages 34-43, 2002.
11. A. Rountev and B. H. Connell. Object naming analysis for reverse-engineered sequence diagrams. In International Conference on Software Engineering, pages 254-263, 2005.
12. A. Rountev, S. Kagan, and M. Gibas. Static and dynamic analysis of call chains in Java. In International Symposium on Software Testing and Analysis, pages 1-11, July 2004.
13. A. Rountev, S. Kagan, and J. Sawin. Coverage criteria for testing of object interactions in sequence diagrams. In Fundamental Approaches to Software Engineering, LNCS 3442, pages 282-297, 2005.
14. A. Rountev, O. Volgin, and M. Reddoch. Control ?ow analysis for reverse engineering of sequence diagrams. Technical Report OSU-CISRC-3/04-TR12, Ohio State University, Mar. 2004.
15. R. Sharp and A. Rountev. Interactive exploration of UML sequence diagrams. In IEEE Workshop on Visualizing Software for Understanding and Analysis, 2005.
16. S. Sinha and M. J. Harrold. Analysis and testing of programs with exception handling constructs. IEEE Transactions on Software Engineering, 26(9):849-871, Sept. 2000.
17. T. Systä, K. Koskimies, and H. Muller. Shimba - an environment for reverse engineering Java software systems. Software-Practice and Experience, 31(4):371-394, Apr. 2001. (Pubitemid 32365513)
18. P. Tonella and A. Potrich. Reverse engineering of the interaction diagrams from C++ code. In International Conference on Software Maintenance, pages 159-168, 2003.
19. O. Volgin. Control flow analysis for reverse engineering of sequence diagrams. Master's thesis, Ohio State University, June 2004.