Skip to content

Opening book details…

Can I read Automated Test Generation for Smart Cards on EtoBox?

Automated Test Generation for Smart Cards by pradeva is a document available to read on EtoBox.

What is Automated Test Generation for Smart Cards about?

This paper discusses an automated approach for generating a Traceability Matrix linking requirements to test cases in the context of smart card software validation. The method utilizes Model-Based Testing (MBT) and is embedded in the LEIRIOS Test Generator tool, ensuring that all requirements are addressed throughout the software development lifecycle. Key advantages include improved functional coverage metrics, identification of untested requirements, and feedback for refining requirements and test cases.

Author
pradeva
Language
EN