Programs That Test Themselves

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.

Saved in:
Bibliographic Details
Published inComputer (Long Beach, Calif.) Vol. 42; no. 9; pp. 46 - 55
Main Authors Meyer, B., Fiva, A., Ciupa, I., Leitner, A., Yi Wei, Stapf, E.
Format Journal Article
LanguageEnglish
Published New York, NY IEEE 01.09.2009
IEEE Computer Society
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects
Applied sciences
Automated software testing
Automation
Computer programs
Computer science; control theory; systems
Computer systems and distributed systems. User interface
Design and test
Exact sciences and technology
Instruments
Object oriented programming
Program verification (computers)
Routines
Software
Software engineering
Software testing
Specifications
Program proof
Program test
Contract specifications
Program verification
Online AccessGet full text
ISSN0018-9162
1558-0814
DOI10.1109/MC.2009.296

Cover

More Information
Summary: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.
Bibliography:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ObjectType-Article-2
content type line 23
ISSN:0018-9162
1558-0814
DOI:10.1109/MC.2009.296