Dynamic visualization techniques for high consequence software
This report documents a prototype tool developed to investigate the use of visualization and virtual reality technologies for improving software surety confidence. The tool is utilized within the execution phase of the software life cycle. It provides a capability to monitor an executing program against prespecified requirements constraints provided in a program written in the requirements specification language SAGE. The resulting Software Attribute Visual Analysis Tool (SAVAnT) also provides a technique to assess the completeness of a software specification. The prototype tool is described along with the requirements constraint language after a brief literature review is presented. Examples of how the tool can be used are also presented. In conclusion, the most significant advantage of this tool is to provide a first step in evaluating specification completeness, and to provide a more productive method for program comprehension and debugging. The expected payoff is increased software surety confidence, increased program comprehension, and reduced development and debugging time.
- Research Organization:
- Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
- Sponsoring Organization:
- USDOE Office of Financial Management and Controller, Washington, DC (United States)
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 634072
- Report Number(s):
- SAND-98-0426C; CONF-980319-; ON: DE98003134; BR: YN0100000; TRN: AHC2DT01%%83
- Resource Relation:
- Conference: 1998 Institute of Electrical and Electronics Engineers (IEEE) aerospace conference, Snowmass, CO (United States), 21-28 Mar 1998; Other Information: PBD: Feb 1998
- Country of Publication:
- United States
- Language:
- English
Similar Records
Intelligent Process Visualization through Nuclear Operation Process Modeling, Reasoning, and Object Detection from Field Videos (Final Report)
A knowledge-based system for debugging concurrent software