Static and dynamic analysis of call chains in java
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Object naming analysis for reverse-engineered sequence diagrams
Proceedings of the 27th international conference on Software engineering
Static control-flow analysis for reverse engineering of UML sequence diagrams
PASTE '05 Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Recovering UML class models from C++: A detailed explanation
Information and Software Technology
Toward the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software
IEEE Transactions on Software Engineering
Journal of Systems and Software
Program slicing under UML scenario models
ACM SIGPLAN Notices
Software Engineering
nAIT: A source analysis and instrumentation framework for nesC
Journal of Systems and Software
Fast and precise points-to analysis
Information and Software Technology
Recovering business processes from business applications
Journal of Software Maintenance and Evolution: Research and Practice
A modeling method by eliminating execution traces for performance evaluation
Proceedings of the Conference on Design, Automation and Test in Europe
Parallel points-to analysis for multi-core machines
Proceedings of the 6th International Conference on High Performance and Embedded Architectures and Compilers
Coverage criteria for testing of object interactions in sequence diagrams
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Hi-index | 0.00 |
In object oriented programming, the functionalities ofa system result from the interactions (message exchanges)among the objects allocated by the system. While designingobject interactions is far more complex than designingthe object structure in forward engineering, the problemof understanding object interactions during code evolutionis even harder, because the related information is spreadacross the code.In this paper, a technique for the automatic extractionof UML interaction diagrams from C++ code is proposed.The algorithm is based on a static, conservative flow analysis,that approximates the behavior of the system in anyexecution and for any possible input. Applicability of theapproach to large software is achieved by means of twomechanisms: partial analysis and focusing. Usage of ourmethod on a real world, large C++ system confirmed itsviability.