IV&V Facility Research Program Results and SARP Results  

Advanced Search
Results Home < Research

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 Quality (49)The discipline of software quality is a planned and systematic set of activities to ensure quality is built into the software.  
Quality Assurance (19)Provide assurance that the right quality assurance standards, processes and procedures have been identified by the software project. Quality Control (18)Provide assurance that the software system adequately satisfies reliability, maintainability and testability requirements. Quality Engineering (11)Provide assurance that the software project complies with the quality assurance standards, processes and procedures established.


Software Reliability (26)<li>Methods for assuring that systems are fault tolerant when software fails.</li><li>Methods for assuring that measures and the analysis of defects satisfy software reliability requirements.</li>


Software Safety (19)Systematic approaches for the identification, analysis, tracking, mitigating and controlling of software hazards.


Verification & Validation (374)Confirmation by examination and provision of objective evidence that specified requirements have been fulfilled (verification) and that the particular requirements for a specific intended use are fulfilled (validation).  
Code Analysis (35)Provide tools and methods to support the evaluation of the source code components for correctness, consistency, completeness, accuracy, readability and testability. Criticality Analysis (9)Provide methods and tools to support the criticality analysis of software systems.
Design Analysis (41)Provide tools and methods to support the evaluation of the design elements for correctness, consistency, completeness, accuracy, readability and testability. Domain-Specific Analysis (44)Methods and tools that advance the analysis of specific software domains or tools that are used during development (e.g. FPGA, Model-Based development).
Dynamic Analysis (30)Methods and tools that advance the evaluation of software artifacts based on it behavior during execution. Formal Methods (26)Methods and tools that advance the analysis of software artifacts using mathematical formalisms and informal/formal reasoning.
Interface Analysis (13)Provide tools and methods that verify and validate software interfaces with hardware, user, operator and other systems are correct, consistent, complete, accurate and testable. Issue & Risk Tracking (15)Provide mechanisms to support issue and risk management approaches.
Management & Planning of V&V (21)Developing plans, schedules and products. Developing control mechanisms to assure the V&V project is meeting their established plans. Developing assessment techniques to understand the effect project changes have on the V&V project. Process Improvement (17)Methods and tools to help gather and analyze lessons learned, risks and IV&V metrics to support the implementation of corrective actions.
Requirements Analysis (31)Provide tools and methods to support the evaluation of the requirements for correctness, consistency, completeness, accuracy, readability and testability. Reuse Analysis (4)Provide tools and methods that verify the original domain of the candidate reuse software will satisfy the domain of the new system.
Software Architecture Assessment (15)Provide tools and methods that assess the proposed architectural schema for feasibility as well as how the proposed architecture satisfies the needs of the system. Static Analysis (31)Methods and tools that advance the evaluation of software artifacts in a non-behavioral sense.
Test Analysis (23)Provide tools and methods that support the analysis of test as well as simulations. Traceability Analysis (19)Provide methods and tools that trace the software elements (system requirements to software requirements, software requirements to design, etc.) and analyze identified relationships for correctness, consistency, completeness and accuracy.


Curator: Josh Stonestreet
NASA Official: Lisa Montgomery
 NASA Insignia NASA Privacy, Security, Notices