Document: NUREG-0800
Document ID: f1629507-6318-4e71-94a6-9d6664ba96a3
Document Type: srp
Title: of the plant safety analysis report (SAR).  Although NRC did not endorse the annexes of
Source: NUREG-0800
Source URL: https://www.nrc.gov/docs/ML0706/ML070660327.pdf
Revision Date: 2023-06
Chapter: 7
Section ID: 7.6
CFR Part: 
CFR Title: 

Content:
ment, including software design aids, compilers, loaders, and subroutine libraries. The plan should require that tools be qualified with a degree of rigor and level of detail appropriate to the safety significance of the software which is to be developed using the tools. Methods, techniques and tools that produce results that cannot be verified to an acceptable degree or that are not compatible with safety requirements should be prohibited, unless analysis shows that the alternative would be less safe. Reviewers should thoroughly evaluate tool usage. Tools used for software development may reduce or eliminate the ability for the vendor to evaluate the output of those tools, and therefore rely on the tool, or on subsequent testing to show the software will perform as intended. Testing alone can only show that those items tested for operate as intended, and can not be relied upon to show that no unintended functions exist, or that the software will function in conditions other that those specifically tested. The use of software tools should be evaluated in the overall context of the quality control and V&V process, and there should be a method of evaluating the output of the tool. 5.3.3 Verification and Validation (IEEE Std 7-4.3.2-2003 Sub-Clause 5.3.3) V&V is an extension of the program management and systems engineering team activities. V&V is used to identify objective data and conclusions (i.e., proactive feedback) about digital system quality, performance, and development process compliance throughout the system life cycle. Feedback consists of anomaly reports, performance improvements, and quality improvements regarding the expected operating conditions across the full spectrum of the system and its interfaces. Appendix 7.1-D-10 March 2007 V&V processes provide an objective assessment of software products and processes throughout the software life cycle. This assessment demonstrates whether the system requirements and software requirements (i.e., those allotted