NTRS - NASA Technical Reports Server

Back to Results
Integrated verification and testing system (IVTS) for HAL/S programsThe IVTS is a large software system designed to support user-controlled verification analysis and testing activities for programs written in the HAL/S language. The system is composed of a user interface and user command language, analysis tools and an organized data base of host system files. The analysis tools are of four major types: (1) static analysis, (2) symbolic execution, (3) dynamic analysis (testing), and (4) documentation enhancement. The IVTS requires a split HAL/S compiler, divided at the natural separation point between the parser/lexical analyzer phase and the target machine code generator phase. The IVTS uses the internal program form (HALMAT) between these two phases as primary input for the analysis tools. The dynamic analysis component requires some way to 'execute' the object HAL/S program. The execution medium may be an interpretive simulation or an actual host or target machine.
Document ID
Document Type
Conference Paper
Senn, E. H.
(NASA Langley Research Center Hampton, VA, United States)
Ames, K. R.
(NASA Langley Research Center Hampton, VA, United States)
Smith, K. A.
(NASA Langley Research Center Hampton, VA, United States)
Date Acquired
August 11, 2013
Publication Date
July 1, 1983
Subject Category
Computer Programming And Software
Distribution Limits
No Preview Available