Document: NUREG-0800
Document ID: 4f141c71-35ca-4353-9047-a13efe6d56b7
Document Type: srp
Title: Revision 6 - August 2016
Source: NUREG-0800
Source URL: https://www.nrc.gov/docs/ML1601/ML16019A308.pdf
Revision Date: 2023-06
Chapter: 7
Section ID: 7
CFR Part: 
CFR Title: 

Content:
is required to perform are derived from the general functional requirements of the safety system, and the assignment of functional requirements to the software in the overall system design. (See also the definition of “Complete” in Clause 4.3.3 of IEEE Std 830, which is endorsed by RG 1.172.) Consistency - The degree of freedom from contradiction within a single document or among the different documents and components. There are two aspects to consistency. Internal consistency denotes the consistency within the different parts of a component for example, a software design output is internally consistent if no set of design elements are mutually contradictory. External consistency denotes the consistency between one component and another for example, software requirements and the resulting code are consistent with one another if there are no contradictions between the requirements and the code. (See also the definition of “Consistent” in Clause 4.3.4 of IEEE Std 830, which is endorsed by RG 1.172.) Correctness - The degree to which a design output is free from faults in its specification, design, and implementation. There is considerable overlap between correctness properties and properties of other characteristics such as accuracy and completeness. (See also the definition of “Correct” in Clause 4.3.1 of IEEE Std 830, which is endorsed by RG 1.172.) Style - The form and structure of a planning document, implementation process document or design output. Document style refers to the structure and form of a document. This has connotations of understandability, readability, and modifiability. Programming style refers to the programming language characteristics of the software and programming techniques which are mandated, encouraged, discouraged, or prohibited in a given implementation. Traceability - The degree to which each element of one life cycle product can be traced forward to one or more elements of a successor life cycle product, and can be traced