Les cartes à puce sont des éléments sécurisées par de nombeures spécifications et standards. Cependant, des vulnérabilités sont parfois découvertes. Durant nos recherches sur la sécurité des cartes à puce, nous avons étudié l'évaluation des applications cartes. Dans ce papier, nous présentons un outil d'aide au développement d'applications cartes basé sur l'observation et la détection d'anomalie présente dans l'application développée par les élèves ingénieurs de l'ENSICAEN. Durant leur cursus, les élèves apprenent à développer une application carte à partir de spécifications, c'est-à-dire une applet JavaCard. La méthode d'aide au développement proposée ici est en deux parties : la première est un terminal de test permettant de détecter si une carte est correcte à chaque étape de développement, et la seconde permet d'avoir plus d'information sur une erreur possiblement existante afin de permettre le guidage du développement et de la correction d'erreurs possibles. Outre l'enseignement du développement JavaCard, l'élève acquiert, par cette méthodologie, une formation pratique axée sur la validation de développement, la détection d'erreur d'implémentation par l'utilisation d'un oracle et plus généralement l'évaluation.