Requirements by Contracts allow Automated System Testing
ISSRE '03: Proceedings of the 14th International Symposium on Software Reliability Engineering, page 85. Washington, DC, USA, IEEE Computer Society, (2003)Abstract
Use-cases and scenarios have been identified as good inputsto generate test cases and oracles at requirement level.Yet to have an automated generation, information is missingfrom use cases and sequence diagrams, such as the exactinputs of the system, and the ordering constraints betweenthe use case. The contribution of this paper is then two-fold.First we propose a contract language for functionalrequirements expressed as parameterized use cases. Thenwe provide a method, a formal model and a prototype toolto automatically derive both functional and robustness testcases from the requirements enhanced with contracts. Westudy the efficiency of the generated test cases on a casestudy.
Description
Requirements by Contracts allow Automated System Testing
