A Compositional Testing Framework Driven by Partial Specifications - Archive ouverte HAL Accéder directement au contenu
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)
Format Autre

Dates et versions

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

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⟩
179 Consultations
492 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More