Pourquoi appliquer des normes de programmation?
L'adoption de normes de programmation adaptées est en train de devenir une exigence générale. Les normes telles que les directives MISRA C et le sous-ensemble sûr SPARK pour Ada (toutes deux respectées par LDRA Testbed) permettent aux entreprises de créer des projets sur des bases de codage solides. Les normes de programmation, dont le respect est considéré comme étant une bonne pratique, peuvent être automatiquement vérifiées par LDRA Testbed.
Vérification des normes de programmation
La fonction de révision de code de LDRA examine le code source afin de s'assurer qu'il n'existe aucune violation des normes de programmation, en contrôlant le fichier source à l'aide d'un surensemble fourni avec LDRA Testbed. Ce système de contrôle offre de nombreuses options de configuration:
- Des filtres définis par l'utilisateur - possibilité d'activer ou de désactiver des normes.
- Rendre des normes obligatoires optionnelles, ou vice-versa.
- Utiliser des annotations pour désactiver des normes dans des cas de violations spécifiques.
- LDRA peut mettre en oeuvre de nouvelles normes sur demande. .
LDRA Testbed signale toutes les violations de l'ensemble de normes choisi dans des rapports textuels, mais également sous forme d'annotations dans des affichages graphiques.
Ces bases peuvent facilement être mises en ouvre par LDRA Testbed et peuvent entraîner des économies à court et à long terme en ce qui concerne la durée de vie du logiciel, grâce à:
- L'intelligibilité
- La testabilité
- La facilité de maintenance
- La fiabilité
Les utilisateurs doivent décider quelles normes sont adaptées à leur projet. Certaines normes sont spécifiques au code de sécurité critique et peuvent ne pas être adaptées à tous les environnements. Par exemple:
Les normes MISRA C/MISRA-C:2004 (C/C++ uniquement)
MISRA C et MISRA C: 2004 sont des normes reconnues au niveau international qui spécifient un ensemble de normes de programmation et d'autres mesures afin de développer un système relatif à la sécurité selon les normes de meilleure pratique.
LDRA Testbed intègre la vérification MISRA C dans son système et est le seul outil qui contrôle les trois domaines devant être conformes.
- Les règles de programmation
- Les mesures de complexité
- La couverture du code
LDRA Testbed fait le lien entre les normes de programmation et la norme MISRA et indique si ces normes sont:
- Obligatoires
- Recommandées
comme le requiert la norme.
DERA C (C/C++ uniquemen)
DERA C est une extension de la norme MISRA C pour les systèmes de sécurité critique. Mise au point par les institutions UK MOD, en collaboration avec LDRA, la norme DERA C implique une analyse sophistiquée des flux de données et d'informations du code source et, par conséquent, peut uniquement être vérifiée par LDRA Testbed.
Une fois qu'un ensemble de normes à été adopté, les différents fichiers de données de LDRA Testbed doivent être configurés pour cet ensemble. Une fois cela fait, les résultats de LDRA Testbed permettront à l'utilisateur (par l'intermédiaire du rapport de qualité, du rapport de révision du code et du diagramme Kiviat) de facilement constater la conformité ou la violation de ces normes.
Obtenir plus d'informations
Pour plus d'informations sur cette fonctionnalité spécifique de TBsafe et sa disponibilité, veuillez remplir le fformulaire de réponse LDRA ou envoyer un e-mail à .
|
