The Automatic Efficient Test Generator (AETG) system
- 17 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
Software testing is expensive, tedious and time con- suming. Thus, the problem of making testing more ef- cient and mechanical, without losing its eectiveness, is very important. The Automatic Ecient Test Gen- erator (AETG) is a new tool that mechanically gener- ates ecient test sets from user dened test require- ments. It is based on algorithms that use ideas from statistical experimental design theory to minimize the number of tests needed for a specic level of test cover- age of the input test space. The savings due to AETG are substantial when compared to exhaustive testing or other methods of testing. AETG has been used in Bellcore for screen testing, interoperability testing and for protocol conformance testing. This paper describes the current system and it constructs and reports some preliminary results obtained during initial trials.Keywords
This publication has 7 references indexed in Scilit:
- Improved quality of protocol testing through techniques of experimental designPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Robust Testing of AT&T PMX/StarMAIL Using OATSAT&T Technical Journal, 1992
- Protocol validation — principles and applicationsComputer Networks and ISDN Systems, 1992
- An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman toursIEEE Transactions on Communications, 1991
- Testing finite state machinesPublished by Association for Computing Machinery (ACM) ,1991
- Formal methods for protocol testing: a detailed studyIEEE Transactions on Software Engineering, 1989
- Orthogonal Latin squares: an application of experiment design to compiler testingCommunications of the ACM, 1985