Constructing an Automated Testing Oracle: An Effort to Produce Reliable Software
MetadataShow full item record
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.
Proc. of COMPSAC 94, Taipei, Taiwan, pp. 228-233.
Showing items related by title, author, creator and subject.
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 ...
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 ...
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 ...