JPL Technical Report Server

Automatic Generation of Test Oracles - From Pilot Studies to Application

Automatic Generation of Test Oracles - From Pilot Studies to Application

Feather, M.; Smith, B.
URI: http://hdl.handle.net/2014/13992
Date: 2000-03
Citation: Automated Software Engineering
USA

Abstract:

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.

Show full item record

Items in TRS are protected by copyright, but are furnished with U.S. government purpose use rights.

Files in this item

Thumbnail
Name: 00-0371.pdf
Size: 1.329Mb
Format: PDF
View/Open

This item appears in the following Collection(s)

Search


Browse

My Account