The paper describes the early stages of work towards the development of specification based testing techniques for real time distributed systems. This work has taken place in the context of the aerospace industry, where the complexity and the criticality of avionic systems makes them a challenge to develop. This paper briefly presents the DoRIs/ADL notation and its proof theoretic semantics, and sketches the techniques used to represent test cases for single activities. We look forward to the issues dominating future work on the automatic generation of tests from DoRIs/ADL models. (4 pages)


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Specification-based testing for real-time avionic systems


    Beteiligte:
    Biberstein, O. (Autor:in) / Fitzgerald, J.S. (Autor:in)

    Erscheinungsdatum :

    01.01.1999


    Format / Umfang :

    1 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch




    Non-invasive testing of real-time avionic mu -processor systems

    Suchenek, M.A. / Xitong Zheng / Sarwar, G. | Tema Archiv | 1989


    Real-time emulation of modular avionic systems

    Wilcock, G. W. / ERA Technology | British Library Conference Proceedings | 1992


    Total avionic real-time simulation

    Allen, B. / Clema, J.K. | Tema Archiv | 1974



    Avionic display testing system

    JACKSON TIMOTHY EDWARD | Europäisches Patentamt | 2016

    Freier Zugriff