Document: NUREG-0800
Document ID: fea61ff0-f344-4101-adfb-590e3d9dfafe
Document Type: srp
Title: Draft Revision 6 – August 2015
Source: NUREG-0800
Source URL: https://www.nrc.gov/docs/ML1515/ML15159A946.pdf
Revision Date: 2023-06
Chapter: 7
Section ID: 7
CFR Part: 
CFR Title: 

Content:
nt 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.) BTP 7.14-8 Draft Revision 6 - August 2015 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 backwards to one or more elements of a predecessor life cycle product. Traceability is central to the production of complex systems to ensure all requirements are implemented, checked and tested. (See also the definition of “Traceable” in Clause 4.3.8 of IEEE Std 830, which is endorsed by RG 1.172.) Unambiguity - The degree to which each element of a product, and of all elements taken together, have only one interpretation. (See also the definition of “Unambiguous” in Clause 4.3.2 of IEEE Std 830, which is endorsed by RG 1.172.) Verifiability - The degree