The TSTAR autonomy test tool

Author

Reinholtz, Kirk ; Dvorak, Dan

Author_Institution

Jet Propulsion Lab., California Inst. of Technol., Pasadena, CA, USA

Volume

1

fYear

1997

fDate

26-30 Oct 1997

Firstpage

4.5

Abstract

The new breed of autonomous goal-driven spacecraft, contain much more onboard capability than their sequence-driven predecessors, demanding corresponding advances in software verification techniques. Although autonomous systems are deterministic, they are highly sensitive to the environment, such that the response of a system in certain contexts must be explored in detail in order to provide confidence in both the design and implementation. We describe a system verification strategy and tool based upon the automatic generation and execution a large number of tests that are “near” a given nominal mission scenario, and a novel use of formal methods to analyze the test results. Results from verifying one software system bear out the benefits of using formal behavior specifications

Keywords

aerospace computing; aerospace testing; formal languages; program testing; program verification; software engineering; NASA; TAUDIT; TSTAR autonomy test tool; automatic generation; cost; formal behavior specifications; sequence-driven predecessors; software verification; system verification strategy; Automatic testing; Costs; Kirk field collapse effect; Laboratories; Propulsion; Robustness; Software testing; Space technology; Space vehicles; System testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Digital Avionics Systems Conference, 1997. 16th DASC., AIAA/IEEE

Conference_Location

Irvine, CA

Print_ISBN

0-7803-4150-3

Type

conf

DOI

10.1109/DASC.1997.635080

Filename

635080