Research Results | Test Analysis


	Search:	Advanced Search

Test 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.

Test Analysis (24)

	Research Projects

	A Software Safety Certification Plug-in for Automated Code Generators

	Application of SAE Architecture Analysis & Design Language to IV&V of NASA Flight Projects

	Automated Testing & Quantitative Evaluation of Real-Time System Source Code

	Automated Verification & Validation of Real-Time Systems Using Simulation

	Completing the Loop: Linking Software Features to Failures

	Documenting Failures of MATLAB/Simulink Code Generator

	Effective Life-Cycle IV&V of Auto-Generated Software

	FPGA Finite State Machine (FSM) Modeling and Analysis

	Formal Methods Analysis Framework

	Formalized Pilot Study of Safety-Critical Software Anomalies

	Full Life-Cycle Defect Management Assessment

	Injecting Faults for Software Error Evaluation

	Integrating Formal Methods and Testing

	Lyapunov Stability Analysis and On-Line Monitoring

	Model-Validation in Model-Based Development

	See More! Learn More! Tell More!

	Software Engineering Research / Developer Collaborations

	Tandem Experiments in Finding Faults During Model-Based Development

	Test Coverage Analysis - A Tandem Experiment Using Available Prototypes

	The Impact of Dynamic Metrics on Identification of the Failure Prone Parts of the Software

	The Use of a Virtual System Simulator & Executable Specifications

	Using SW Eng. Methods and Techniques to Improve the Sim. Environment

	Verification and Validation of Adaptive Systems

	Virtual Environment Simulator to Test Dynamically Executing Flight Software

Curator: Jitesh Gandhi - ProLogic, Inc.
NASA Official: Lisa Montgomery