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