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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Automatic Generation of Test Oracles - From Pilot Studies to Application


    Contributors:

    Publication date :

    1998-01-01


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English





    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