Requirements by contracts allow automated system testing

Abstract : Use-cases and scenarios have been identified as good in-puts to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing from use cases and sequence diagrams, such as the exact inputs of the system, and the ordering constraints between the use case. The contribution of this paper is then two- fold. First we propose a contract language for functional requirements expressed as parameterized use cases. Then we provide a method, a formal model and a prototype tool to automatically derive both functional and robustness test cases from the requirements enhanced with contracts. We study the efficiency of the generated test cases on a case study.
Type de document :
Communication dans un congrès
Proc. of the 14th. IEEE International Symposium on Software Reliability Engineering (ISSRE'03), 2003, RENNES, France. 2003
Liste complète des métadonnées

https://hal.inria.fr/hal-00794812
Contributeur : Jean-Marc Jézéquel <>
Soumis le : mardi 26 février 2013 - 15:26:30
Dernière modification le : vendredi 20 juillet 2018 - 19:56:01

Identifiants

  • HAL Id : hal-00794812, version 1

Citation

Clémentine Nebut, Franck Fleurey, Yves Le Traon, Jean-Marc Jézéquel. Requirements by contracts allow automated system testing. Proc. of the 14th. IEEE International Symposium on Software Reliability Engineering (ISSRE'03), 2003, RENNES, France. 2003. 〈hal-00794812〉

Partager

Métriques

Consultations de la notice

375