Ringbuffer 4.0 Verf
From DDCIDeos
Jump to navigationJump to search
Verification project for the 4.0 ringbuffer library.
Description
It adds a new API, getNumberOfUnreadMessages, changed semantics of the message sequence number, and corrects a number of PCRs, .
The 4.0.x ringbuffer library is intended for both Elbert and Fourpeaks. Development and verification should use a Fourpeaks distribution (to enable testing on MIPS).
Useful Links
- Query of all outstanding PCRs
- Query of open Rqts/Code PCRs (PCRs with requirements/code work assigned).
- Query of open test PCRs (PCRs with test work assigned).
- mainline review status
Status
We're verifying mainline, closing defect and a few enhancement PCRs.
Trace Matrix Warnings
Yes, check build log.
Issues/Concerns
None.
Test global issues
Test Team Needs Guidance
Cert Work
| Initialize Status Files | Done | |
| Requirements review | Done | |
| Code review | Done | |
| Test Case Development | Done | |
| Test Procedure Development | Done | |
| Test Reviews | Done | |
| Software life cycle audit(s) | Done | |
| ABC SCAT Qual | Done | |
| Integration Review | Done | |
| Before the following can be done the Requirements Coverage analysis' traceability needs to be confirmed and SCAT Qual need to be completed | ||
|---|---|---|
| Formal build (including Conformity inspection) | Done | |
| Before the following can be done the Formal build needs to be completed | ||
| Executable Object Code Analysis | Not Applicable | |
| Requirements Coverage Analysis | Done | |
| Before the following can be completed all of the above analysis need to be completed | ||
| Run For Score | Done | |
| - Test Results Review | Done | |
| Before the following can be done the Run For Score needs to be completed | ||
| Structural coverage analysis | Done | |
| Verification audit | Done | |
| Before the following can be done the B-Tree analysis and Run For Score needs to be completed | ||
| Stack analysis | Not Applicable | |
| Before the following can be completed all of the above tasks need to be completed | ||
| Back end Docs | ||
| - SLCECI | Done | |
| - SLCECI review | Done | |
| - SCI | Done | |
| - SCI review | Done | |
| - Open Problem Reports List | Done | |
| - SAS | Done | |
| Populate the cert archive | Done | |
| Software conformity audit | Done | |
