State model extraction of a software component by observing its behavior

Authors:
Rajiv Ranjan Suman;Rajib Mall
Affiliations:
Indian Institute of Technology, Kharagpur, West Bengal, India;Indian Institute of Technology, Kharagpur, West Bengal, India
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
2009

Citing 7
Cited 0

Statecharts: A visual formalism for complex systems

Science of Computer Programming
Testing object-oriented systems: models, patterns, and tools

Testing object-oriented systems: models, patterns, and tools
Reverse Engineering of Object Oriented Code (Monographs in Computer Science)

Reverse Engineering of Object Oriented Code (Monographs in Computer Science)
Parametric polymorphism for software component architectures

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Reverse Engineering Goal Models from Legacy Code

RE '05 Proceedings of the 13th IEEE International Conference on Requirements Engineering
Modeling Software with Finite State Machines

Modeling Software with Finite State Machines
A System to Generate Test Data and Symbolically Execute Programs

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a novel black-box approach to reverse engineer the state model of a software component. We assume that in different states of a component, different subsets of its services are supported and state of a component may change due to invocation of its services. Therefore, we construct the state model of a component by tracking the changes (if any) to its supported services that occur after accessing its services. Case study carried out by us shows that our approach can generate the state model with sufficient accuracy and completeness for simple components.