This paper describes an approach to automated testing of science instrument flight software using scripted commanding, telemetry capture, and intelligent telemetry verification. The most difficult piece of this approach, telemetry verification, is accomplished with a JPL-developed software package, HKCheck, which takes user-defined packet formats, error conditions, and goals, and verifies that binary telemetry meets the specified conditions. Packet formats are defined using an ASCII file, easily created in any text editor. Test-specific and context-specific error conditions are expressed using a simple C-like notation, enabling large amounts of telemetry from normal flight operation or system testing to be rapidly scanned for anomalous telemetry. Goals, like waypoints, are similarly expressed in simple notation, and allow telemetry analysts or test conductors to look for specific events in the telemetry stream. The power and flexibility of the HKCheck error and goal specification language enables context-dependent analysis of telemetry, and rapid, repeatable analysis of test results, encouraging more frequent testing, and reducing the risk of human error in test analysis. Use of HKCheck on Mars Climate Sounder enabled full regression testing of flight software every month or two, rather than just on major deliveries, giving developers confidence that software was working correctly and uncovering potential bugs earlier in the development cycle than standard methods allow. It has since been used, with extensions, on other flight projects as well.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Automated Testing of Science Instrument Flight Software


    Beteiligte:
    Mazer, Alan S. (Autor:in) / Loring, Scott M. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    2008-03-01


    Format / Umfang :

    1400612 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Automated Flight Training (AFT). Instrument Flight Maneuvers

    J. P. Charles / R. M. Johnson / J. R. Swink | NTIS | 1973



    Automated flight control functional testing

    LO JODI JO YEE / GALLO NICOLAS LUCAS / MOORE JOHNNY ROSS | Europäisches Patentamt | 2022

    Freier Zugriff


    Flight Computer Software Testing

    Shimoni, R. / IEEE / AIAA | British Library Conference Proceedings | 2004