of Java Card applets Lydie du Bousquet Hugues Martin  Home/Search
Context
Related
| gemplus.com/smart/rd/publ...BM00fmto.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: gemplus.com/smart/rd/publ...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this article, we describe a methodology enabling to automatically generate test suits for Java Card applets. The considered case study is a classical electronic purse. We use two complementary tools: TGV to generate test data, and Umlaut to design an object-oriented model and to translate it into the input format of TGV. The integration of those tools in an industrial process is evaluated in the context of the purse case study. (Update)
Active bibliography (related documents): More All
1.1: Tools for Automated Conformance Testing of Java Card Applets - Bousquet, Martin (2000) (Correct)
1.1: Tools for Automated Conformance Testing - Of Java Card (Correct)
0.1: Using on-the-Fly Verification Techniques for the.. - Jean-Claude Fernandez (1996) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ card-tools,
author = "Of Java Card",
title = "Tools for Automated Conformance Testing",
url = "citeseer.ist.psu.edu/741049.html" }
Citations (may not include all citations):1174 Statecharts: A visual formalism for complex systems - Harel - 1987
681 The Unified Modeling LanguageUser Guide (context) - Booch, Jacobson et al. - 1998
122 Application of temporal logic to the specification and verif.. (context) - Pnueli - 1986
94 A theory for derivation of tests (context) - Brinksma - 1988
45 A Domain Strategy for Computer Program Testing (context) - White, Cohen - 1980
31 A formal approach to conformance testing (context) - Tretmans - 1992
19 International Standard IS (context) - Technology, Interconnection et al. - 1991
15 Test generation derived from model-checking (context) - J'eron, Morel - 1999
10 Opencaesar open software architecture verification (context) - Garavel, An et al. - 1998
7 Developing smart card-based applications with java card (context) - Vandewalle, V'etillard - 1999
6 eses de test sur des automates `a entr (context) - Phalippou, et - 1994
3 Validating distributed software modelled with UML (context) - J'ez'equel, LeGuennec et al. - 1998
3 Unified Modeling Langage Reference Manual (context) - Rumbaugh, Jacobson et al. - 1997
Documents on the same site (http://www.gemplus.com/smart/rd/publications/index.html): More
Externalized Fingerprint Matching - Barral, Coron, Naccache (2004) (Correct)
Statistics and Secret Leakage - Coron, Naccache, Kocher (2004) (Correct)
User Authentication with Smart Cards in Trusted Computing.. - George (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC