Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Programming from specifications
Programming from specifications
Test template framework: a specification-based testing case study
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Black-box testing: techniques for functional testing of software and systems
Black-box testing: techniques for functional testing of software and systems
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Test templates: a specification-based testing framework
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Modelling systems: practical tools and techniques in software development
Modelling systems: practical tools and techniques in software development
A Discipline of Programming
Refinement Calculus: A Systematic Introduction
Refinement Calculus: A Systematic Introduction
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
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
Automated Black-Box Testing with Abstract VDM Oracles
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Test Case Preparation Using a Prototype
B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
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
From Testing Theory to Test Driver Implementation
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Test Automation for Safety-Critical Systems: Industrial Application and Future Developments
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Formal Specification of a Voice Communication System Used in Air Traffic Control
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
A Model of Specification-Based Testing of Interactive Systems
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Reasoning About Interactive Systems
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Test Case Design Based on Z and the Classification-Tree Method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Interference Analysis for Dependable Systems Using Refinement and Abstraction
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Model-based mutation testing of reactive systems: from semantics to automated test-case generation
Theories of Programming and Formal Methods
| Hi-index | 0.00 |
This paper discusses the calculation of test-cases for interactive systems. A novel approach is presented that treats the problem of test-case synthesis as an abstraction problem. The refinement calculus is used to formulate abstraction rules for calculating correct test-case scenarios from a formal contract. This abstraction calculus results in a synthesis method that, does not need to compute a finite state machine. This is in contrast to previous work on testing from state-based specifications. A well known example from the testing literature serves to demonstrate this unusual application of the refinement calculus in order to synthesize tests rather than implementations.