IV&V Facility Research Program Results and SARP Results  

Advanced Search
Dynamic 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.
Integrating Formal Methods and Testing
Point of Contact Bojan Cukic
cukic@csee.wvu.edu
Dates October 2000 - December 2004
Problem Most IV&V techniques are qualitative in nature, yet mature software reliability estimation methods are based exclusively on operational (system level) testing. These methods, if applied in a typical NASA project IV&V environment, neglect the investment and results of most IV&V techniques (requirements readings, inspections, problem reports and tracking, unit level test, etc. This project is uniquely positioned to achieve and demonstrate the advantages of quantitative software assurance at NASA IV&V i n a quantitative software reliability estimation framework.
Objective
  1. Combine process and product metrics, problem reports and other standard qualitative software assurance methods with statistical testing with the aim of gaining higher confidence in software reliability assessment for high-assurance applications.
  2. Quantify the impact of these methods on software reliability.
  3. Demonstrate that accounting for the effectiveness of these methods reduces the number of tests needed to attain certain confidence level.
  4. Quantify and justify the reli ability estimate for systems developed using various methods.
  5. Demonstrate the advantages of this methodology on actual NASA IV&V projects.
Results Bayesian Framework for Reliability Assurance of Safety Critical Systems.pdf
Inclusion of Risk into the Bayesian Methodology.pdf
Investigate the Application of the Pre-Posterior Analysis.ps
Definition & Application of the Framework to PACS System.pdf
Keywords software testing
Categories Dynamic Analysis
Formal Methods
Test Analysis


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