Downloaded from https://www.everyspec.com ADS-79D-HDBK FIGURE K-16 Software verification process The verification team is responsible for generating the test cases necessary to verify the established requirements for the system. RTCA DO-178B encourages testing at the highest level of integration possible. In other words, verify requirements at the system (end-to-end) level if at all possible and only proceed to lower integration levels (CSCI, CSC, etc.) as necessary to establish the required verification coverage. To this end, the verification team should focus on establishing test cases that verify requirements at the highest integration level possible.
An analysis of test case coverage against the high-level requirements is required for any criticality at Level D or higher. More extensive test coverage is required for higher criticality levels. This analysis is often documented in the form of a traceability of test cases to requirements, which is an excellent method for confirming test case coverage. Traceability not only identifies which test cases cover which requirements, but also provides an easy-to- understand method of identifying any missing test cases or unverified requirements. Once the appropriate test cases have been allocated, test procedures can be developed to support the verification effort.
Test procedures provide the detailed instructions to perform in order to verify the software under test. When a specific output is required for verification, that 221