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

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

https://hal.inria.fr/inria-00274399
Contributeur : Jeanine Souquières <>
Soumis le : vendredi 18 avril 2008 - 11:47:09
Dernière modification le : mardi 24 avril 2018 - 13:35:00
Document(s) archivé(s) le : vendredi 28 septembre 2012 - 12:47:46

Fichier

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

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

91

Téléchargements de fichiers

109