Title :
An automated oracle for software testing
Author :
Brown, David B. ; Roggio, Robert F. ; Cross, James H., II ; McCreary, Carolyn L.
Author_Institution :
Dept. of Comput. Sci., Alabama Univ., Tuscaloosa, AL, USA
fDate :
6/1/1992 12:00:00 AM
Abstract :
The theory, the design, and an example implementation of an automated oracle are presented. A software testing environment that is a collection of recently developed state-of-the-art tools and techniques that constitute an automatic module verifier is discussed. Requirements are analyzed by using a formal specification language, called IORL, whose realizations are compilable
Keywords :
formal specification; program verification; software reliability; specification languages; IORL; automated oracle; automatic module verifier; formal specification language; software testing; Automatic testing; Books; Computer industry; Costs; Design engineering; Formal specifications; Logic testing; Software engineering; Software reliability; Software testing;
Journal_Title :
Reliability, IEEE Transactions on
