Article

Extending Test Templates with Inheritance

Authors:

David Carrington,

Paul StrooperAuthors Info & Claims

ASWEC '97: Proceedings of the Australian Software Engineering Conference

Page 80

Published: 28 September 1997 Publication History

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. 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.

References

[1]

S. Barbey and D. Buchs. Testing Ada abstract data types using formal specifications. In Ada in Europe, volume 887 of Lecture Notes in Computer Science. pages 76-89, Springer-Verlag, 1994. Proceedings of First International Eurospace-Ada-Europe Symposium.

Digital Library

[2]

S. Barbey, D. Buchs and C. Péraire. A theory of specification-based testing for object-oriented software. Technical Report 96/163, EPFL-DI-LGL, January 1996. ftp://lglftp.epfl.ch/pub/Papers/barbey-report96.ps (1 Sep 96).

[3]

R. Binder. Testing object-oriented software: a survey. Software Testing, Verification and Reliability, 6: 125-252, 1996.

[4]

E. Cusack and C. Wezeman. Deriving test for objects specified in Z. In J. P. Bowen and J. E. Nicholls, editors, Z User Workshop, pages 180-195, London, December 1992. Springer-Verlag. Proceedings of the Seventh Annual Z User Meeting.

Digital Library

[5]

J. Dick and A. Faivre. Automating the generating and sequencing of test cases from model-based specification. In J.C.P. Woodcock and P.G. Larsen, editors, FME '93: Industrial Strength Formal Methods, 5th International Symposium of Formal Methods Europe, Volume 670 of Lecture Notes in Computer Science, pages 268-284, Odense, Denmark, April 1993 Springer-Verlag.

Digital Library

[6]

R. Duke, G. Rose and G. Smith. Object-Z: A specification language advocated for the description of standards. Computer Standardsand Interfaces, 1751 1-533,1995.

Digital Library

[7]

R. Duke and G. Rose. Formal Object-Oriented Specification and Design Using Object-Z, Software Verification Research Centre, The University of Queensland, 1 996.

[8]

