Software attribute visualization for high integrity software
Sandia National Labs., Computer Sciences Dept., Albuquerque, NM (United States), G Pollock, USDOE Assistant Secretary for Human Resources and Administration, Washington, DC (United States) (US) · 1998
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.