Aller au menu Aller au contenu
L'école d'ingénieur en systèmes avancés et réseaux

> Entreprises > Projets Industriels

PI08 - Outil d’analyse statique et dynamique de règles de codage pour terminal de paiement

Mots-clé

Analyse Statique, Plug-in Eclipse, Terminaux de paiement, Java, C

Millésime

2013-2014

Entreprise

INGENICO

Equipe projet

BERTRAND Hadrien
DUPERTHUY Emilien
FISCHER Cyril

Contexte du projet

La société INGENICO est l’un des principaux fournisseurs mondiaux de solutions de paiement dans le monde. Dû à la nature sensible des traitements effectués par les terminaux de paiement, les applications d’INGENICO doivent respecter des contraintes de qualité logicielle fortes.
Dans ce but, INGENICO dispose d’un ensemble de règles à respecter assurant le bon fonctionnement des applications. INGENICO souhaiterait disposer en plus d’un outil capable de vérifier le bon respect de ces règles automatiquement.
Le but du projet est d’étudier la faisabilité d’un tel outil. Cette étude servira pour le développement ultérieur de ce dernier.

Méthodes et développements


La branche de l’informatique s’intéressant à la vérification de règles s’appelle l’analyse de code. C’est un domaine actif de recherche à la frontière entre les mathématiques et l’informatique.
Afin de réaliser l’étude, il a été nécessaire de séparer les techniques ayant fait leurs preuves dans l’industrie des techniques encore trop expérimentales.

Résultats et conclusion

Une étude de faisabilité :>
  • Certaines vérifications sont impossibles à réaliser car demandent la résolution de problèmes indécidables.
  • Pour les règles vérifiables, création d’un démonstrateur basé sur un outil existant nommé Codan.
Un outil intégrable à leur processus de développement, le démonstrateur ayant été jugé de qualité suffisante par INGENICO.


mise à jour le 23 juillet 2014

Université Grenoble Alpes