 |
||
|
Advanced Search |
||
|
|||||
|
Design 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.
|
| Automated Testing & Quantitative Evaluation of Real-Time System Source Code | |
| Point of Contact |
Dr. Joel Henry henryj@cs.umt.edu |
| Dates | October 2001 - December 2003 |
| Problem | Automated testing tools and measurement-based reliability evaluation methodologies are needed to improve software quality, increase testing productivity, and enhance management insight into process and product risk. These needs must be met without inves tment in expensive hardware and achieved across multiple NASA projects. |
| Objective | This project extends a measurement-based verification methodology and supporting test tools from MATLAB models to the automatically generated source code produced from these models. The methodology and testing tools apply the same tests to code that are applied to models (via simulation) to verify and validate requirements and the corresponding software. |
| Results |
Advanced Exceptions Definitions Help.doc Create Graphical Input Mapping Program.zip project abstract.doc Requirements Specification & User Guide for MATT.zip Training.zip Release Version of RATT.zip |
| Keywords | verification methodology, real-time systems, MATLAB |
| Categories |
Code Analysis Design Analysis Dynamic Analysis Formal Methods Process Improvement Requirements Analysis Test Analysis |
|
| |
|
Curator: Josh Stonestreet NASA Official: Lisa Montgomery |
|
NASA Privacy, Security, Notices |