Extending test templates with inheritance

We are extending a framework for specification-based testing, the Test Template Framework, to include object-oriented features such as those provided in Object-Z. We report on our work extending the framework to include inheritance. In testing a subclass, the testing information for the parent class is inherited and thus reused. We have identified conditions under which testing information can be inherited without change, when it is inherited with modifications and when it must be derived from scratch. We illustrate the technique with an example based on the Eiffel Queue classes