There is a trend towards the increased use of automation in V&V. Automation can yield savings in time and effort. For critical systems, where thorough V&V is required, these savings can be substantial. We describe a progression from pilot studies to development and use of V&V automation. We used pilot studies to ascertain opportunities for, and suitability of, automating various analyses whose results would contribute to V&V. These studies culminated in the development of an automatic generator of automated test oracles. This was then applied and extended in the course of testing an Al planning system that is a key component of an autonomous spacecraft.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Automatic Generation of Test Oracles - From Pilot Studies to Application


    Beteiligte:
    Feather, Martin S. (Autor:in) / Smith, Ben (Autor:in)

    Erscheinungsdatum :

    01.01.1998


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch





    Oracles in Orlando

    Garvey, W. | British Library Online Contents | 2002


    Automatic Pilot For Flight-Test Maneuvers

    Duke, Eugene L. / Jones, Frank P. / Roncoli, Ralph B. | NTRS | 1992


    Test Pilot Selection for the Next Generation

    Gray, W. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2010


    Automatic pilot

    Engineering Index Backfile | 1941