DocumentCode
2819137
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
fYear
1997
fDate
2-5 Dec 1997
Firstpage
414
Lastpage
423
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/APSEC.1997.640198
Filename
640198
Link To Document