Quand on applique un outil d'analyse statique au code source d'un micrologiciel, quel problème est-il le plus apte à trouver sans exécuter le programme ?

Réponse : B. Des chemins qui lisent une variable non initialisée, et des endroits qui risquent d'accéder à un tableau hors de ses limites

L'analyse statique examine la syntaxe, le flot de contrôle et le flot de données du code source sans l'exécuter, et trouve des problèmes comme la lecture de variables non initialisées, les accès hors limites aux tableaux, les déréférencements possibles de pointeurs nuls et les violations des règles de codage (comme MISRA C, utilisé pour le C embarqué). Elle peut trouver des problèmes sur des chemins que les tests atteignent rarement, mais elle produit aussi de faux positifs, si bien que des personnes examinent les résultats. Les exigences manquantes se trouvent par des revues et des vérifications avec les utilisateurs, et les soudures défectueuses par l'inspection en fabrication et les tests sur le matériel réel ; l'analyse du code source ne peut pas les révéler.