Sciweavers

Share
ISSRE
2003
IEEE

Requirements by Contracts allow Automated System Testing

10 years 5 months ago
Requirements by Contracts allow Automated System Testing
Use-cases and scenarios have been identified as good inputs 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 twofold. 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.
Clémentine Nebut, Franck Fleurey, Yves Le T
Added 04 Jul 2010
Updated 04 Jul 2010
Type Conference
Year 2003
Where ISSRE
Authors Clémentine Nebut, Franck Fleurey, Yves Le Traon, Jean-Marc Jézéquel
Comments (0)
books