An executable assertion is a logical statement about the variables or a block of code. If there is no error during execution, the assertion statement results in a true value. Executable assertions can be used for dynamic testing of software. They can be employed for validation during the design phase, and exception and error detection during the operation phase. The present investigation is concerned with the problem of writing executable assertions, taking into account the use of assertions for testing flight software. They can be employed for validation during the design phase, and for exception handling and error detection during the operation phase The digital flight control system and the flight control software are discussed. The considered system provides autopilot and flight director modes of operation for automatic and manual control of the aircraft during all phases of flight. Attention is given to techniques for writing and using assertions to test flight software, an experimental setup to test flight software, and language features to support efficient use of assertions.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Writing executable assertions to test flight software


    Contributors:

    Publication date :

    1984-11-01


    Type of media :

    Conference paper


    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


    Executable assertions and 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