Librería Samer Atenea
Kálamo Books
Librería Elías (Asturias)
Librería Kolima (Madrid)
Librería Proteo (Málaga)
The project is based on the benefits of Design by Contract on testing. If contracts- preconditions, postconditions, class invariants - are systematically associatedwith classes, they provide an invaluable source of information forproducing systematic tests, directly based on the software’s expressly intendedsemantics. The goal of this project is to develop a tool called 'Test Wizard',which generates test cases automatically from contract-equipped classes. TheTest Wizard will serve as a workbench to try out different testing strategies.