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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Dynamic Assertion Testing of Flight Control Software


    Beteiligte:
    D. M. Andrews (Autor:in) / A. Mahmood (Autor:in) / E. J. Mccluskey (Autor:in)

    Erscheinungsdatum :

    1985


    Format / Umfang :

    25 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch




    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