IV&V Facility Research Program Results and SARP Results  

Advanced Search
Code 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.
Code Analysis (36)Provide tools and methods to support the evaluation of the source code components for correctness, consistency, completeness, accuracy, readability and testability.
Research Projects
A Feasibility Study for Static Analysis of Binary Executables
Achieving High Software Reliability
Adapting ODC for Empirical Evaluation of Pre-Launch Anomalies
An Extensible Environment for Verifying & Validating Object-Oriented SW
Analysis of Defect Data and Defect Detectors
Architectural Analysis of Complex Evolving Systems of Systems
Automated Systems Test and Operations Language (STOL) Analysis Tool
Automated Testing & Quantitative Evaluation of Real-Time System Source Code
Classifying Software Faults to Improve Fault Detection Effectiveness
Completing the Loop: Linking Software Features to Failures
Effective Life-Cycle IV&V of Auto-Generated Software
Empirical Assurance of Embedded Software using Realistic Simulated Failure Modes
FPGA Finite State Machine (FSM) Modeling and Analysis
Full Life-Cycle Defect Management Assessment
IV&V Code Level Metrics Data Program - GALAXY
Improving IV&V Techniques Through the Analysis of Anomalies
Infuse Code Surfer into NASA Code S IV&V Process
Infusion of Code Surfer into TCMS Sustaining
Injecting Faults for Software Error Evaluation
Integrating Model Checking and Procedural Languages
Metrics Data Program
Mitigating the Risk of Legacy Software on NASA Spacecraft
Non-Parametric Software Reliability
Practical Model Checking to Enforce Domain Specific Interfaces
Program Model Checking Case Studies and Practitioner's Guide
Programmable Logic Device IV&V Research
Relationship of Cyclomatic Complexity, Essential Complexity and Error Density
See More! Learn More! Tell More!
Semantic Metrics for Object-Oriented Design
Software Visualization Techniques for IV&V
State-of-the-Art Software Inspections and Reading at NASA
Technology Infusion of CodeSonar into the Space Network Ground Segment
Technology Infusion of Klocwork InSpect into Flight SW Branch Development Processes at GSFC
Technology Infusion of SAVE into STRS Architecture Compliance Verification at GRC
Technology Infusion of SAVE into the Common Ground SW Dev. Process for NASA Missions at JHU/APL
Technology Infusion of Source Code Analysis & Error Checking into M.P. & Exec. SW Tools at JPL


Curator: Jitesh Gandhi - ProLogic, Inc.
NASA Official: Lisa Montgomery
 NASA Insignia NASA Privacy, Security, Notices