Systematically deriving partial oracles for testing concurrent programs
ACSC '01 Proceedings of the 24th Australasian conference on Computer science
Checking Z Data Refinements Using an Animation Tool
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
API documentation with executable examples
Journal of Systems and Software
CASCON '03 Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative research
A relation-based method combining functional and structural testing for test case generation
Journal of Systems and Software
Neural networks based automated test oracle for software testing
ICONIP'06 Proceedings of the 13th international conference on Neural information processing - Volume Part III
Hi-index | 0.00 |
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.