IOIAPI 4.2 Verf

Verification project for the 4.2 IOIAPI Library.

Description

Port code to C11 types and add missing/robust test cases.

The 4.2.x IOIAPI Library is intended for Harrys.

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 defects and a few enhancement PCRs.

Trace Matrix Warnings

None

Issues/Concerns

None.

Cert Work

Task	Assignment	Status
Standards Change Analysis	RR/GK	Done
Architecture Change Impact Analysis	RR/GK	Done
Initialize Status Files		Done
Requirements review		Done2
Code review		Done2
Test Case Development		Done
Test Procedure Development		Done
Test Reviews		Done2
Software life cycle audits	JEC	Done
ABC Qual	GK	Done
Integration Review	GK 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)	GK KL	Done
Before the following can be done the Formal build needs to be completed
Executable Object Code Analysis
Requirements Coverage Analysis	GK	Done
Before the following can be completed all of the above analysis need to be completed
Run For Score	GK KL	Done
- Test Results Review	GK	Done
Before the following can be done the Run For Score needs to be completed
Structural coverage analysis	GK	Done
Verification audit	KL	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	GK	Done
- SLCECI review	RR	Done
- SCI	GK	Done
- SCI review	RR	Done
- Open Problem Reports List	GK	Done
- SAS	GK	Done
- SAS review	RR	Done
Populate the cert archive	GK	Done
Software conformity audit	JEC	Done
Before the new baseline can be released the following must be completed
		Not applicable