The Z notation: a reference manual
The Z notation: a reference manual
Software testing based on formal specifications: a theory and a tool
Software Engineering Journal
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
Generating finite state machines from abstract state machines
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
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
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
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
Generating natural language descriptions of Z test cases
INLG '10 Proceedings of the 6th International Natural Language Generation Conference
Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions
SEFM '10 Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods
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
Applying the Test Template Framework to Aerospace Software
SEW '11 Proceedings of the 2011 IEEE 34th Software Engineering Workshop
| Hi-index | 0.00 |
The Test Template Framework (TTF) is a method for model-based testing (MBT) from Z specifications. Although the TTF covers many features of the Z notation, it does not explain how to deal with axiomatic descriptions, quantifiers and set comprehensions. In this paper we extend the TTF so it can process specifications including these features. The techniques presented here may be useful for other MBT methods for the Z notation or for other notations such as Alloy and B, since they use similar mathematical theories.