Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Fundamentals of software engineering
Fundamentals of software engineering
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Visualizing interactions in program executions
ICSE '97 Proceedings of the 19th international conference on Software engineering
UML toolkit
Visualizing dynamic software system information through high-level models
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Shimba—an environment for reverse engineering Java software systems
Software—Practice & Experience
Aspect-oriented programming: Introduction
Communications of the ACM
The Testability of Distributed Real-Time Systems
The Testability of Distributed Real-Time Systems
Object-Oriented Software Engineering; Conquering Complex and Changing Systems
Object-Oriented Software Engineering; Conquering Complex and Changing Systems
Mastering AspectJ: Aspect-Oriented Programming in Java
Mastering AspectJ: Aspect-Oriented Programming in Java
Using execution trace data to improve distribute systems
Software—Practice & Experience
Revised Lectures on Software Visualization, International Seminar
Visualizing the Execution of Java Programs
Revised Lectures on Software Visualization, International Seminar
Capturing Dynamic Program Behavior with UML Collaboration Diagrams
CSMR '01 Proceedings of the Fifth European Conference on Software Maintenance and Reengineering
Visualizing Interactions in Distributed Java Applications
IWPC '03 Proceedings of the 11th IEEE International Workshop on Program Comprehension
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
UML Bible
Using Dynamic Information for the Iterative Recovery of Collaborations and Roles
ICSM '02 Proceedings of the International Conference on Software Maintenance (ICSM'02)
A Study on the Current State of the Art in Tool-Supported UML-Based Static Reverse Engineering
WCRE '02 Proceedings of the Ninth Working Conference on Reverse Engineering (WCRE'02)
Reverse Engineering of the Interaction Diagrams from C++ Code
ICSM '03 Proceedings of the International Conference on Software Maintenance
Towards the Reverse Engineering of UML Sequence Diagrams
WCRE '03 Proceedings of the 10th Working Conference on Reverse Engineering
Toward an environment for comprehending distributed systems
WCRE '03 Proceedings of the 10th Working Conference on Reverse Engineering
A Suite of Tools for Debugging Distributed Autonomous Systems
Formal Methods in System Design
Remote pointcut: a language construct for distributed AOP
Proceedings of the 3rd international conference on Aspect-oriented software development
Measuring the dynamic behaviour of AspectJ programs
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Object naming analysis for reverse-engineered sequence diagrams
Proceedings of the 27th international conference on Software engineering
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
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
New Frontiers of Reverse Engineering
FOSE '07 2007 Future of Software Engineering
Mining modal scenario-based specifications from execution traces of reactive systems
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Comparing design and code metrics for software quality prediction
Proceedings of the 4th international workshop on Predictor models in software engineering
Feature-level phase detection for execution trace using object cache
WODA '08 Proceedings of the 2008 international workshop on dynamic analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008)
Testing mobile computing applications: toward a scenario language and tools
WODA '08 Proceedings of the 2008 international workshop on dynamic analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008)
Mining past-time temporal rules from execution traces
WODA '08 Proceedings of the 2008 international workshop on dynamic analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008)
Execution trace analysis through massive sequence and circular bundle views
Journal of Systems and Software
Specification mining of symbolic scenario-based models
Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Visualizing the runtime behavior of embedded network systems: A toolkit for TinyOS
Science of Computer Programming
Automatic steering of behavioral model inference
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Architecture compliance checking at run-time
Information and Software Technology
Recovering business processes from business applications
Journal of Software Maintenance and Evolution: Research and Practice
Automated extraction of palladio component models from running enterprise Java applications
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
Kieker: continuous monitoring and on demand visualization of Java software behavior
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Towards behavioral reflexion models
ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
A modeling method by eliminating execution traces for performance evaluation
Proceedings of the Conference on Design, Automation and Test in Europe
Identification of behavioural and creational design motifs through dynamic analysis
Journal of Software Maintenance and Evolution: Research and Practice
Mining message sequence graphs
Proceedings of the 33rd International Conference on Software Engineering
Mining parametric specifications
Proceedings of the 33rd International Conference on Software Engineering
Specification mining in concurrent and distributed systems
Proceedings of the 33rd International Conference on Software Engineering
Specification mining in concurrent and distributed systems
Proceedings of the 33rd International Conference on Software Engineering
Model-based self-adaptive resource allocation in virtualized environments
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Using vector clocks to monitor dependencies among services at runtime
Proceedings of the International Workshop on Quality Assurance for Service-Based Applications
Automated extraction of architecture-level performance models of distributed component-based systems
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Inferring class level specifications for distributed systems
Proceedings of the 34th International Conference on Software Engineering
Detecting source code changes to maintain the consistence of behavioral model
Proceedings of the Fourth Asia-Pacific Symposium on Internetware
Hi-index | 0.00 |
This paper proposes a methodology and instrumentation infrastructure toward the reverse engineering of UML (Unified Modeling Language) sequence diagrams from dynamic analysis. One motivation is, of course, to help people understand the behavior of systems with no (complete) documentation. However, such reverse-engineered dynamic models can also be used for quality assurance purposes. They can, for example, be compared with design sequence diagrams and the conformance of the implementation to the design can thus be verified. Furthermore, discrepancies can also suggest failures in meeting the specifications. Due to size constraints, this paper focuses on the distribution aspects of the methodology we propose. We formally define our approach using metamodels and consistency rules. The instrumentation is based on Aspect-Oriented Programming in order to alleviate the effort overhead usually associated with source code instrumentation. A case study is discussed to demonstrate the applicability of the approach on a concrete example.