Math Tostones
From DDCIDeos
Jump to navigationJump to search
Math 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
- None
Outstanding Code Tasks
- None
Outstanding Test Tasks
- Develop new test cases
- Evaluate preliminary test procedures and complete
| Requirements Development | JON | Done |
| Standards Change Analysis | Avionyx | Done |
| Initialize Status Files | Avionyx | Done |
| Requirements review | Avionyx | Done |
| Code Development, i.e. trace tag insertion and additional test points as determined via test development. | JON | Done |
| Code review | Avionyx | Done |
| Test Case Development | Avionyx | Done |
| Test Procedure Development | Avionyx | Done |
| Test Reviews | Avionyx | Done |
| Software life cycle audits | SQA - KL | Done |
| ABC SCAT Qual | Avionyx | Done |
| Before the following can be done we should confirm Ada use of the new math functions is working properly | ||
|---|---|---|
| Integration Review | KL & Avionyx | 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) | KL & Avionyx | 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 (Testing vs Release variant equivalence) | ||
| Executable Object Code Analysis Review (Testing vs Release variant equivalence) | ||
| Requirements Coverage Analysis | Avionyx | 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 | KL & Avionyx | Done |
| Test Results Review | Avionyx | Done |
| Before the following can be done the Run For Score needs to be completed | ||
| Structural coverage analysis | Avionyx | Done |
| Verification audit | KL | Done |
| Before the following can be completed all of the above tasks need to be completed | ||
| Report Documents | ||
| - SLCECI | Avionyx | Done |
| - SLCECI review | Avionyx | Done |
| - SCI | Avionyx | Done |
| - SCI review | Avionyx | Done |
| - Open Problem Reports List | TBD | Done |
| - SAS | Avionyx | Done |
| - SAS review | Avionyx | Done |
| Populate the cert archive | TBD | Done |
| Software conformity audit | KL | Done |
