ANSI Greys Verf

Verification project for the Greys ANSI library.

Verf complete by 2017-05-04.

Description

Development and verification should use a Greys distribution.

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.

Trace Matrix Warnings

None.

Issues/Concerns

None.

Cert Work

Task	Assignment	Status
Initialize Status Files	JON	Done
Requirements review	TBR	Done
Code Development	JON	Done
Code review	TBR	Done
Test Case Development	TBR	Done
Test Procedure Development	JON	Done
Test Reviews	JON, TBR	Done
Software life cycle audit: 2017-380.pdf	KL	Done
ABC SCAT Qual	JON	Done
Integration Review	KL, JON	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 2017-388.pdf	KL, JON	Done
Before the following can be done the Formal build needs to be completed
Executable Object Code Analysis
Requirements Coverage Analysis	JON	Done
Before the following can be completed all of the above analysis need to be completed
Run For Score: 2017-391.pdf and 2017-394.pdf	JON	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
Floating Point Analysis	JON	Done
Verification audit: 2017-396.pdf	KL	Done
Before the following can be completed all of the above tasks need to be completed
Back end Docs
- 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: 2017-399.pdf	KL	Done