Requirements by Contracts allow Automated System Testing

Authors:
Clémentine Nebut;Franck Fleurey;Yves Le Traon;Jean-Marc Jézéquel
Affiliations:
-;-;-;-
Venue:
ISSRE '03 Proceedings of the 14th International Symposium on Software Reliability Engineering
Year:
2003

Citing 0
Cited 7

Automatic Test Generation: A Use Case Driven Approach

IEEE Transactions on Software Engineering
Traffic-aware stress testing of distributed systems based on UML models

Proceedings of the 28th international conference on Software engineering
Traffic-aware stress testing of distributed real-time systems based on UML models using genetic algorithms

Journal of Systems and Software
Automated instrumentation of contracts and scenarios for requirements validation in .net

Proceedings of the 3rd international workshop on Automation of software test
An overview on test generation from functional requirements

Journal of Systems and Software
A systematic review of software robustness

Information and Software Technology
Automated measurement of models of requirements

Software Quality Control

Quantified Score

Hi-index	0.00

Visualization

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.