R. Fletcher and A. S. M. Sajeev. A framework for testing object-oriented software using formal specifications. In Alfred Strohmeier, editor, Reliable Software Technologies (Ada-Europe '96), volume 1008 of Lecture Notes in Computer Science, pages 159-170, Montreux, Switzerland 1996. Springer-Verlag 1996.

Digital Library

[9]

M-C. Gaudel. Testing can be formal too. In TAPSOFT '95: Sixth International Joint Conference on Theory and Practice of Software Development, volume 915 of Lecture Notes in Computer Science, pages 82-96, May 1995. Aarhus, Denmark.

Digital Library

[10]

M.J. Harrold, J.D. McGregor and K.J. Fitzpatrick. Incremental Testing of Object-Oriented Class Structures. In Proceedings 14th International Conference on Software Engineering. pages 68-80. ACM Press, 1992.

Digital Library

[11]

D.M. Hoffman and P.A. Strooper. Graph-based Class Testing. Australian Computer Journal, 26(4): 158-163, November 1994.

[12]

D.M. Hoffman and P.A. Strooper. ClassBench: A methodology and framework for automated class testing. Software - Practice and Experience, 27(5):573-596, May 1997.

Digital Library

[13]

H. Hörcher and J. Peleska. Using formal specifications to support software testing. Software Quality Journal, 4(4):309- 327, December 1995.

[14]

R. Doong and P. Frankl. The ASTOOT approach to testing object-oriented programs. ACM Transactions on Software Engineering and Methodology, 3(2):101-130, April 1994.

Digital Library

[15]

I. MacColl, D. Carrington and P. Stocks. An experiment in specification-based testing. In Nineteenth Australasian Computer Science Conference Proceedings (ACSC '96), pages 159-168. Melboume, Australia, January/February 1996. Published as Australian Computer Science Communications 18(1). (SVRC TR96-05).

[16]

J. McDonald and P. Strooper. Testing inheritance hierarchies in the classbench framework. In Technology of Object-Oriented Languages and Systems (TOOLS 20), Santa Barbara, CA, August 1996.

Digital Library

[17]

B. Meyer. The many faces of inheritance: A taxonomy of taxonomy. IEEE Computer: 29(5): 105-1 08. May 1996.

Digital Library

[18]

B. Meyer. Reusable software The Base object-oriented component libraries. Interactive Software Engineering.

[19]

G.C. Murphy, P. Townsend and P. Wong. Experiences with class and cluster testing. Communications of the ACM, 37(9):39-47, September 1994.

Digital Library

[20]

L. Murray, D. Canington, I. MacColl and P. Strooper. Inheritance and Specification-based Object-oriented Testing. Technical Report 97-18, Software Verification Research Centre, School of Information Technology, The University of Queensland. 1997.

[21]

L. Murray, D. Camngton, I. MacColl and P. Strooper.A Case Study in Specification-based Object-oriented Testing with Inheritance. Technical Report 97-19, Software Verification Research Centre, School of Information Technology, The University of Queensland. 1997.

[22]

D. E. Perry and G. E. Kaiser. Adequate testing and object oriented programming. Journal of Object-Oriented Programming, 2(5): 13-19, January/February 1990.

Digital Library

[23]

S. Stepney. Testing as abstraction. In J. P. Bowen and M. G. Hinchey, editors, ZUM '95: The Z Formal Specification Notation, volume 967 of Lecture Notes in Computer Science, pages 137-151, Limerick, Ireland, June 1995. Springer-Verlag. Proceedings of the Ninth International Conference of Z Users.

Digital Library

[24]

P. Stocks and D. Carrington. A framework for specification based testing. IEEE Transactions on Software Engineering, 22(11):777-793, November 1996.

Digital Library

[25]

P. Stocks. Applying formal methods to software testing. PhD thesis. Department of Computer Science, The University of Queensland, 1993.

[26]

C.D. Turner and D.J. Robson. State-based testing and inheritance. Technical Report TR-1/93, School of Engineering and Computer Science, University of Durham, April 1993. ftp://ftp.dur.ac.uk/pub/compsci/ tech-reports/1993/1-93.ps.gz (25 May 1997).

[27]

E.J. Weyuker. The evaluation of program-based software test data adequacy criteria. Communications of the ACM, 31(6):668-675, June 1988.

Digital Library

Cited By

Al Dallal JSorenson P(2005)Reusing class-based test cases for testing object-oriented framework interface classesJournal of Software Maintenance and Evolution: Research and Practice10.5555/1073614.107361517:3(169-196)Online publication date: 1-May-2005
https://dl.acm.org/doi/10.5555/1073614.1073615

Index Terms

Extending Test Templates with Inheritance
1. Software and its engineering
  1. Software creation and management
    1. Software development process management
    2. Software verification and validation
      1. Software defect analysis
        Software testing and debugging
  2. Software notations and tools
    1. General programming languages
      1. Language types
        Object oriented languages

Index terms have been assigned to the content through auto-classification.

Recommendations

An automated object-oriented testing for C++ inheritance hierarchy
ASE '97: Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)

This paper proposes a concept named unit repeated inheritance (URI) in Z notation to realize object-oriented testing of an inheritance hierarchy. Based on this unit, an inheritance level technique (ILT) method as a guide to test object-oriented software ...
Fault-based test suite prioritization for specification-based testing

Context: Existing test suite prioritization techniques usually rely on code coverage information or historical execution data that serve as indicators for estimating the fault-detecting ability of test cases. Such indicators are primarily empirical in ...
Functional testing of object-oriented software
CompSysTech '03: Proceedings of the 4th international conference conference on Computer systems and technologies: e-Learning

The goal of functional testing is to prove that the software performs in conformance with its specification. Functional testing emphasizes the behavioral characteristics of objects by focusing on the interface that is the public, and defining, feature ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

ASWEC '97: Proceedings of the Australian Software Engineering Conference

September 1997

ISBN:0818680814

Copyright © Copyright (c) 1997 Institute of Electrical and Electronics Engineers, Inc. All rights reserved.

Publisher

IEEE Computer Society

United States

Publication History

Published: 28 September 1997

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 30 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Al Dallal JSorenson P(2005)Reusing class-based test cases for testing object-oriented framework interface classesJournal of Software Maintenance and Evolution: Research and Practice10.5555/1073614.107361517:3(169-196)Online publication date: 1-May-2005
https://dl.acm.org/doi/10.5555/1073614.1073615

View Options

View options

Media

Figures

Other

Tables

View Table of Contents