Abstract|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 e ective 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, {in situ} testing, constructing self-checking software and ensuring consistency between code and documentation.
Peters and Parnas proposed a tool that generates a test oracle from formal program documentation written in tabular expressions REF .
Using Test Oracles Generated from Program Documentation
IEEE Trans. Software Eng.
Computer Science