Qualification Data Package
The Qualification Data Package is a set of documents and test cases which
verify and validate the C Language Implementation
of the CORDET Framework.
The Qualification Data Package consists of:
- User Manual which discusses implementation issues which are relevant to
end-users.
- User Requirements Document including:
- A set of Software Requirements which formally specify the
implementation.
- An Implementation Traceability Matrix which shows how each
requirement is implemented.
- A Verification Traceability Matrix which shows how the
implementation of each requirement is verified.
- A Validation Traceability Matrix which justifies each
requirement with respect to the intended use of the C1
Implementation.
- Test Suite with 100% statement, function, branch, and condition
coverage.
- Doxygen Documentation for the entire code base.