Project

General

Profile

User story #154

Lint: MutexSem

Added by André Neto almost 10 years ago. Updated over 9 years ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Target version:
0.2
Start date:
28.06.2015
Due date:
% Done:

0%

Estimated time:
Git branch (link):
Git merge to develop (link):
SVN commit (link/?p=rev):

Description

Verify and implement coding standard using Flexelint.

Source code files modified

  • Source/Core/L0Portability/MutexSem.h
  • Source/Core/L0Portability/OperatingSystem/Linux/MutexSemOs.cpp

Architecture & design review

Date of the review: 24/07/2015

Person who did the review: Llorenç Capellà

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

Code and documentation review

Date of the review: 24/07/2015

Person who did the review: Llorenç Capellà

Result of review: PASS (MISRA compliant)

List of non-conformities: N/A.

Unit test review

Date of the review: 24/07/2015

Person who did the review: Giuseppe Ferrò

Result of coverage tests review: PASS

Result of functional tests review: PASS

Result of review: PASS

List of non-conformities:

Coverage Note: Error paths not exercized.

Associated revisions

Revision d77e2882 (diff)
Added by André Neto almost 10 years ago

MutexSem linting implementation #154.

Revision 4453f9aa (diff)
Added by André Neto almost 10 years ago

Correction of MutexSem for linting #154.

Revision 7a3c8df0 (diff)
Added by André Neto over 9 years ago

Linted implementation of MutexSem completed #154.

The MutexSem was implemented and linted. The tests executed with no
errors and all the lint issues were addressed as comments in the code.

Revision 4d11e19e (diff)
Added by Giuseppe Ferro over 9 years ago

Fixed a warning.
#154

History

#1 Updated by Riccardo Vitelli almost 10 years ago

  • Target version set to Backlog

#2 Updated by Riccardo Vitelli almost 10 years ago

  • Target version changed from Backlog to 0.2

#3 Updated by Riccardo Vitelli almost 10 years ago

  • Status changed from New to Code: Impl

#4 Updated by André Neto almost 10 years ago

  • Assignee set to André Neto

#5 Updated by Riccardo Vitelli over 9 years ago

  • Status changed from Code: Impl to Code: Rev

#6 Updated by Riccardo Vitelli over 9 years ago

  • Assignee deleted (André Neto)

#7 Updated by Llorenc Capella over 9 years ago

  • Assignee set to Llorenc Capella

#8 Updated by Llorenc Capella over 9 years ago

  • Status changed from Code: Rev to Unit: Impl

#9 Updated by Llorenc Capella over 9 years ago

  • Description updated (diff)
  • Assignee deleted (Llorenc Capella)

#10 Updated by Giuseppe Ferro over 9 years ago

  • Assignee set to Giuseppe Ferro

#11 Updated by Giuseppe Ferro over 9 years ago

Unit implementation done.

#12 Updated by Giuseppe Ferro over 9 years ago

  • Status changed from Unit: Impl to Unit: Rev

#13 Updated by Giuseppe Ferro over 9 years ago

  • Description updated (diff)
  • Status changed from Unit: Rev to Closed
  • Assignee deleted (Giuseppe Ferro)

Unit Test Review made on revision: 84835a7

Also available in: Atom PDF