Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications

Speaker: Paul Strooper (co-authors: Jason McDonald, Dan Hoffman)

When: 10:00, Thursday, 18th December, 2003

Venue: 78-420

Abstract:  A test oracle provides a means for determining whether an
implementation behaves according to its specification.  A
passive test oracle checks that the correct behaviour has
been implemented, but does not implement the behaviour itself.
In previous work, we have presented a method that allows us
to derive passive C++ test oracles from formal specifications
written in Object-Z.  In this seminar, we present the "Warlock"
prototype tool that supports the method.  Warlock is built on
top of an existing Object-Z type checker and generates oracle
code for a substantial subset of the Object-Z language.  We
describe the architecture of Warlock and its application to
a number of Object-Z specifications.  We also discuss its
current limitations.

Hospitality: David Hemer

Contact: Prof Paul Bailes (SSERG seminar co-ordinator) (p.bailes@epsa.uq.edu.au)

SSE seminar web page: http://www.itee.uq.edu.au/~sse/Seminars.html