The Z notation: a reference manual
The Z notation: a reference manual
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
Documenting Software Architectures: Views and Beyond
Documenting Software Architectures: Views and Beyond
Automating Test Case Generation from Z Specifications with Isabelle
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
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
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
TinMan A Test Derivation and Management Tool for Specification-Based Class Testing
TOOLS '99 Proceedings of the 32nd International Conference on Technology of Object-Oriented Languages
Generation of test sequences from formal specifications: GSM 11-11 standard case study
Software—Practice & Experience
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Extending the test template framework
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Generating natural language descriptions of Z test cases
INLG '10 Proceedings of the 6th International Natural Language Generation Conference
Software—Practice & Experience
Safe controllers design for industrial automation systems
Computers and Industrial 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
Generating model-based test cases from natural language requirements for space application software
Software Quality Control
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Adapting model-based testing techniques to DEVS models validation
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Hi-index | 0.00 |
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting prototype, called Fastest, makes it easy to generate test cases from Z specifications. We not only apply the ideas of the referred framework but we also use a technique based on finite models to find test cases, which has proved to increase the level of automation during the whole testing process. The paper also discusses problems and challenges that have appeared during the development of the tool, and introduces real case studies and an analysis of the results obtained so far.