loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Australian Software Engineering Conference (ASWEC '97)
Extending Test Templates with Inheritance
Sydney, AUSTRALIA
September 28-October 02
ISBN: 0-8186-8081-4
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
Usage of this product signifies your acceptance of the Terms of Use.