Test wizard: automatic test generation based on design by contract
Nicole Greber · Repository for Publications and Research Data (ETH Zurich) · 2004
Using Design by Contract™ provides a low-cost solution to unit-testing, which is usually unaffordable — and not carried out — in the industry. 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. We present a complete specification of a Test Wizard for contract-equipped classes, after giving a glimpse of our testing approach based on probabilistic game theory.