Accession Number:

ADA289727

Title:

Verification and Validation Guidelines for High Integrity Systems.

Descriptive Note:

Final rept. Jul 92-Jul 94,

Corporate Author:

SOHAR INC BEVERLY HILLS CA

Personal Author(s):

• Hecht, Herbert
• Hecht, Myron
• Dinsmore, George
• Hecht, Sara
• Tang, Dong

Report Date:

1994-11-01

Pagination or Media Count:

197.0

Abstract:

Software verification and validation VV methodologies were investigated for high integrity systems. The effort was jointly sponsored by the Nuclear Regulatory Commission and the Electric Power Research Institute as a precursor to official nuclear regulatory guidance. The technology is dual-use both the nuclear and defense communities will benefit from it. A risk-based classification scheme was developed for high integrity systems. Risk is made a function of probability of failure and the severity of consequences associated with failure. The intent is to tailor the level of VV according to the classification. An error classification scheme was developed for use with a database of failure modes and failure rates of existing systems. The intent is to enable a more objective evaluation of software VV methodologies. The application of quality metrics to the high integrity software development process was explored. High integrity software verification guidance was developed for several methodologies, including reviews and audits, independent equivalent activities, backward reconstruction and algebraic methods. Verification over the entire life cycle is addressed. Two new tools, the Enhanced Condition Table Tool and the Code Analyzer Tool Set, are explored as methods of verification completely independent of the software developer. A combination of functional, structural, and statistical testing is see reverse recommended for validation. Issues covered relative to validation include how much testing is required, i.e., termination criteria and what other concerns should be addressed during validation.

Descriptors:

• *SOFTWARE ENGINEERING
• *NUCLEAR POWER PLANTS
• *COMPUTER PROGRAM VERIFICATION
• *SYSTEM SAFETY
• *COMPUTER PROGRAM RELIABILITY
• *HIGH RELIABILITY
• DATA BASES
• DIGITAL SYSTEMS
• RISK
• VALIDATION
• TOOLS
• STATISTICAL TESTS
• PROBABILITY
• ALGEBRA
• RATES
• CODING
• QUALITY
• ERRORS
• CLASSIFICATION
• TABLES(DATA)
• ELECTRIC POWER
• LIFE CYCLES
• INSTRUCTIONS
• FAULT TOLERANT COMPUTING
• AUDITING
• FAILURE(ELECTRONICS)

Subject Categories:

• Computer Programming and Software
• Nuclear Power Plants and Fission Reactor Engineering

Distribution Statement:

APPROVED FOR PUBLIC RELEASE