Digital Flight Control System (DFCS) software was used as a test case for assertion testing. The assertions were written and embedded in the code, then errors were inserted (seeded) one at a time and the code executed. Results indicate that assertion testing is an effective and efficient method of detecting errors in flight software. Most errors are eliminate at an earlier stage in the development than before.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Dynamic Assertion Testing of Flight Control Software


    Contributors:

    Publication date :

    1985


    Size :

    25 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English




    Dynamic assertion testing of flight control software

    Andrews, D. M. / Mahmood, A. / Mccluskey, E. J. | NTRS | 1985


    Instrumentation in flight-control software testing

    Yuefei, L. / Junhong, G. / Chenggang, B. et al. | British Library Online Contents | 2009



    Flight Computer Software Testing

    Shimoni, R. / IEEE / AIAA | British Library Conference Proceedings | 2004


    Rasat ADCS flight software testing with Dynamic Attitude Simulator Environment

    Yavuzyilmaz, C. / Akbas, M. / Acar, Y. et al. | IEEE | 2011