This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Programs That Test Themselves
September 2009 (vol. 42 no. 9)
pp. 46-55
ASCII Text
x 
 
Bertrand Meyer, Arno Fiva, Ilinca Ciupa, Andreas Leitner, Yi Wei, Emmanuel Stapf, "Programs That Test Themselves," Computer, vol. 42, no. 9, pp. 46-55, September, 2009.
 
 
BibTex
x
 
@article{ 10.1109/MC.2009.296,
author = {Bertrand Meyer and Arno Fiva and Ilinca Ciupa and Andreas Leitner and Yi Wei and Emmanuel Stapf},
title = {Programs That Test Themselves},
journal ={Computer},
volume = {42},
number = {9},
issn = {0018-9162},
year = {2009},
pages = {46-55},
doi = {http://doi.ieeecomputersociety.org/10.1109/MC.2009.296},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - Computer
TI - Programs That Test Themselves
IS - 9
SN - 0018-9162
SP46
EP55
EPD - 46-55
A1 - Bertrand Meyer,
A1 - Arno Fiva,
A1 - Ilinca Ciupa,
A1 - Andreas Leitner,
A1 - Yi Wei,
A1 - Emmanuel Stapf,
PY - 2009
KW - Software engineering
KW - Design and test
KW - Automated software testing
KW - Object-oriented programming
VL - 42
JA - Computer
ER -
 
Bertrand Meyer, ETH Zurich and Eiffel Software
Arno Fiva, ETH Zurich
Ilinca Ciupa, ETH Zurich
Andreas Leitner, ETH Zurich
Yi Wei, ETH Zurich
Emmanuel Stapf, Eiffel Software
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.

1. B. Meyer, "Seven Principles of Software Testing," Computer, Aug. 2008, pp. 99-101.
2. IEEE Std. 610.12-1990, IEEE Standard Glossary of Software Eng. Terminology, IEEE, 1990.
3. B. Meyer, Object-Oriented Software Construction, 2nd ed., Prentice Hall, 1997.
4. P. Chalin, "Are Practitioners Writing Contracts?," Rigorous Eng. Fault-Tolerant Systems, LNCS 4157, Springer, 2006, pp. 100-113.
5. T.Y. Chen, H. Leung, and I. Mak, "Adaptive Random Testing," Proc. 9th Asian Computing Science Conf. (Asian 04), LNCS 3321, Springer, 2004, pp. 320-329.
6. I. Ciupa et al., "ARTOO: Adaptive Random Testing for Object-Oriented Software," Proc. 30th Ann. Conf. Software Eng. (ICSE 08), ACM Press, 2008, pp. 71-80.
7. I. Ciupa et al., "On the Predictability of Random Tests for Object-Oriented Software," Proc. 2008 Int'l Conf. Software Testing, Verification, and Validation (ICST 08), IEEE CS Press, 2008, pp. 72-81.
8. I. Ciupa et al., "Experimental Assessment of Random Testing for Object-Oriented Software," Proc. 2007 Int'l Symp. Software Testing and Analysis (ISSTA 07), ACM Press, 2007, pp. 84-94.
9. B. Meyer, Reusable Software: The Base Object-Oriented Component Libraries, Prentice Hall, 1994.
10. A. Leitner, "Contract Driven Development = Test Driven Development - Writing Test Cases," Proc. 6th Joint Meeting of the European Software Eng. Conf. and the ACM SIGSOFT Symp. the Foundations of Software (ESEC-FSE 07), ACM Press, 2007, pp. 425-434.
11. L. Liu, B. Meyer, and B. Schoeller, "Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation," Tests and Proofs, LNCS 4454, Springer, 2007, pp. 114-130.
12. A. Leitner et al., "Efficient Unit Test Case Minimization," Proc. 22nd IEEE/ACM Int'l Conf. Automated Software Eng. (ASE 07), ACM Press, 2007, pp. 417-420.
13. I. Ciupa et al., "Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports," Proc. 19th Int'l Symp. Software Reliability Eng. (ISSRE 08), IEEE Press, 2008, pp. 157-166.

Index Terms:
Software engineering, Design and test, Automated software testing, Object-oriented programming
Citation:
Bertrand Meyer, Arno Fiva, Ilinca Ciupa, Andreas Leitner, Yi Wei, Emmanuel Stapf, "Programs That Test Themselves," Computer, vol. 42, no. 9, pp. 46-55, Sept. 2009, doi:10.1109/MC.2009.296
Usage of this product signifies your acceptance of the Terms of Use.