The Community for Technology Leaders
Formal Engineering Methods, International Conference on (1998)
Brisbane, Australia
Dec. 9, 1998 to Dec. 11, 1998
ISBN: 0-8186-9198-0
pp: 165
ABSTRACT
A test oracle provides a means for determining whether an implementation functions according to its specification. A passive test oracle checks the behaviour of the implementation, but does not attempt to reproduce this behaviour. This paper describes the translation of formal specifications of container classes to passive test oracles. Specifically, we use Object-Z for specifications and C++ for oracles. We discuss several practical issues for the use of formal specifications in test oracle generation. We then present the translation process and illustrate it with an example based on an integer set class. %We then present the translation process and evaluate how the derived %oracles satisfy our goals of adequacy for testing, portability between %different testing methods, and potential for automated generation. Our approach is illustrated with an example based on an integer set class.
INDEX TERMS
CITATION

J. McDonald and P. Strooper, "Translating Object-Z Specifications to Passive Test Oracles," Formal Engineering Methods, International Conference on(ICFEM), Brisbane, Australia, 1998, pp. 165.
doi:10.1109/ICFEM.1998.730580
89 ms
(Ver 3.3 (11022016))