IEEE - Institute of Electrical and Electronics Engineers, Inc. - Translating Object-Z specifications to object-oriented test oracles

Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference

Author(s): McDonald, J. ; Murray, L. ; Strooper, P.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1997
Conference Location: Hong Kong, Hong Kong
Conference Date: 5 December 1997
Page(s): 414 - 423
ISBN (Paper): 0-8186-8271-X
DOI: 10.1109/APSEC.1997.640198
Regular:

This paper describes the translation of Object-Z specifications of container classes to C++ test oracle classes. It presents a three-stage translation process and describes how the derived test... View More

Advertisement