This paper describes our experience with requirements-based validation test generation of Electronic Flight Instrumentation System (EFIS) software for small commercial jets. In 1992, Honeywell Technology Center (HTC) began a long-term project to develop a fine-grained EFIS requirements domain model using object-oriented techniques. Our long-range objectives were to automate the generation of software life-cycle artifacts such as system requirements documentation, test matrix, test software, and graphical prototypes based on the EFIS requirements model and demonstrate their reusability across various products. In 1993, to help justify the continuation of the work, we established a short-term objective of automatically generating requirements-based tests used in the V&V of the aircraft display software. We developed rule-based requirements models that described both the static and dynamic characteristics of the aircraft display system. The test generator algorithms used these rule-based requirements models along with information about the testing apparatus and policy-rich testing methodology to automatically generate test plans, automated test equipment (ATE) code, and expected test results. This paper focuses on our process of automating V&V test artifacts, the challenges we faced, the algorithms we developed, and the benefits we realized. We'll also briefly discuss our ongoing efforts in automating additional display software life-cycle artifacts.<>


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Automated validation test generation


    Beteiligte:
    Weber, R. (Autor:in) / Thelen, K. (Autor:in) / Srivastava, A. (Autor:in) / Krueger, J. (Autor:in)


    Erscheinungsdatum :

    01.01.1994


    Format / Umfang :

    532207 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Automated Validation Test Generation

    Weber, R. / Theien, K. / Srivastava, A. et al. | British Library Conference Proceedings | 1994


    Beholder Automated Data Validation in Flight Test

    Nogales, M. Arévalo | TIBKAT | 2020


    SCENARIOS FOR DEVELOPMENT, TEST AND VALIDATION OF AUTOMATED VEHICLES

    Menzel, Till / Bagschik, Gerrit / Maurer, Markus | British Library Conference Proceedings | 2018



    Scenarios for Development, Test and Validation of Automated Vehicles

    Menzel, Till / Bagschik, Gerrit / Maurer, and Markus | IEEE | 2018