Extending test templates with inheritance

Author

Murray, Leesa ; Carrington, David ; MacColl, Ian ; Strooper, Paul

Author_Institution

Software Verification Res. Centre, Queensland Univ., St. Lucia, Qld., Australia

fYear

1997

fDate

29 Sep-2 Oct 1997

Firstpage

80

Lastpage

87

Abstract

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

Keywords

formal specification; inheritance; object-oriented languages; object-oriented programming; program testing; specification languages; Eiffel Queue classes; Object-Z; Test Template Framework; inheritance; object-oriented programming; specification-based testing; test templates; Australia; Automatic testing; Clustering algorithms; Formal specifications; Information technology; Monitoring; Object oriented modeling; Software testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering Conference, 1997. Proceedings., Australian

Conference_Location

Sydney, NSW

Print_ISBN

0-8186-8081-4

Type

conf

DOI

10.1109/ASWEC.1997.623757

Filename

623757