Test Case Generation from UML State Machines - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2008

Test Case Generation from UML State Machines

Dirk Seifert
  • Fonction : Auteur
  • PersonId : 848081

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : inria-00268864 , version 2

Citer

Dirk Seifert. Test Case Generation from UML State Machines. [Research Report] 2008. ⟨inria-00268864v2⟩
80 Consultations
1383 Téléchargements

Partager

Gmail Facebook X LinkedIn More