MARTe2 » MARTe2-core

Verify and implement coding standard using Flexelint.

h1. Source code files modified

* Source/Core/L0Portability/FastPollingMutexSem.h
* Source/Core/L0Portability/FastPollingMutexSem.cpp
* Test/Core/L0Portability/FastPollingMutexSemTest.h
* Test/Core/L0Portability/FastPollingMutexSemTest.cpp
* Test/GTest/FastPollingMutexSemGTest.cpp
* Source/Core/L0Portability/Makefile.inc

h1. Architecture & design review

*Date of the review:* 22/07/2015

*Person who did the review:* Giuseppe Ferrò

*Version of architecture & design document:* N/A. As per the original MARTe implementation, this is a support function and does not require formal design in UML.

*Result of review:* N/A

*List of non-conformities:* N/A

h1. Code and documentation review

*Date of the review:* 22/07/2015

*Person who did the review:* Giuseppe Ferrò

*Result of review:* PASS (MISRA compliant)

*List of non-conformities:* N/A

h1. Unit test review

*Date of the review:* 24/07/2015

*Person who did the review:* Ivan Herrero

*Result of coverage tests review:* PASS

*Result of functional tests review:* PASS

*Result of review:* PASS

*List of non-conformities:* N/A