DocumentCode
1014031
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
Volume
41
Issue
2
fYear
1992
fDate
6/1/1992 12:00:00 AM
Firstpage
272
Lastpage
280
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;
fLanguage
English
Journal_Title
Reliability, IEEE Transactions on
Publisher
ieee
ISSN
0018-9529
Type
jour
DOI
10.1109/24.257793
Filename
257793
Link To Document