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.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
| Format | Autre |
|---|---|
| Licence |