Test Case Generation for UML Statecharts

  • Dirk Seifert
  • Steffen Helke
  • Thomas Santen
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2890)


We describe an approach to automatically generate test cases from object-oriented statecharts as they are used in the UML and supported by development tools such as I-Logics Rhapsody.

This work contributes in three respects to using statecharts for specifying and verifying systems. First, it concretizes previously proposed semantics of statecharts by instantiating the abstract data type for the event management and analyzes the resulting specific properties. Second, building on a previously defined conformance relation it discusses two interpretations of stuttering. Third, it introduces a compact data structure for representing the statechart semantics that allows for efficient generation of test cases and easily supports both interpretations of stuttering.


Incoming Event Label Transition System Semantic Interpretation Test Case Generation Compact Status 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Eshuis, R., Wieringa, R.: Requirements level semantics for UML statecharts. In: Proc. Formal Methods for Open Object-Based Distributed Systems, IV, Kluwer Academic Publishers, Dordrecht (2000)Google Scholar
  2. 2.
    Harel, D., Gery, E.: Executable object modeling with statecharts. In: Proc. 18th International Conference on Software Engineering, pp. 246–257 (1996)Google Scholar
  3. 3.
    Harel, D., Naamad, A.: The STATEMATE semantics of statecharts. ACM Transactions on Software Engineering and Methodology, 293–333 (1996)Google Scholar
  4. 4.
    Latella, D., Majzik, I., Massink, M.: Towards a formal operational semantics of UML statechart diagrams. In: Proc. Formal Methods for Open Object-Based Distributed Systems, III. Kluwer Academic Publishers, Dordrecht (1999)Google Scholar
  5. 5.
    Latella, D., Massink, M.: On Testing and Conformance Relations for UML Statechart Diagrams Behaviours. In: Proc. International Symposium on Software Testing and Analysis. ACM, New York (2002)Google Scholar
  6. 6.
    OMG – Object Management Group. Unified Modeling Language Specification, Version 1.3 (March 2000),
  7. 7.
    Seifert, D., Helke, S., Santen, T.: Conformance testing for statecharts. Technical Report 2003/1, Technical University of Berlin (2003)Google Scholar
  8. 8.
    Tretmans, J.: Test generation with inputs, outputs, and repetitive quiescence. In: Proc. Workshop on Tools and Algorithms for the Construction and Analysis of Systems, pp. 127–146. Springer, Heidelberg (1996)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Dirk Seifert
    • 1
  • Steffen Helke
    • 1
  • Thomas Santen
    • 1
  1. 1.Institute for Software Engineering and Theoretical Computer Science, Software Engineering Research GroupTechnical University of BerlinBerlinGermany

Personalised recommendations