Document: NUREG-0800
Document ID: be3ce44f-6784-4f40-baef-12c96ec1ff96
Document Type: srp
Title: provides additional guidance on digital data communications systems.
Source: NUREG-0800
Source URL: https://www.nrc.gov/docs/ML0706/ML070670183.pdf
Revision Date: 2023-06
Chapter: 7
Section ID: 7.9
CFR Part: 
CFR Title: 

Content:
methods to detect incorrectly built software releases. The software build documents should identify all errors and anomalies discovered during software build activities. Safety means that the software build activity introduces no new hazards into the safety system. Security means that the software build activity introduces no new security threats into the safety system software. B.3.3.5.2 Process Characteristics of SBDs The system build documents should exhibit each of the following software development process characteristics: completeness, consistency, correctness, style, traceability, and verifiability. Completeness means that all build procedures are fully specified. The software build documents should include all required software units, including code and data, that are part of the build. Consistency means that the software build documents are consistent with the software specifications, as described in the SRS, software design description, and software code. A consistent and uniform set of terminology, notation, and definitions should be used throughout the software build document. Correctness means that the software build documents identify the correct versions of all required software elements and all required software documents. It should be verified that the correct elements have actually been used in the build, including proper units from software libraries. Style means that the software build documents conform to applicable standards imposed by the developer. A precise definition of each technical term used in the build documents should be included in the document, or in a separate dictionary or glossary. BTP 7.14-62 Revision 5 - March 2007 Traceability means that it is possible to trace each element of the integrated builds (software subsystem or software system) backward to the code elements contained in the build. It should be possible to trace each element of the integrated build forward to the software field installation. Verifiability means that