HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

Test Case Generation from UML State Machines

Dirk Seifert 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Document type :
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download

Contributor : Jeanine Souquières Connect in order to contact the contributor
Submitted on : Wednesday, April 23, 2008 - 8:55:53 AM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM
Long-term archiving on: : Tuesday, September 21, 2010 - 4:24:22 PM


Files produced by the author(s)


  • HAL Id : inria-00268864, version 2



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



Record views


Files downloads