The MISRA-C: 2012 Guidelines CT-AUT Practice Questions (Page 4)

Questions 16–20

1. 16foundation · easy

   What is the role of static analysis in ensuring MISRA-C:2012 compliance?

   • AIt can automatically fix all MISRA violations without human intervention.
   • BIt can replace all other testing activities, including dynamic testing.
   • CIt can identify potential violations of decidable rules, but undecidable rules still require human review.
   • DIt is only useful for documentation purposes, not for finding violations.
   Reveal Solution Discussion Select an answer first
2. 17foundation · easy

   What is the primary benefit of using a static analysis tool for MISRA-C:2012 compliance checking?

   • AIt can replace the need for any human review of the code.
   • BIt can automatically fix all MISRA violations without human intervention.
   • CIt can guarantee that the code is free of all defects.
   • DIt can automatically check a large number of rules quickly and consistently.
   Reveal Solution Discussion Select an answer first
4. 18foundation · easy

   What is the difference between a directive and a rule in MISRA-C:2012?

   • ADirectives are general principles that require interpretation, while rules are specific requirements that can be checked mechanically.
   • BDirectives apply only to the compiler, while rules apply only to the source code.
   • CDirectives are mandatory, while rules are advisory.
   • DDirectives are optional, while rules are mandatory.
   Reveal Solution Discussion Select an answer first
5. 19foundation · easy

   What is the implication of a 'Required' rule in MISRA-C:2012?

   • AIt must be followed, but a formal deviation process can be used if a violation is necessary.
   • BIt is a rule that must be followed only if the compiler supports it.
   • CIt is a suggestion that can be ignored without any formal process.
   • DIt is only applicable to code that is safety-critical.
   Reveal Solution Discussion Select an answer first
6. 20foundation · easy

   How can MISRA-C:2012 be applied during code review?

   • ABy compiling the code with a MISRA-compliant compiler.
   • BBy manually checking every line of code against all rules, including undecidable ones.
   • CBy running the code on a target hardware to observe its behavior.
   • DBy using a static analysis tool to automatically check for violations of decidable rules.
   Reveal Solution Discussion Select an answer first