Diskussion:QA-C/MISRA
„Der Einsatz von QA-C/MISRA gewährleistet, dass der Quellcode den MISRA-Richtlinien genügt.“
Das ist so nicht richtig. Zunächst einmal gewährleistet der Einsatz von QAC höchstens, dass Abweichungen von den MISRA-Regeln erkannt werden. Und auch das tut er nicht vollständig. Zum Beispiel enthält MISRA einige semantische Regeln, deren Einhaltung kein statischer Code-Checker überprüfen kann, wie:
„Rule 14.1 (required): There shall be no unreachable code.“
Dann gibt es Regeln, die nicht (nur) den Code betreffen, wie:
„Rule 3.2 (required): The character set and the corresponding encoding shall be documented.“
Ich schlage vor, den Satz zu ändern in:
„Mit QA-C/MISRA können Abweichungen von den meisten MISRA-Richtlinien im Quellcode gefunden werden.“