The evaluation of program-based software test data adequacy criteria
Communications of the ACM
Adequate testing and object-oriented programming
Journal of Object-Oriented Programming
Incremental testing of object-oriented class structures
ICSE '92 Proceedings of the 14th international conference on Software engineering
Experiences with cluster and class testing
Communications of the ACM
The ASTOOT approach to testing object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Object-Z: a specification language advocated for the description of standards
Computer Standards & Interfaces - Special issue on formal description techniques
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
ClassBench: a framework for automated class testing
Software—Practice & Experience
Testing Ada Abstract Data Types Using Formal Specifications
Proceedings of the First International Eurospace - Ada-Europe Symposium on Ada in Europe
A Framework for Testing Object-Oriented Software Using Formal Specifications
Ada-Europe '96 Proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Deriving Tests for Objects Specified in Z
Proceedings of the Z User Workshop
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Testing Inheritance Hierarchies in the ClassBench Framework
TOOLS '98 Proceedings of the Technology of Object-Oriented Languages and Systems
A Comparison of the BTT and TTF Test-Generation Methods
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Journal of Software Maintenance and Evolution: Research and Practice
Extending the test template framework
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |
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.