Document: NUREG-0800
Document ID: a2598df1-7ec6-43a6-9d2a-d8210d1f944f
Document Type: srp
Title: through 7.9. Additional information relevant to the review process can be found in the references in
Source: NUREG-0800
Source URL: https://www.nrc.gov/docs/ML0525/ML052500461.pdf
Revision Date: 2023-06
Chapter: 7
Section ID: 7.1
CFR Part: 
CFR Title: 

Content:
requirements. Figure 7.0-A-9 provides an overview of the process for inspection of design outputs. Candidate items for inspection include the items described in Appendix 7-B, BTP HICB-17, HICB-21, and HICB-14, Section B.3.3. Software product inspection is performed by inspecting 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 with the fundamental system requirements. This approach requires that the integrity of design outputs be maintained in the translation of code to machine language. Consequently, the Staff's review should include confirmation of the integrity of this conversion. This will normally be accomplished by confirming the qualification of the mechanism and tools for performing this translation (e.g., a COTS compiler and linker) and reviewing integrated system