Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
research-article

State model extraction of a software component by observing its behavior

Published: 31 January 2009 Publication History

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.

References

[1]
Paolo Tonella and Alessandra Potrich, "Reverse Engineering of Object-Oriented Code", Springer-Verlag, Berlin, Germany, 2005.
[2]
Robert V. Binder, "Testing Object-oriented Systems: Models, Patterns, and Tools", Addison-Wesley Longman Publishing Co, Inc, Boston, MA, 1999.
[3]
T. Systa and K. Koskimies, "Extracting state diagrams from legacy systems", In Proc. of Workshop on Object-Oriented Technology, Lecture Notes in Computer Sc, Vol. 1357, pages 272-273, Springer-Verlag, London, 1997.
[4]
D. Harel, "Statecharts: A visual formalism for complex systems", Science of Computer Programming, Vol. 8(3), pages 231-274, 1987.
[5]
Y. Yu, Y. Wang, J. Mylopoulos, S. Liaskos, A. Lapouchnian and J. C. S. P. Leite, "Reverse Engineering Goal Models from Legacy Code", In Proc. of the 13th IEEE International Conference on Requirements Engineering (RE'05), Pages 363-372, IEEE Computer Society, 2005.
[6]
Atul Gupta, "Unit Testing of Object Oriented Programs", PhD. Thesis 2007, Pages 127-149, CSE Dept, IIT Kanpur, India.
[7]
D. Kung, N. Suchak, P. Hsia, Y. Toyoshima, and C. Chen, "On Object State Testing, "In Proc. of IEEE COMPSAC'94, Pages 222-227, IEEE Computer Society Press, 1994.
[8]
L. Clarke, "A system to generate test data and symbolically execute programs", IEEE Transaction on Software Engineering, Vol. 2(3), Pages 215-222, 1976.
[9]
Ferdinand Wagner, Ruedi Schmuki, Thomas Wagner and Peter Wolstenholme, "Modeling Software with Finite State Machines: A Practical Approach", CRC Press, 2006.
[10]
Mike Holcombe and Florentin Ipate, "Correct Systems - Building Business Process Solutions", A volume in the Applied Computing Series, Springer-Verlag. 1998.
[11]
Cosmin E. Oancea and Stephen M. Watt, "Parametric Polymorphism for Software Component Architectures", Proceedings of the 20th annual ACM SIGPLAN conference on object oriented programming, systems, languages, and applications, Pages 147-166, 2005.

Cited By

View all
  • (2015)Achieving Effective Test Suites for Reactive Systems using Specification Mining and Test Suite Reduction TechniquesACM SIGSOFT Software Engineering Notes10.1145/2693208.269322640:1(1-8)Online publication date: 6-Feb-2015

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes  Volume 34, Issue 1
January 2009
119 pages
ISSN:0163-5948
DOI:10.1145/1457516
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 31 January 2009
Published in SIGSOFT Volume 34, Issue 1

Check for updates

Author Tags

  1. FSM
  2. reverse engineering
  3. software component
  4. state model

Qualifiers

  • Research-article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 09 Nov 2024

Other Metrics

Citations

Cited By

View all
  • (2015)Achieving Effective Test Suites for Reactive Systems using Specification Mining and Test Suite Reduction TechniquesACM SIGSOFT Software Engineering Notes10.1145/2693208.269322640:1(1-8)Online publication date: 6-Feb-2015

View Options

Get Access

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media