The CORDET Framework

About

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.