Article Dans Une Revue TESTCOM/FATES'07: TESTing of COMmunicating Systems/Formal Approaches to TESting Année : 2007

A Compositional Testing Framework Driven by Partial Specifications

Résumé

We present a testing framework using a compositional approach to generate and execute test cases. Test cases are generated and combined with respect to a partial specification expressed as a set of requirements and elementary test cases. These approach and framework are supported by a prototype tool presented here. The framework is presented here in its LTL-like application, besides other specification formalisms can be added.

Fichier principal
Vignette du fichier
fates07FFMR.pdf (493.26 Ko) Télécharger le fichier
main.pdf (235.33 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Format Autre
Licence

Dates et versions

hal-00346059 , version 1 (11-12-2008)

Licence

Identifiants

  • HAL Id : hal-00346059 , version 1

Citer

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier. A Compositional Testing Framework Driven by Partial Specifications. TESTCOM/FATES'07: TESTing of COMmunicating Systems/Formal Approaches to TESting, 2007, pp.107-122. ⟨hal-00346059⟩
292 Consultations
692 Téléchargements

Partager

  • More