Executable assertions are used to test flight control software. The techniques used for testing flight software; however, are different from the techniques used to test other kinds of software. This is because of the redundant nature of flight software. An experimental setup for testing flight software using executable assertions is described. Techniques for writing and using executable assertions to test flight software are presented. The error detection capability of assertions is studied and many examples of assertions are given. The issues of placement and complexity of assertions and the language features to support efficient use of assertions are discussed.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Executable assertions and flight software


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

    Erscheinungsdatum :

    01.11.1984


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Executable assertions and flight software

    MAHMOOD, A. / ANDREWS, D. / MCCLUSKEY, E. | AIAA | 1984


    Executable assertions and flight software

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


    Writing executable assertions to test flight software

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


    Testing flight systems with machine executable scripts

    Gibbs, Don / Bone, Brian | IEEE | 2009


    Testing Flight Systems with Machine Executable Scripts

    Gibbs, Don / Bone, Brian | NTRS | 2009