 |
||
|
Advanced Search |
||
|
|||||
|
Static Analysis < Verification & Validation < Results Home
|
|
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.
|
| Infuse Code Surfer into NASA Code S IV&V Process | |
| Point of Contact |
Michael Beims Michael.A.Beims@ivv.nasa.gov |
| Dates | January 2005 - October 2005 |
| Problem | The software systems that the IV&V Facility inspects are composed of multiple modules, which are often written by different development groups. A critical--and labor-intensive--part of the inspection process is to verify that dataflow and control flow across interfaces is correct. Current code-analysis tools provide limited support for this; information from multiple tools must be combined manually. |
| Objective | Reduce the amount of time it takes to inspect complex software systems for control and data flow issues by using an off-the-shelf software analysis tool with direct forward and backward data and control flow analysis capabilities. In particular, the time saved on the inspection of auto-generated code is expected to be significant. |
| Results |
Code_Surfer_Final_Report.doc |
| Keywords | Model Checking, Auto generated code, code surfer, IV&V process, processes |
| Categories |
Code Analysis Domain-Specific Analysis Static Analysis Traceability Analysis |
|
| |
|
Curator: Josh Stonestreet NASA Official: Lisa Montgomery |
|
NASA Privacy, Security, Notices |