NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Automatic Generation of Test Oracles - From Pilot Studies to ApplicationWe 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.
Document ID
20210002351
Acquisition Source
Jet Propulsion Laboratory
Document Type
Other
External Source(s)
hdl:2014/13992
Authors
Smith, B.
Feather, M.
Date Acquired
March 1, 2000
Publication Date
March 1, 2000
Publication Information
Publisher: UNKNOWN
Distribution Limits
Public
Copyright
Other
Technical Review
Keywords
testing
test
oracles
verification
validation
analysis
planning
autonomous
systems

Available Downloads

There are no available downloads for this record.

Related Records

There are no records associated with this record.
No Preview Available