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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Executable assertions and flight software


    Contributors:

    Publication date :

    1984-11-01


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English




    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 | NTRS | 2009


    Testing flight systems with machine executable scripts

    Gibbs, Don / Bone, Brian | IEEE | 2009