Leesa Murray, Software Verification Research Centre, School of Information Technology The University of Queensland, St Lucia 4072, Australia
David Carrington, Software Verification Research Centre, School of Information Technology The University of Queensland, St Lucia 4072, Australia
Ian MacColl, Software Verification Research Centre, School of Information Technology The University of Queensland, St Lucia 4072, Australia
Paul Strooper, Software Verification Research Centre, School of Information Technology The University of Queensland, St Lucia 4072, Australia
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. This paper reports 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.
Index Terms:
specification-based testing, object-oriented testing, inheritance, reuse, test templates.
Citation:
Leesa Murray, David Carrington, Ian MacColl, Paul Strooper, "Extending Test Templates with Inheritance," aswec, pp.80, Australian Software Engineering Conference (ASWEC '97), 1997