Logo image
Back
Requirements traceability in automated test generation: Application to smart card software validation
Conference paper   Peer reviewed

Requirements traceability in automated test generation: Application to smart card software validation

F Bouquet, E Jaffuel, B Legeard, F Peureux and Mark Utting
Proceedings of the 1st International Workshop on Advances in Model-Based Testing, pp.1-7
International Workshop on Advances in Model-Based Testing (A-MOST '05), 1st (St Louis, United States, 15-May-2005–21-May-2005)
Association for Computer Machinery
2005
DOI: https://doi.org/10.1145/1083274.1083282
url
https://doi.org/10.1145/1083274.1083282View
Published Version

Abstract

formal model model-based testing requirements traceability
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. Copyright 2005 ACM.

Details

Metrics

606 Record Views
Logo image