Abstract
Compliance testing is done to determine whether a system meets a specified standard prescribed by a given authority. One key goal of compliance testing is to ensure interoperability between systems, on the basis of agreed norms and standards, while also allowing acceptable variations to be inserted by the compliant product vendors. This paper reports on the deployment of a Model-Based Testing approach, based on the Smart sting solution, to produce compliance test suites for Global Platform Specifications, which aim to ensure the long-term interoperability of embedded applications on secure chip technology. After explaining the context and the motivation to use a Model-Based Testing approach as a part of the Global Platform Compliance Program since 2007, the paper describes the Global Platform Working Group testing process, and discusses the lessons learned from this success story.