Tests Interactifs d'applications Java Card
Cartes a puce et Java Card
Le JCRE: Java Card Runtime Environment
Format des APDUs
Environnement de developpement existant pour Java Card (Centaur)
Tests interactifs d'applications Java Card
Architecture de l'environnement de tests
Interface graphique de tests
Analyse de code source
Structure de donnees extraite
Notion de commande courante
Position et Longueur d'un champ
L'environnement (affectations)
Exemple d'analyse
Evaluation
Travaux futurs
Conclusion
Messagerie: ludovic.henrio@polytechnique.org
Page d'accueil: http://www-sop.inria.fr/oasis/javacard