Ada RTS Library
From DDCIDeos
Jump to navigationJump to search
Ada RTS library updates to support Ada verification for Tostones.
A DAL A project.
This page tracks verification activities and progress.
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
Activities
Outstanding Questions to Customer
- None
Outstanding Requirement Tasks
- Review
Outstanding Code Tasks
- Requirements tracing, review
Outstanding Test Tasks
- Develop test cases
- Evaluate preliminary test procedures and complete
| Requirements Development | TBR | Done |
| Standards Change Analysis - no prior credit sought, new component; however code standard changed during verification | RLF | Done |
| Initialize Status Files | JON, TBR | Done |
| Requirements review | JON | Done |
| Code Development, i.e. trace tag insertion and additional test points as determined via test development. | JON | Done |
| Code review | RLF | Done |
| Test Case Development | Avionyx, RLF | Done |
| Test Procedure Development | Avionyx, RLF | Done |
| Test Reviews | TBR | Done |
| Software life cycle audits | SQA (KL) | Done |
| ABC SCAT Qual | JON | Done |
| Integration Review | JON, KL | 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) | JON, KL | Done |
| Before the following can be done the Formal build needs to be completed. Each executable object code analysis has an analysis and review task. | ||
| Executable Object Code Analysis (Stack Usage) | RLF | Done |
| Executable Object Code Analysis Review (Stack Usage) | TBR | Done |
| Requirements Coverage Analysis | JON | Done |
| Before the following can be completed all of the above analysis need to be completed. The RFS was completed with the expectation the analysis above will be successful. | ||
| Run For Score | JON, KL | Done |
| Test Results Review | JON | Done |
| Before the following can be done the Run For Score needs to be completed | ||
| Structural coverage analysis | JON | Done |
| Verification audit | SQA (KL) | Done |
| Before the following can be completed all of the above tasks need to be completed | ||
| Report Documents | ||
| - SLCECI | JON | Done |
| - SLCECI review | TBR | Done |
| - SCI | JON | Done |
| - SCI review | TBR | Done |
| - Open Problem Reports List | JON | Done |
| - SAS | JON | Done |
| - SAS review | TBR | Done |
| Populate the cert archive | JON | Done |
| Software conformity audit | SQA (KL) | Done |
