Title :
Translating Object-Z specifications to object-oriented test oracles
Author :
McDonald, Jason ; Murray, Leesa ; Strooper, Paul
Author_Institution :
Sch. of Inf. Technol., Queensland Univ., St. Lucia, Qld., Australia
Abstract :
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 oracles are integrated into the ClassBench testing framework. The method caters for object-oriented features such as inheritance and aggregation. Translation issues and the limitations of the method are discussed. Our approach is illustrated with an example based on an integer set class
Keywords :
C language; inheritance; object-oriented languages; program testing; specification languages; C++ test oracle classes; ClassBench testing framework; Object-Z specification translation; aggregation; container classes; inheritance; integer set class; object-oriented test oracles; three-stage translation process; Australia; Automation; Computer languages; Containers; Formal specifications; Information technology; Logic testing; Skeleton; Software testing; Specification languages;
Conference_Titel :
Software Engineering Conference, 1997. Asia Pacific ... and International Computer Science Conference 1997. APSEC '97 and ICSC '97. Proceedings
Print_ISBN :
0-8186-8271-X
DOI :
10.1109/APSEC.1997.640198
