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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Verification Matrix Applied During Verification Process of Airborne Software


    Additional title:

    Lect. Notes Electrical Eng.


    Contributors:
    Liu, Yuan (author) / Guo, Qing (author) / Liu, Wen (author) / Wang, Rui (author) / Zhao, Ding (author)


    Publication date :

    2021-11-02


    Size :

    5 pages





    Type of media :

    Article/Chapter (Book)


    Type of material :

    Electronic Resource


    Language :

    English




    Verification Matrix Applied During Verification Process of Airborne Software

    Liu, Yuan / Guo, Qing / Liu, Wen et al. | TIBKAT | 2022


    Airborne software - trends in verification and validation

    Helps, K. A. / ERA Technology | British Library Conference Proceedings | 1992


    AIRBORNE SOFTWARE VERIFICATION FRAMEWORK AIMED AT AIRWORTHINESS

    Wu, Y. / Liu, B. / International Council of the Aeronautical Sciences; Optimage Ltd | British Library Conference Proceedings | 2010


    Moving Object Verification from Airborne Video

    Zhanfeng Yue, / Chellappa, R. / Guarino, D. | IEEE | 2006