The project is based on the benefits of Design by Contract on
testing. If contracts - preconditions, postconditions, class
invariants - are systematically associated with classes, they
provide an invaluable source of information for producing
systematic tests, directly based on the software's expressly
intended semantics. The goal of this project is to develop a tool
called "Test Wizard," which generates test cases automatically from
contract-equipped classes. The Test Wizard will serve as a
workbench to try out different testing strategies.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!