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.“

--92.226.195.193 22:05, 18. Okt. 2011 (CEST)