Abstract
Since 2003, automated test generation from B abstract machines has been trying out in the smart card industry, using LEIRIOS Test Generator (LTG) for SmartCard tool. Now the major card manufacturers, such as Gemalto and Giesecke & Devrient, are regularly deploying model-based testing in their validation processes. The purpose is black-box functional testing: from the specifications (a standard or specific requirements), a B formal model is developed which is the basis for test generation. Generated test cases are then translated into executable test scripts and then run on the application.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
