Objectif

Vérifier automatiquement des règles de programmation spécifiques à une organisation.

Justification

Chaque équipe de développement a ses propres contraintes et ses propres habitudes. Il arrive souvent que l'on souhaite vérifier des caractéristiques particulières de codage et que ces vérification ne soient pas proposées par les outils standard. IBM®Rational®Logiscope RuleChecker peut être enrichi par de nouvelles vérifications.

Langages concernés

C, C++, Ada et Java.

Déroulement de la prestation

La prestation se déroule avec les étapes suivantes :

• Formalisation des vérifications à réaliser
• Ecriture d'un ensemble de programmes source qui montrent des respects et des violations des règles proposées
• Développement de scripts de vérification des règles
• Vérification du bon comportement des scripts sur les programmes source réalisés dans l'étape précédente
• Mise en place d'un environnement de qualification dans le cas où les contrôles sont à réaliser dans le cadre d'un développement certifié.

Outils utilisés

IBM®Rational®Logiscope RuleChecker

Fournitures

Kit d'installation des règles sous IBM®Rational®Logiscope RuleChecker et kit de qualification

Contactez-nous pour des informations ou un devis si cette offre vous intéresse

Offre Kalimetrix pour la mise en place de règles de codage

Outils

• IBM®Rational®Logiscope RuleChecker

Formations

•  Catalogue

 Service

• Examen critique du style de codage 
• Automatisation de la vérification de code
• Automatisation de la vérification d'un manuel de programmation
• Suivi de l'amélioration des pratiques de codage
• développement de scripts de vérification de règles spécifiques
• Recherche de fautes de codage dans une application
• Support Premium

Voir aussi

•  Qu'est-ce qu'une règle de programmation ?
• Règles de codage pour le langage C

Nous contacter