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

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.

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.

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.