Cover Image
QR Code

PROGRAMS THAT TEST THEMSELVES.

The article discusses the AutoTest framework in software design. The entry notes that AutoTest is composed of tools that automate the testing process by using programs that contain verification instruments including Test Generation, Test Extraction, and Integration of Manual Tests. The section cites...

Full description

Published in:Computer (00189162) Vol. 42; no. 9; pp. 46 - 56
Main Authors: Meyer, Bertrand, Fiva, Arno, Ciupa, Ilinca, Leitner, Andreas, Yi Wei, Stapf, Emmanuel
Format: Article
Published: IEEE Sep2009
Subjects:
Software architecture
Computer software testing
Automation
Computer system failures
Debugging
Online Access:View this record in EBSCOhost
Summary:The article discusses the AutoTest framework in software design. The entry notes that AutoTest is composed of tools that automate the testing process by using programs that contain verification instruments including Test Generation, Test Extraction, and Integration of Manual Tests. The section cites that the main focus of testing is to try to make a program fail and to be able to manage information about its failures. In relation to this, AutoTest innovates from traditional automation in the areas of test case generation, oracles and minimization.