Constructing an Automated Testing Oracle: An Effort to Produce Reliable Software
Loading...
Authors
Luqi
Yang, Hongji
Zhang, Xiaodong
Subjects
Advisors
Date of Issue
1994
Date
Publisher
Language
Abstract
Achieving reliability in practice is becoming
a dominant issue in software engineering.
This paper describes part of a systematic approach to producing reliable software that is
based on automated support for software testing.
Our approach constructs an automated
testing oracle based on software specifications
written in the Z specification language. The
contextual part of the specification describes
the set of legal inputs to the program and the
semantics pa.rt describes the meaning of the
given input data. The potential roles of this
approach in improving software reliability are
discussed and some future opportunities are
indicated.
Type
Description
Proc. of COMPSAC 94, Taipei, Taiwan, pp. 228-233.
Series/Report No
Department
Computer Science (CS)
Organization
Identifiers
NPS Report Number
Sponsors
Funder
Format
Citation
Constructing an Automated Testing Oracle: An Effort to Produce Reliable Software, with H. Yang, X. Zhang, Proc. of COMPSAC 94, Taipei, Taiwan, pp. 228-233.
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.