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
Test templates: a specification-based testing framework
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Data Abstraction, Implementation, Specification, and Testing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automating Formal Specification-Based Testing
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Test selection for object-oriented software based on formal specifications
PROCOMET '98 Proceedings of the IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods
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
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
Test Criteria Definition for B Models
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
KVEST: Automated Generation of Test Suites from Formal Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Extending Test Templates with Inheritance
ASWEC '97 Proceedings of the Australian Software Engineering Conference
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
Proceedings of the 16th IEEE international conference on Automated software engineering
Extending the test template framework
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
CLPS-B - A Constraint Solver for B
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Case studies on fault detection effectiveness of model based test generation techniques
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Generation of test sequences from formal specifications: GSM 11-11 standard case study
Software—Practice & Experience
Model-based functional conformance testing of web services operating on persistent data
Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications
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
Dynamic graphical UML views from formal B specifications
Information and Software Technology
Generating natural language descriptions of Z test cases
INLG '10 Proceedings of the 6th International Natural Language Generation Conference
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
Mastering test generation from smart card software formal models
CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Symstra: a framework for generating object-oriented unit tests using symbolic execution
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
| Hi-index | 0.00 |
This paper compares two methods of generating tests from formal specifications. The Test Template Framework (TTF) method is a framework and set of heuristics for manually generating test sets from a Z specification. The B Testing Tools (BTT) method uses constraint logic programming techniques to generate test sequences from a B specification. We give a concise description of each method, then compare them on an industrial case study, which is a subset of the GSM 11.11 smart card specification.