Translating Object-Z specifications to passive test oracles

Proceedings - 2nd International Conference on Formal Engineering Methods, ICFEM 1998

Volumn 1998-December, Issue , 1998, Pages 165-174

  McDonald, J ^a   Strooper, P ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

C++ (PROGRAMMING LANGUAGE); TESTING;

EXAMPLE BASED; OBJECT Z; OBJECT-Z SPECIFICATION; PRACTICAL ISSUES; TEST ORACLES; TRANSLATION PROCESS;

FORMAL SPECIFICATION;

EID: 84945500634     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICFEM.1998.730580     Document Type: Conference Paper

References (23)

1. S. Antoy and J. Gannon. Using term rewriting systems to verify software. IEEE Transactions on Software Engineering, 20(4):259-274, 1994.
2. S. Antoy and R. Hamlet. Objects that check themselves against formal specifications. Technical Report TR 91-1, Dept. of Computer Science, Portland State University School of Engineering and Applied Sciences, Portland, Oregon, USA, 1991.
3. J. P. Bowen andM. G. Hinchey, editors. Z User Workshop, Limerick, Ireland, June 1995. Springer-Verlag. Proceedings of the Ninth Annual Z User Meeting.
4. S. M. Brien and J. E. Nicholls. Z Base Standard Version 1.0. Oxford University Computing Laboratory, Programming Research Group, 1992.
5. D. J. Duke, D. A. Duce, I. Herman, and G. Faconti. Specifying thePREMOsynchronization objects. Technical Report ERCIM-01/97-R048, European Research Consortium for Informatics and Methematics (ERCIM), February 1997.
6. R. Duke andG. Rose. Formal Object-Oriented Specification and Design Using Object-Z. Software Verification Research Centre, The University of Queensland, 1995.
7. R. Duke, G. Rose, and G. Smith. Object-Z: A specification language advocated for the description of standards. Computer Standards and Interfaces 17, pages 511-533, 1995.
8. M. Fukagawa, T. Hikita, and H. Yamazaki. Amapping system from Object-Z to C++. In Proc. First Asia Pacific Software Engineering Conf. (APSEC'94), pages 220-228, Tokyo, Japan, 1994.
9. A. Griffiths. From Object-Z to Eiffel: Towards a rigorous development method. In Proc. TOOLS Pacific '95, pages 293-307, Melbourne, Australia, November 1995.
10. D. M. Hoffman and P. A. Strooper. Automated module testing in Prolog. IEEE Transactions on Software Engineering, 17(9):933-942, September 1991.
11. D. M. Hoffman and P. A. Strooper. The testgraphs methodology - automated testing of collection classes. Journal of Object-Oriented Programming, pages 35- 41, November-December 1995.
12. D. M. Hoffman and P. A. Strooper. ClassBench: A methodology and framework for automated class testing. Software Practice and Experience, 27(5):573-597, May 1997.
13. H.-M. Hörcher. Improving software tests using Z specifications. In Bowen and Hinchey [3], pages 152-166. Proceedings of the Ninth Annual Z User Meeting.
14. W. Johnston and G. Rose. Guidelines for the manual conversion of Object-Z to C++. Technical Report 93-14, Software Verification Research Centre, University of Queensland, Brisbane 4072, Australia, September 1993.
15. J. McDonald. Translating Object-Z specifications to passive test oracles. Technical Report 98-04, Software Verification Research Centre, University of Queensland, 4072, Australia, February 1998.
16. J. McDonald, L. Murray, and P. A. Strooper. Translating Object-Z specifications to object-oriented test oracles. In Proc. Asia-Pacific Software Engineering Conference, APSEC97, pages 414-423, Hong Kong, December 1997.
17. B. Meyer. Eiffel: The Language. Prentice Hall Object- Oriented Series. Prentice Hall, 1992.
18. E. Mikk. Compilation of Z specifications in C for automatic test result evaluation. In Bowen andHinchey [3], pages 167-180. Proceedings of the Ninth Annual Z User Meeting.
19. L. Murray, D. Carrington, I. MacColl, J. McDonald, and P.A. Strooper. Formal derivation of finite state machines for class testing. In Proc. Z User Meeting (ZUM98), volume 1493 of Lecture Notes in Computer Science. Springer-Verlag, September 1998.
20. L. Murray, D. Carrington, I. MacColl, and P.A. Strooper. Extending test templates with inheritance. In Paul A. Bailes, editor, Proceedings of the Australian Software Engineering Conference ASWEC'97, pages 80-87. IEEE Computer Society, September 1997.
21. D. Peters andD. L. Parnas. Using test oracles generated from program documentation. IEEE Transactions on Software Engineering, 24(3):161-173, March 1998.
22. G-H. B. Rafsanjani and S. J. Colwill. FromObject-Z to C++: Astructuralmapping. In Proc. 7th annual ZUser Meeting (ZUM'92), pages 166-179. Springer-Verlag, 1992.
23. B. Stroustrup. The C++ programming language. Addison-Wesley, Reading, MA, 1986.