Ada Root Library
From DDCIDeos
Jump to navigationJump to search
Ada Root 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
Issues detected during verification process
- (jalvarez, 2-15-2018) There is a test for the long_float function sqrt when, with the input 6.25 the function is supposed to return an exact output (2.5), however it seems to have a difference smaller than a Float'Epsilon between the expected exact result and the actual result, the function requirements will need a verification note or the code needs to be fixed in order to solve this issue. Status : Resolved.
- (jrojas, 2-15-2018) In the Log function when the input is Long_Float'Model_Small, the function doesn't seem to return an accurate output, please verify if this is a code problem or if it's required a verification note. Status : Resolved.
- (jalvarez, 2-15-2018) The Equal functions (Float and Long_Float) from the ada_testcommon compare a difference smaller than Float'Model_Epsilon(2.0**(-23)), if Long_Float'Model_Epsilon(2.0**(-52)) is used instead for the Long_Float Equal function, several tests fails in tests files tpa001, tpa003, tpa005, tpa007, tpa009, tpa011, tpa013, tpa017, tpa019, tpa021, tpa023, tpa025, tpa027, tpa029, tpa101, tpa103, tpa105, tpa111 and tpa113 as the precision seems to decrease on very large values. Status : Resolved.
| Requirements Development | JON, TBR | Done |
| Standards Change Analysis - no prior credit sought, new component; however standard changed during verification | RLF | Done |
| Initialize Status Files | JON, TBR | Done |
| Requirements review | JON, TBR, RLF | Done |
| Code Development, i.e. trace tag insertion and additional test points as determined via test development. | JON | Done |
| Compiler Exception Assessment | JON | Done |
| Code review | DM | Done |
| Test Case Development | Avionyx, RLF | Done |
| Test Procedure Development | Avionyx, RLF | Done |
| Test Reviews | Avionyx | 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 (Testing vs Release variant equivalence) | ||
| Executable Object Code Analysis Review (Testing vs Release variant equivalence) | ||
| 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 |
