Rapport de stage du dea d’Informatique de Lyon








télécharger 152.95 Kb.
titreRapport de stage du dea d’Informatique de Lyon
page4/7
date de publication31.01.2018
taille152.95 Kb.
typeRapport
ar.21-bal.com > droit > Rapport
1   2   3   4   5   6   7

2.2Le checker Java Card


Pour compiler des programmes Java Card (cf Figure 5), il faut utiliser le compilateur de Java, javac, en précisant dans le classpath les librairies spécifiques à Java Card (i.e. throwable.jar, jc20api.jar, jcre.jar et jcsimulation.jar). Tout emploi de méthodes, exceptions ou classes n’appartenant pas à Java Card est détecté lors de cette phase de compilation.

Le compilateur javac, qui a un analyseur syntaxique adapté à Java et non à Java Card, ne peut garantir que le programme compilé est bien écrit en Java Card car certaines erreurs syntaxiques ne pourront pas être détectées.

Pour cette raison, Sun fournit en plus des librairies Java Card un utilitaire appelé checker qui permet de vérifier si les packages/applets sont écrits en Java Card et non en Java. Son rôle est de détecter l’usage de types ou de modifiers non supportés, d’opérations arithmétiques non autorisées et de classes, méthodes ou exceptions n’appartenant pas à Java Card. Cet outil travaille sur le byte code du programme (c’est pourquoi il lui est impossible de donner le numéro de ligne où se situe l’erreur).

Figure 5 La compilation d’un programme Java Card

Cet outil peut être utilisé de deux manières :

  • Sur un programme Java Card pour tester des programmes compilés avec les librairies Java Card pour s’assurer que le programme est légal.

  • Sur un programme Java pour connaître les modifications à apporter pour pouvoir le transformer en programme Java Card (le checker indiquera les classes, méthodes et exceptions non supportées).

2.3Les outils commerciaux adaptés à Java Card


Actuellement il en existe trois: Odyssey-Lab de Bull, GemXpresso RAD de Gemplus et Cyberflex de Schlumberger. Les seules informations disponibles sont des documentations commerciales donc non objectives.

2.3.1Odyssey-Lab de Bull [BUL98]


C’est un environnement de développement fournissant les outils nécessaires pour optimiser et charger les applets (compilées avec un compilateur quelconque). Odyssey I (nom de la carte) est conforme aux spécifications Java Card API 2.0 et sa JVM est l’une des plus performantes du marché selon Bull. Son composant, développé par ST (auparavant SGS Thomson), a été conçu pour les besoins des plates-formes ouvertes et pour être adapté à de nouveaux mécanismes de sécurité (accès sécurisé aux secteurs partitionnés de la mémoire permettant une séparation étanche des applications, authentification ; intégrité et confidentialité assurées lors du chargement des applets ; cryptographie). La carte Odyssey offre en standard l’application de crédit/débit CCPS de Visa et 8 kø d’EEPROM pour des applications propriétaires (ex : programmes de fidélité, porte-monnaie électronique,…).

2.3.2GemXpresso Rapid Applet Development (RAD) de Gemplus


Il est le premier membre d’une famille de produits de carte à puce supportant les APIs Java Card 2.0 pour 8 ou 32 bits. Son kit inclut 2 cartes pour le prototypage d’applets, un lecteur de carte et un environnement de développement. Cette plate-forme de développement est basée sur les spécifications de Java Card 2.0 et sur un processeur RISC 32 bits. Selon les informations commerciales données par Gemplus [GEM98] elle permettrait d’accélérer le développement et les tests des applets pour la programmation d’un prototype ou d’un pilote car elle contiendrait un simulateur intégré. De cette façon, les tests des programmes se feraient directement sur une station de travail. Il ne serait pas nécessaire de les charger sur une carte au préalable pour cette phase de mise au point car le simulateur permettrait de représenter ce qui se passe dans la carte. Malheureusement Gemplus ne donne pas plus d’informations techniques sur ce simulateur.

2.3.3Cyberflex 2.0 Multi8K de Schlumberger [SLB97]


Cyberflex est une carte intelligente Java (appelée J-Card) 8 bits développée par Schlumberger qui peut exécuter des applications Java Card (les Cardlets). Elle est conforme aux spécifications de Java Card 2.0. Le kit vendu pour PC comprend à peu près les mêmes éléments que celui de Gemplus mais apparemment n’a pas d’environnement de développement car il serait très facile de l’intégrer dans un environnement de développement Java existant (comme par exemple Microsoft Visual J++).

Cet outil posséderait lui aussi un simulateur qui vérifierait le code d’une cardlet après la phase de compilation et d’édition de lien faite dans un environnement de développement Java quelconque. Pour l’utiliser, il suffirait juste de le lancer en cliquant dans le menu Tool de l’environnement utilisé, puis d’exécuter la cardlet. Il suffirait ensuite d’interagir avec la carte par l’interface graphique du simulateur. Il détecterait les erreurs fonctionnelles possibles du code avant que celui ne soit chargé sur la carte. Après cette simulation le byte code de la cardlet est modifié par MakeSolo (un outil du kit qui teste l’absence de caractéristiques non supportées et qui groupe les fichiers .class en un seul fichier) puis peut être chargé sur la carte Schlumberger par l’utilitaire LoadSolo.
Ces trois outils ne sont pas spécifiques à Java Card car ils permettent la mise au point de programme Java. Leur spécificité Java Card intervient au niveau du byte code (généré dynamiquement) avec une phase de vérification puis de chargement.
1   2   3   4   5   6   7

similaire:

Rapport de stage du dea d’Informatique de Lyon iconRapport de stage 2ème année dut informatique
«Les travaux dont IL est question dans le présent document ont été exécutés durant un stage de formation effectué au Centre international...

Rapport de stage du dea d’Informatique de Lyon iconRésumé Ce rapport concerne mon stage de fin d’étude de Master 2 Informatique...

Rapport de stage du dea d’Informatique de Lyon iconRapport de stage
«Etudes Référentiels Internet» (eri) pour avoir eu la gentillesse de m’accepter en stage

Rapport de stage du dea d’Informatique de Lyon iconRapport de stage

Rapport de stage du dea d’Informatique de Lyon iconRapport de stage

Rapport de stage du dea d’Informatique de Lyon iconRapport de stage

Rapport de stage du dea d’Informatique de Lyon iconRapport de stage

Rapport de stage du dea d’Informatique de Lyon iconRapport de stage

Rapport de stage du dea d’Informatique de Lyon iconRapport de stage

Rapport de stage du dea d’Informatique de Lyon iconRapport de stage








Tous droits réservés. Copyright © 2016
contacts
ar.21-bal.com