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.
Automatic Generation of Test Oracles - From Pilot Studies to Application
01.01.1998
Sonstige
Keine Angabe
Englisch
British Library Online Contents | 2002
|Automatic Pilot For Flight-Test Maneuvers
NTRS | 1992
|Test Pilot Selection for the Next Generation
British Library Conference Proceedings | 2010
|Engineering Index Backfile | 1941