A prototype expert work station has been constructed to generate tests for Ada units. The control structure of the Ada program is automatically extracted and is represented as a decision table. A compiler syntax analyzer has been modified to accomplish this. The conditions and the rules of the decision are then translated into PROLOG and become the input to the interactive test generator. After we have some experience in applying this prototype to flight control units written in Ada, the control analyzer will be rewritten using a full Ada compiler, and the expert system will be extended to be more complete. This system will be part of a comprehensive methodology that formally represents the specifications in executable language. Thus, the specifications will be testable and will act as test monitors for integration testing.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Flight control software for test generation


    Weitere Titelangaben:

    Flugsteuerungs-Software zur Testgenerierung


    Beteiligte:
    Rung, E.R. (Autor:in) / Thelen, K.H. (Autor:in)


    Erscheinungsdatum :

    1986


    Format / Umfang :

    3 Seiten, 1 Bild, 1 Tabelle, 3 Quellen


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Model Based Analysis and Test Generation for Flight Software

    Pasareanu, Corina S. / Schumann, Johann M. / Mehlitz, Peter C. et al. | NTRS | 2009


    Model Based Analysis and Test Generation for Flight Software

    Pasareanu, Corina S. / Schumann, Johann / Mehlitz, Peter et al. | IEEE | 2009


    Loran-C flight test software

    Nickum, J. D. | NTRS | 1978