Description
See verification specification chapter 4.1.4 and 4.2.4
Definition of Done (DoD):
- Automatic rules check performed first with Polyspace Bug Finder tool
- If tool does not support testing of all rules that can be analyzed automatically, those rules needs to be included in manual rules checking
- Verification Specification Table 12. MISRA C++ 2008 rules requiring manual verification
- Rules are complied with unless proper reasoning provided