Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
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
Model-based testing in practice
Proceedings of the 21st international conference on Software engineering
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
Controlling test case explosion in test generation from B formal models: Research Articles
Software Testing, Verification & Reliability
Generation of test sequences from formal specifications: GSM 11-11 standard case study
Software—Practice & Experience
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
A subset of precise UML for model-based testing
Proceedings of the 3rd international workshop on Advances in model-based testing
Towards traceability of model-based testing artifacts
Proceedings of the 3rd international workshop on Advances in model-based testing
A test generation solution to automate software testing
Proceedings of the 3rd international workshop on Automation of software test
Making model-based testing more agile: a use case driven approach
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
| Hi-index | 0.00 |
Automated test case and test driver generation from a formal model is becoming a more widely used practice in the smart card area. This innovative approach for validation testing makes it possible to ensure the functional coverage of the test suite and to automate the production of executable test scripts. This paper presents an approach to automatically produce the Traceability Matrix from requirements to test cases, as part of the test generation process. This approach is embedded in the LEIRIOS Test Generator (LTG) tool, and has been used for several real-life applications in the smart card industry. This paper introduces the approach to annotating the formal model and using it to generate the Traceability Matrix. It also discusses some lessons learnt from our experience using Model-Based Testing for smart card software validation.