Constructing an Automated Testing Oracle: An Effort to Produce Reliable Software
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.
Description
Proc. of COMPSAC 94, Taipei, Taiwan, pp. 228-233.
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.Collections
Related items
Showing items related by title, author, creator and subject.
-
Fault isolator tool for software fault tree analysis
Mason, Russell William (Monterey, California. Naval Postgraduate School, 1995-03);Software Fault Tree Analysis (SETA) is a technique used to analyze software for faults that could lead to hazardous conditions in systems which contain software components. A necessary element of a SETA process is the ... -
Valdis Berzins, Professor: a biography
Berzins, Valdis (Monterey, California. Naval Postgraduate School, 2013);Professor Berzins is working on increasing productivity and software quality via automated decision support. He has focused on decision aids for developing and assessing software requirements for large, distributed, and ... -
Software fault tree analysis of an automated control system device written in Ada
Winter, Mathias William. (Monterey, California. Naval Postgraduate School, 1995-09);Software Fault Tree Analysis (SFTA) is a technique used to analyze software for faults that could lead to hazardous conditions in systems which contain software components. Previous thesis works have developed three ...