Learning Centre

Testing a Java Card applet using the LIME Interface Test Bench : a case study

 |  Login

Show simple item record

dc.contributor Aalto-yliopisto fi
dc.contributor Aalto University en
dc.contributor.author Kindermann, Roland
dc.date.accessioned 2011-11-28T13:23:35Z
dc.date.available 2011-11-28T13:23:35Z
dc.date.issued 2009
dc.identifier.isbn 978-952-248-080-4
dc.identifier.issn 1797-5042
dc.identifier.uri https://aaltodoc.aalto.fi/handle/123456789/898
dc.description.abstract The LIME Interface Test Bench is a collection of tools that allow to compile programs in a way such that they monitor interface specifications at runtime in Java and C programs. Specifications can be made using the LIME specification language. Another part of the LIME Interface Test Bench is the LIME Concolic Testing tool (LCT), which uses a combination of concrete and symbolic execution to explore large number of control flow paths in a program or parts of a program. The Java Card technology allows to use a limited subset of Java to develop applets that run on Smart Cards. These applets communicate with an off-card application using a simple packet-based protocol. This report describes a case study, in which the LIME Interface Test Bench was used to test a Java Card applet. The case study uses the "logical channels demo" applet, which is part of the Java Card Development Kit [1]. Ten different specifications were added to this applet. In order to use the applet in a realistic environment, an off-card application for the applet was developed. This off-card application was tested using LCT. en
dc.format.extent 27
dc.format.mimetype application/pdf
dc.language.iso en en
dc.publisher Helsinki University of Technology en
dc.publisher Teknillinen korkeakoulu fi
dc.relation.ispartofseries TKK reports in information and computer science en
dc.relation.ispartofseries 18 en
dc.subject.other Computer science en
dc.title Testing a Java Card applet using the LIME Interface Test Bench : a case study en
dc.type D4 Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys fi
dc.contributor.school Faculty of Information and Natural Sciences en
dc.contributor.school Informaatio- ja luonnontieteiden tiedekunta fi
dc.contributor.department Department of Information and Computer Science en
dc.contributor.department Tietojenkäsittelytieteen laitos fi
dc.subject.keyword testing en
dc.subject.keyword runtime monitoring en
dc.subject.keyword concolic testing en
dc.subject.keyword LIME Interface Test Bench en
dc.subject.keyword Java Card en
dc.identifier.urn urn:nbn:fi:tkk-013035
dc.type.dcmitype text en

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search archive

Advanced Search

article-iconSubmit a publication