Test Case Generation from UML State Machines - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2008

Test Case Generation from UML State Machines

Dirk Seifert
  • Function : Author
  • PersonId : 848081


In this paper we describe a comprehensive approach for conformance testing of embedded reactive systems. Based on a formal specification, namely UML state machines, we automatically generate test cases and use them to check the functional conformance of a system under test. Our test cases include not only stimuli to trigger the system under test, they also include possible correct observations to automatically evaluate the test case execution. In contrast to classical Harel Statecharts, state machines behave asynchronously, which makes automatic test case generation a challenge. The TEAGER Tool Suite implements the automatic generation, execution and evaluation of test cases and proves the applicability of our test approach.
Fichier principal
Vignette du fichier
seifert-inria-01.pdf (167.06 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00268864 , version 1 (01-04-2008)
inria-00268864 , version 2 (23-04-2008)


  • HAL Id : inria-00268864 , version 2


Dirk Seifert. Test Case Generation from UML State Machines. [Research Report] 2008. ⟨inria-00268864v2⟩
79 View
1292 Download


Gmail Facebook Twitter LinkedIn More