POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Automatic generation of test scripts from formal test specifications
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
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
Automatic abstraction for model checking software systems with interrelated numeric constraints
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Program Development by Refinement: Case Studies Using the B Method
Program Development by Refinement: Case Studies Using the B Method
Dependence analysis in reduction of requirement based test suites
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Generating finite state machines from abstract state machines
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Projected state machine coverage for software testing
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
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
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
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
MÉTÉOR: An Industrial Success in Formal Development
B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
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
Automated Boundary Testing from Z and B
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Test Sequences Generation from LUSTRE Descriptions: GATEL
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
CASTING: A Formally Based Software Test Generation Method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Proceedings of the 16th IEEE international conference on Automated software engineering
Automated Boundary Testing from Z and B
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
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
Automatic generation of model based tests for a class of security properties
Proceedings of the 3rd international workshop on Advances in model-based testing
Test case generation from formal models through abstraction refinement and model checking
Proceedings of the 3rd international workshop on Advances in model-based testing
Generating Tests from B Specifications and Test Purposes
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Model-Based Testing Using Scenarios and Event-B Refinements
Methods, Models and Tools for Fault Tolerance
Model-based testing approaches selection for software projects
Information and Software Technology
Model Based Testing of a Network-on-Chip Component
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Automatic testing from formal specifications
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Model-based analysis and development of dependable systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Automatic test generation on a (U)SIM smart card
CARDIS'06 Proceedings of the 7th IFIP WG 8.8/11.2 international conference on Smart Card Research and Advanced Applications
Using CHRs to generate functional test cases for the java card virtual machine
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
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
Synthesis of scenario based test cases from b models
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Using b machines for model-based testing of smartcard software
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Instantiation of parameterized data structures for model-based testing
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
LEIRIOS test generator: automated test generation from b models
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
A taxonomy of model-based testing approaches
Software Testing, Verification & Reliability
Scenario-based testing using symbolic animation of B models
Software Testing, Verification & Reliability
| Hi-index | 0.00 |
This paper presents the results of a case study on generating test cases for a fragment of the smart card GSM 11-11 standard. The generation method is based on an original approach using the B notation and techniques of constraint logic programming with sets. The GSM 11-11 technical specifications were formalized with the B notation. From this B specification, a system of constraints was derived, equivalent to this formal model. Using a set constraint solver, boundary states were computed and test cases were obtained by traversing the constrained reachability graph of the specifications. The purpose of this project was to evaluate the contribution of this testing environment, called B-TESTING-TOOLS, in an industrial process on a real life-size application, by comparing the generated test sequences with the already used and high-quality manually-designed tests. This comparison enabled us to validate our approach and showed its effectiveness in the validation process of critical applications: the case study gives a wide coverage (about 85%) of the generated tests compared to the pre-existing tests and a saving of 30% in test design time.