We describe a progression from pilot studies to development and use of domain-specific verification and validation (V&V) automation. Our domain is the testing of an AI planning system that forms a key component of an autonomous spacecraft.
Automatic Generation of Test Oracles - From Pilot Studies to Application
01.03.2000
Sonstige
Keine Angabe
Englisch
testing , validation , autonomous , analysis , verification , oracles , test , systems , planning
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