Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva. Automated Test and Oracle Generation for Smart-Card Applications. In Isabelle Attali, Thomas P. Jensen, editors, Smart Card Programming and Security, International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001, Proceedings. Volume 2140 of Lecture Notes in Computer Science, pages 58-70, Springer, 2001. [doi]
We present work we are engaged in to develop symbolic test generation techniques and apply those techniques to testing of smart card applications. Beginning with a system specification and a test purpose expressed as symbolic labelled transition systems we automatically derive tests to check conformance of an implementation to the behaviors of the specification selected by the test purpose. We present an example taken from a case study we are developing based on the application of these techniques to the CEPS e-purse specifications.