Objectifs Pour améliorer les pratiques de codage et diminuer le nombre d'erreurs de programmation, on met en place un manuel de programmation qui décrit les règles à respecter lors de l'écriture de code. Il est possible de vérifier automatiquement le respect de la plupart de ces règles. Justification La vérification manuelle de règles de programmation prend beaucoup de temps et est très subjective : deux relecteurs peuvent ne pas donner le même avis. On automatisant cette vérification, on la rend très rapide (et donc plus facile à réaliser) et on supprime tout interprétation. Dans le cas d'un logiciel certifié, il est également possible de qualifier l'environnement de vérification des règles. Langages Cette technique est applicable sur des projets écrits en C, C++, Java ou Ada. Déroulement de la prestation La prestation Kalimetrix se déroule selon les phases suivantes : 1 - Lecture critique du manuel de programmation Lors de cette phase, le consultant Kalimetrix rédige un rapport sur le contenu des règles du manuel de programmation. Ce document fait apparaître des remarques portant sur des règles incompatibles, des règles contraires aux habitudes des développeurs, des règles qui pourraient être ajoutées, des règles pas assez précises... Pour chaque règle, il est indiqué si elle peut être vérifiée automatiquement ou non. Dans le cas où il n'existe pas de manuel de programmation, une analyse du style de programmation est réalisée. Celle-ci donne lieu à la proposition d'un ensemble de règles à mettre en place. 2 - Mise à jour du manuel de programmation Suite aux remarques de la phase 1 e, en fonction des avis du client, le manuel de programmation est mis à jour. Dans le cas où il n'existait pas de manuel de programmation, celui-ci est rédigé. 3 - Écriture de programmes de test Lors de cette phase, pour chaque règle du manuel de programmation, un ou plusieurs fichiers source de test sont écrits. Ils contiennent des respects de la règle concernée et des violations. par la suite, ces fichiers auront deux rôles : - ils serviront d'exemple de cas de respect et de cas de violation des règles
- ils permettront la qualification de l'environnement de vérification des règles de programmation
Lors de cette phase, des imprécisions peuvent apparaître sur certaines règles et conduisent à améliorer le manuel de programmation quand c'est nécessaire. 4 - Réalisation de l'environnement automatisé de vérification du respect des règles de programmation Customisation de l'outil utilisé pour vérifier les règles automatisables. Le bon comportement de l'environnement obtenu est vérifié par son utilisation sur les programmes de test. 5 - Réalisation des moyens de qualification de l'environnement de vérification Une procédure automatisée permet de démontrer à des autorités de certification que l'environnement de vérification a bien le comportement attendu et détectant des violation là où c'est nécessaire. Outils L'outil IBM Rational LOGISCOPE RuleChecker sert de base à ces réalisations. Fournitures- environnement de qualification
- environnement de qualification
- documentation d'utilisation
| 
