Abstract | ||
---|---|---|
This paper presents a case study on the use of formal methods in specification-based, black-box testing of a smart card applet. The system under test is a simple electronic purse application running on a Java Card platform. The specification of the applet is given as a Statechart model, and transformed into a functional form to serve as the input for the on-the-fly test generation, -execution, and -analysis tool GAST. We show that automated, formal, specification-based testing of smart card applets is of high value, and that errors can be detected using this model-based testing. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1007/0-387-25660-1_37 | International Federation for Information Processing |
Keywords | Field | DocType |
model-based testing,smart cards,Java Card,automatic test generation,executable specification | BasicCard,Programming language,Computer science,Smart card,Model-based testing,Java Card,Java applet,Formal methods,Open Smart Card Development Platform,Smart card application protocol data unit,Embedded system | Conference |
Volume | ISSN | Citations |
181 | 1571-5736 | 5 |
PageRank | References | Authors |
0.49 | 17 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Arjen van Weelden | 1 | 42 | 4.15 |
Martijn Oostdijk | 2 | 132 | 13.89 |
Lars Frantzen | 3 | 229 | 11.99 |
Pieter W. M. Koopman | 4 | 78 | 11.67 |
Jan Tretmans | 5 | 1624 | 97.10 |