IV&V Facility Research Program Results and SARP Results  

Advanced Search
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.
Verification & Validation (358)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).
Categories  
Code Analysis (36)Provide tools and methods to support the evaluation of the source code components for correctness, consistency, completeness, accuracy, readability and testability. Criticality Analysis (10)Provide methods and tools to support the criticality analysis of software systems.
Design Analysis (37)Provide tools and methods to support the evaluation of the design elements for correctness, consistency, completeness, accuracy, readability and testability. Domain-Specific Analysis (46)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 (28)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 (12)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 (15)Methods and tools to help gather and analyze lessons learned, risks and IV&V metrics to support the implementation of corrective actions.
Requirements Analysis (28)Provide tools and methods to support the evaluation of the requirements for correctness, consistency, completeness, accuracy, readability and testability. Reuse Analysis (3)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 (10)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 (32)Methods and tools that advance the evaluation of software artifacts in a non-behavioral sense.
Test Analysis (24)Provide tools and methods that support the analysis of test as well as simulations. Traceability Analysis (17)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: Jitesh Gandhi - ProLogic, Inc.
NASA Official: Lisa Montgomery
 NASA Insignia NASA Privacy, Security, Notices