The category-partition method for specifying and generating fuctional tests
Communications of the ACM
The Z notation: a reference manual
The Z notation: a reference manual
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
Making the most of formal specification through animation, testing and proof
Science of Computer Programming - Special issue on COST 247, verification and validation methods for formal descriptions
Automating Formal Specification-Based Testing
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Compilation of Z Specifications into C for Automatic Test Result Evaluation
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
Improving Software Tests Using Z Specifications
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
Formal Derivation of Finite State Machines for Class Testing
ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
Object Orientation in Z
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
Extending Test Templates with Inheritance
ASWEC '97 Proceedings of the Australian Software Engineering Conference
Specification-Based Class Testing: A Case Study
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
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
Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A language for test case refinement in the test template framework
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
| Hi-index | 0.00 |
The Test Template Framework (TTF) is a formal, abstract model of testing, used to derive a hierarchy of test information, including test inputs and outputs, from a model-based formal specification. In this paper we propose two modifications to the framework: first, that testing information derived from state components be factored out from operation-specific information, and second, that focusing on the input space of an operation under test be deferred for as long as possible. The first modification facilitates reuse of derived information in the context of abstract data types (ADTs) and classes to minimise duplication. The second modification supports testing strategies based on operation outputs, and provides a basis for further extensions for testing derived from behaviour-based notations.