21 Juillet 2016

Logiciel de vérification de règles de codage

Invention disponible sous licence. Ref. CNES B1501. Outil d’analyse statique de code permettant d’utiliser ses propres bibliothèques de règles

Version PDF en français
English PDF version

Logiciels

 Logiciels

Synthèse de l'invention

Logiciel open source gratuit de verifi cation des règles de codage de programme utilisant des bibliothèques customisables.

Spécifications techniques

Langue: Français
Langages informatiques: Utilisable de manière opérationnelle pour les langages Fortran 77 et Fortran 90, en cours de disponibilité pour les programmes en Shell (voir mise à jour sur le site).
https://logiciels.cnes.fr/content/i-code-cnes

Avantages technologiques

Une technologie OPEN SOURCE

  • Logiciel open-source développé en plug-in de la plateforme ECLIPSE
  • Confi gurable avec vos propres bibliothèques de règles
  • Validé de façon opérationnelle par le CNES pour ses programmes spatiaux

bénéfices commerciaux

Un développement plus rapide et moins risqué

  • Les programmes informatiques développés sont robustes et respectueux des bonnes pratiques définies par l’entité
  • Les bonnes pratiques des règles de codages sont capitalisées dans les bibliothèques et standardisées au sein des équipes de programmeurs
  • Son utilisation augmente le taux de succès des tests en vérifi ant que le codage du programme a été réalisé dans les règles

Applications potentielles

Développement et vérifi cation de programme pour les systèmes embarqués des domaines:
Spatial, Aéronautique & Automobile.

Publié dans :