 |
 |
 |
 |
 |
 |
 |
 |
 |
Lecture critique de code
OBJECTIFS DE LA METHODE 
La Lecture Critique de Code permet au Maître d'Oeuvre d'un système logiciel devant satisfaire à des exigences de qualité et de Sûreté de Fonctionnement de contrôler l'application des règles de l'état de l'art en matière de qualité et de sûreté du code des logiciels (C, ADA, Modula2, Assembleurs) comme par exemple :
- les constructions peu sûres (switch case sans clause default, code mort, …),
- les anomalies du flot de contrôle (récursivité, sorties multiples de composant, …),
- les anomalies du flot de données (mémoires/sorties non rafraîchies sur un chemin d'exécution, relation d'ordre sur les entrées erronée sur un chemin d'exécution, variable globale entre traitements parallèles, entrées non initialisées, variables non utilisées, …),
- les anomalies du flot de dépendance des données (effets de bord des composants appelés, …),
- la conformité des chemins fonctionnels du code aux spécifications du logiciel (STBL, DAL),
- la traçabilité du code à ses exigences de conception (DCP, DCD).
L'ensemble de ces contrôles est réalisé à l'aide de nos outils AGFL® et APRLS® appliqués sur le code.
DEMARCHE
RESULTATS
Rapport de LCC comprenant :
- l'identification des règles de codage de Sûreté de Fonctionnement violées,
- les non conformités du code par rapport à la documentation,
- les anomalies de flots de données et de flots de contrôle,,
- les anomalies des flots de dépendances des entrées/sorties entre composants,
- les recommandations d'amélioration de la qualité et de la sûreté du code.
