Conformance Testing based on UML State Machines: Automated Test Case Generation, Execution and Evaluation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2008

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

Dirk Seifert
  • Function : Author
  • PersonId : 848081

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.
Fichier principal
Vignette du fichier
seifert-inria-04.pdf (163.94 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00274399 , version 1 (18-04-2008)

Identifiers

  • HAL Id : inria-00274399 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More