Title :
Programs That Test Themselves
Author :
Meyer, Bertrand ; Fiva, Arno ; Ciupa, Ilinca ; Leitner, Andreas ; Wei, Yi ; Stapf, Emmanuel
Author_Institution :
Eiffel Software, ETH Zurich, Zurich, Switzerland
Abstract :
The AutoTest framework automates the software testing process by relying on programs that contain the instruments of their own verification, in the form of contract-oriented specifications of classes and their individual routines.
Keywords :
formal specification; program testing; program verification; AutoTest framework; contract-oriented specification; program verification; software testing; Instruments; Software testing; Automated software testing; Design and test; Object-oriented programming; Software engineering;
DOI :
10.1109/MC.2009.296
