Document: NUREG-0800
Document ID: 0acce825-b76b-42b8-abac-5dd1ef880f21
Document Type: srp
Title: Diversity and
Source: NUREG-0800
Source URL: https://www.nrc.gov/docs/ML1601/ML16019A085.pdf
Revision Date: 2023-06
Chapter: 7
Section ID: 7.9
CFR Part: 
CFR Title: 

Content:
describe the technical requirements of systems and components and the systems and components themselves. The review of digital systems should include inspection of these products on an audit basis to confirm that the systems and components meet the functional requirements. Figure 7.0-A-9 of this appendix provides an overview of the process for inspection of design outputs. Candidate items for inspection include the items described in SRP Appendix 7-B, and SRP BTPs 7-17, 7-21, and 7-14, Subsection B.3.3. Software product inspection is performed by inspecting on a representative sample of the design outputs, (i.e., software requirements specifications, software design specifications, hardware and software architecture, code listings, build documents, configuration tables, operations manuals, maintenance manuals, and training manuals). The inspections should examine functional characteristics to confirm that system functional requirements have been properly implemented at each phase of the software development process. Verification and validation analyses and test reports should also be examined to extract information about the design output’s conformance with system functional requirements and to verify critical hardware and software characteristics. The inspections should also examine software development process characteristics to confirm that the products embody characteristics that are evidence of an effective and visible software development process. This step provides confidence that positive findings for the sample functional requirements to be inspected are representative of the software product as a whole. The combination of positive findings in the review of development plans, process implementation, and design outputs provides a high degree of confidence that all of the software conforms to the fundamental system requirements. This approach requires that the integrity of design outputs be maintained in the translation of code to machine language.