Skip to Main content Skip to Navigation
Reports

Conformance Testing based on UML State Machines: Automated Test Case Generation, Execution and Evaluation

Dirk Seifert 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We describe a comprehensive approach for conformance testing of reactive systems. Based on a formal specification, namely UML state machines, we automatically generate test cases and use them to test the input-output conformance of a system under test. The test cases include not only the stimuli to trigger the system under test, they also include the test oracles to automatically evaluate the test execution. In contrast to Harel Statecharts, state machines behave asynchronously, which makes automatic test case generation a particular challenge. As a prerequisite we have completely formalized a substantial subset of UML state machines that includes complex structured data. The TEAGER tool suite implements our test approach and proves its applicability.
Document type :
Reports
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download

https://hal.inria.fr/inria-00274399
Contributor : Jeanine Souquières <>
Submitted on : Friday, April 18, 2008 - 11:47:09 AM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM
Long-term archiving on: : Friday, September 28, 2012 - 12:47:46 PM

File

seifert-inria-04.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00274399, version 1

Collections

Citation

Dirk Seifert. Conformance Testing based on UML State Machines: Automated Test Case Generation, Execution and Evaluation. [Research Report] 2008. ⟨inria-00274399⟩

Share

Metrics

Record views

119

Files downloads

161