IV&V Facility Research Program Results and SARP Results  

Advanced Search
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.


Fault-Based Analysis: Improving IV&V Through Requirements Risk Reduction
Point of Contact Jane Huffman Hayes
hayes@cs.uky.edu
Dates October 2001 - September 2004
Problem There is never enough time or money to IV&V everything. We have only high-level knowledge of how the potential existence of specific requirements faults increases the risk of NASA projects. We have only high-level knowledge of how specific IV&V techniq ues (requirements tracing, code analysis, etc.) contribute to improved NASA system software reliability and reduced risk.
Objective Building on prior research by Miller, Hayes, and Mirsky [40], develop a requirements fault taxonomy for NASA systems (expandable to a general one). Develop a taxonomy of IV&V techniques. Examine requirements analysis techniques to determine what faults they can detect. Develop guidance for NASA IV&V based on the results.
Results Accompanying Figures.ppt
Final Presentation.ppt
Final Report.doc
Report - Interim Method for Extending Taxonomies.doc
Keywords fault based analysis, requirements tracing, code analysis, fault taxonomy, critical software
Categories Issue & Risk Tracking
Requirements Analysis
Software Architecture Assessment
Traceability Analysis