Title :
The TSTAR autonomy test tool
Author :
Reinholtz, Kirk ; Dvorak, Dan
Author_Institution :
Jet Propulsion Lab., California Inst. of Technol., Pasadena, CA, USA
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;
Conference_Titel :
Digital Avionics Systems Conference, 1997. 16th DASC., AIAA/IEEE
Conference_Location :
Irvine, CA
Print_ISBN :
0-7803-4150-3
DOI :
10.1109/DASC.1997.635080
