Details
-
Sub-task
-
Resolution: Done
-
Not Evaluated
-
None
-
Sprint 30, Sprint 31, Sprint 32
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