skip to main content
research-article

Synthesis of system state models

Authors Info & Claims
Published:01 November 2007Publication History
Skip Abstract Section

Abstract

Many modern systems are state-based. For such systems, a system state model is important not only for understanding the behavior of the system, but also for test case design, test coverage analysis, maintenance, etc. However, developers rarely construct the system state model for practical systems because it is usually too complex and cumbersome to construct. On the other hand, developers normally construct the state models of individual classes. We propose a novel method to automatically synthesize the state model of a system by analyzing the different sequences of scenarios and determining whether these lead to any state changes of the individual objects.

References

  1. Biermann A. W. and Krishnaswamy R., "Constructing Programs from Example Computations", IEEE Transactions of Software Engineering, vol. SE-2, pp 141--153, 1976. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. Binder R. V., "Testing Object-Oriented System Models, Patterns, and Tools", Addison-Wesley, NY, 1999. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Buhr R. J. A., "Use case maps as architectural entities for complex systems", IEEE Transactions of Software Engineering, vol. 24, pp 1131--1155, 1998. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Castejon H. N. "Synthesizing State-machine Behavior from UML Collaboration and Use Case Maps", Lecture Notes in Computer Science, Vol. 3530, Springer, June 2005.Google ScholarGoogle Scholar
  5. Chidamber S. R. and Kemerer C. F., "A Metrics Suite for Object Oriented Design", IEEE Transactions on Software Engineering, v. 20, n. 6, pp. 476--493, June 1994. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Gupta A., "Automated Object's Statechart Generation and Testing from Class Method Contracts", 3rd Intl Workshop on Model Development, Validation, and Verification (MoDeV2a 2006), Genova, Italy, October 2006.Google ScholarGoogle Scholar
  7. Khriss I., Elkoutbi M., Keller R. K., "Automating the Synthesis of UML Statechart Diagrams from Multiple Collaboration Diagrams", In UML98: Beyond the notation, pp 132--147, Springer, 1999 Google ScholarGoogle Scholar
  8. Koskimies K., and Mäkinen E., "Automatic Synthesis of State Machines from Trace Diagrams", Software Practice and Experience, vol. 24, no. 7, pp 643--658, 1994. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. Koskimies K., Systä T., and T. Jyrki, "Automated Support for Modeling OO Software", IEEE Software, 15(1), pp 87--94, January 1998. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Sarma M., "System State Model Generation from UML 2.0 Design", Technical Report TR-04-07, Department of Computer Science and Engineering, Indian Institute Of Technology, Kharagpur, April 2007.Google ScholarGoogle Scholar
  11. Vasilache S., and Tanaka J., "Synthesis of State Machines from Multiple Interrelated Scenarios Using Dependency Diagrams," Journal of Systemics, Cybernetics and Informatics, Vol.3, No.3, 2006.Google ScholarGoogle Scholar
  12. Whittle J., Schumann J., "Generating Statechart Designs From Scenarios", Proceedings of International Conference on Software Engineering (ICSE 2000)", Limerick, Ireland. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. Ziadi T., Helouet L., Jezequel J. M. " Revisiting Statechart Synthesis with an Algebrain Approach", International Conference on Software Engineering (ICSE26)", Edinberg, Scotland, UK, May, 2004. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Synthesis of system state models

                  Recommendations

                  Comments

                  Login options

                  Check if you have access through your login credentials or your institution to get full access on this article.

                  Sign in

                  Full Access

                  PDF Format

                  View or Download as a PDF file.

                  PDF

                  eReader

                  View online with eReader.

                  eReader
                  About Cookies On This Site

                  We use cookies to ensure that we give you the best experience on our website.

                  Learn more

                  Got it!