Constructing an automated testing oracle: an effort to produce reliable software

Author

Luqi ; Hongji Yang ; Yang, Hongji

Author_Institution

Dept. of Comput. Sci., Naval Postgraduate Sch., Monterey, CA, USA

fYear

1994

fDate

9-11 Nov 1994

Firstpage

228

Lastpage

233

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 part 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

Keywords

automata theory; automatic test software; formal specification; program testing; software reliability; Z specification language; automated testing oracle; contextual part; input data meaning description; legal inputs; reliable software; semantics part; software engineering; software reliability; software specifications; software testing; Automatic testing; Certification; Computer errors; Computer science; Humans; Programming; Software engineering; Software reliability; Software testing; System testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 1994. COMPSAC 94. Proceedings., Eighteenth Annual International

Conference_Location

Taipei

Print_ISBN

0-8186-6705-2

Type

conf

DOI

10.1109/CMPSAC.1994.342800

Filename

342800