Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Herzlich Willkommen!
Revision with unchanged content. 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.
Autor: Greber, Nicole
ISBN: 9783639409697
Sprache: Englisch
Produktart: Kartoniert / Broschiert
Verlag: AV Akademikerverlag
Veröffentlicht: 14.05.2012
Untertitel: Automatic test generation based on Design by Contract
Master of Science ETH in Computer Science: studies of computer science at EPFL, University of Strathclyde (ERASMUS exchange) and ETHZ. Consultant/SIM Project Engineer for Axalto S.p.A, Rome, Italy. Consultant at Accenture AG, Zurich, Switzerland.