It is pointed out that executable assertions can be used for dynamic testing of software. An executable assertion is a logical statement about the variables or a block of code. If there is no error during execution then the assertion statement results in a true value. Assertions are useful for testing purposes throughout the lifecycle of software. They can be used for validation during the design phase, and for exception handling and error detection during the operation phase. The present investigation has the objective to study the use of executable assertions for testing flight software. Attention is given to details regarding executable assertions, the digital flight control system, testing flight software, and preliminary experimental results.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Executable assertions and flight software


    Contributors:

    Conference:

    Digital Avionics Systems Conference ; 1984 ; Baltimore, MD


    Publication date :

    1984-01-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


    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