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.
Type de document :
Rapport
[Research Report] 2008
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00268864
Contributeur : Jeanine Souquières <>
Soumis le : mercredi 23 avril 2008 - 08:55:53
Dernière modification le : jeudi 11 janvier 2018 - 06:20:08
Document(s) archivé(s) le : mardi 21 septembre 2010 - 16:24:22

Fichier

seifert-inria-01.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00268864, version 2

Collections

Citation

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

Partager

Métriques

Consultations de la notice

109

Téléchargements de fichiers

644