Verification Matrix Applied During Verification Process of Airborne Software

Activities during software verification process take more than 60% effort among entire life cycle and verification credit could be taken at various levels. Insufficient requirement-based verification may not identify the software defect completely, which leads to lower software quality, also in most cases, the tracking document only includes the relation between requirement identification ID and verification ID, which could not show whole picture of the verification work. Although verification matrix is not mentioned in DO-178B/C, ARP-4754A has corresponding sections to describe it, so it is considered that verification matrix can be applied in software verification process with reference to ARP-4754A, additionally, other attributes of software can be added to this matrix. In this article, combined with engineering experience, necessity to apply verification matrix during software verification process has demonstrated, also, instruction of how to use verification matrix has described, the benefits gained from the project has concluded.