The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - March (1998 vol.24)
pp: 161-173
ABSTRACT
<p><b>Abstract</b>—This paper illustrates how software can be described precisely using LD-relations, how these descriptions can be presented in a readable manner using tabular notations, and one way such descriptions can be used to test programs. We describe an algorithm that can be used to generate a test oracle from program documentation, and present the results of using a tool based on it to help test part of a commercial network management application. The results demonstrate that these methods can be effective at detecting errors and greatly increase the speed and accuracy of test evaluation when compared with manual evaluation. Such oracles can be used for unit testing, <it>in situ</it> testing, constructing self-checking software, and ensuring consistency between code and documentation.</p>
INDEX TERMS
Program testing, test oracle, formal specification, finite state machine.
CITATION
Dennis K. Peters, David Lorge Parnas, "Using Test Oracles Generated from Program Documentation", IEEE Transactions on Software Engineering, vol.24, no. 3, pp. 161-173, March 1998, doi:10.1109/32.667877
16 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool