The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.09 - September (2009 vol.42)
pp: 46-55
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
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.
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, September 2009, doi:10.1109/MC.2009.296
REFERENCES
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.
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool