IV&V Facility Research Program Results and SARP Results  

Advanced Search
Click here to complete a short survey. The results of this survey will be used to help us improve the research program and this website.

Click here to view research projects that had new research results added in the last 90 days.


Software Interface Analysis Tool (SIAT) C/C++
Point of Contact Randy Hefner
Randy.H.Hefner@ivv.nasa.gov
Dates October 2000 - September 2002
Problem As software systems get larger and more complex, we must improve existing techniques and practices for defining and reviewing interface related specifications and code. The ability to perform more comprehensive V&V will depend on the level of automated support available.
Objective The main objective is to complete the implementation of support for the C++ language to match the existing Software Interface Analysis Tool (SIAT) capabilities that already exist for the Ada language. This tool provides a collaborative analysis tool for NASA enterprise adoption with no client side licensing costs (e.g. no per seat cost like charged by most COTS vendors).
Results End of Year Report.doc
SIAT Demo NAS2-96024-01-189.ppt
SIAT End of Year Report 2001.doc
SIAT C++ Software Requirement Specification.doc
SIAT C++ Version 2.0 Software Test Descriptions.doc
SIAT C++ Version 2.1 Demonstration.ppt
SIAT C++ Version 2.1 Installation Guide.doc
SIAT C++ Version 2.1 User's Guide.doc
SIAT C++ Version 2.1 Version Description Document.doc
SIAT InstallGuide NAS2-96024-01-1861.doc
SIAT InterfaceDesign NAS2-96024-00-232.ppt
SIAT SoftwareDesign NAS2-96024-00-231.doc
SIAT SWReqSpec NAS2-96024-00-193.doc
SIAT V2Demo NAS2-96024-01-147.ppt
SIAT V2SWTestDes NAS2-96024-01-0711.doc
SIAT VerDescripDoc NAS2-96024-01-1871.doc
SIAT C++ V 2.1 Execution Software Libraries.tar.gz
SIAT C++ V 2.2 Execution Software Libraries.tar.gz
Keywords SIAT, safety-critical application, external interface data, COTS, static code analysis, CSCI interfaces
Categories Interface Analysis
Static Analysis