Details
-
Task
-
Resolution: Done
-
Not Evaluated
-
QSR 1.0
-
November, April 2019
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