21 Juillet 2016
Ex4 : 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
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 :