Sciweavers

SOFSEM
2007
Springer

Automatic Testing of Object-Oriented Software

14 years 4 months ago
Automatic Testing of Object-Oriented Software
Effective testing involves preparing test oracles and test cases, two activities which are too tedious to be effectively performed by humans, yet for the most part remain manual. The AutoTest unit testing framework automates both, by using Eiffel contracts — already present in the software — as test oracles, and generating objects and routine arguments to exercise all given classes; manual tests can also be added, and all failed test cases are automatically retained for regression testing, in a “minimized” form retaining only the relevant instructions. AutoTest has already detected numerous hitherto unknown bugs in production software.
Bertrand Meyer, Ilinca Ciupa, Andreas Leitner, Lis
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where SOFSEM
Authors Bertrand Meyer, Ilinca Ciupa, Andreas Leitner, Lisa Ling Liu
Comments (0)