Difference between revisions of "Verification (glossary)"

From SEBoK
Jump to navigation Jump to search
m (Text replacement - "SEBoK v. 2.9, released 20 November 2023" to "SEBoK v. 2.10, released 06 May 2024")
 
(57 intermediate revisions by 14 users not shown)
Line 1: Line 1:
''<blockquote>(1) Confirmation, through the provision of objective evidence, that specified requirements have been fulfilled; (ISO/IEC 25000:2005, 4.64) (ISO/IEC 2008, Section 4.38; ISO/IEEE 2008, 1, Section 4.55) </blockquote>''
+
<blockquote>(1a)'' Confirmation, through the provision of objective evidence, that specified (system) requirements have been fulfilled.'' (ISO/IEC 2008, section 4.38) </blockquote>
  
''<blockquote>(2) Formal proof of program correctness; (ISO/IEC 2009, 1) </blockquote>''
+
<blockquote>(1b)'' Verification is a set of activities that compares a system or system element against the required characteristics. This includes, but is not limited to, specified requirements, design description and the system itself. The system was built right.'' (ISO/IEC/IEEE 2015, 1, Section 6.4.6) </blockquote>
  
''<blockquote>(3) The process of evaluating a system or component to determine whether the products of a given development phase satisfy the conditions imposed at the start of that phase. (IEEE 1012-2004, 3.1.36) </blockquote>''
+
<blockquote>(2) ''The evaluation of whether or not a product, service, or system complies with a regulation, requirement, specification, or imposed condition. It is often an internal process. Contrast with validation.'' (PMI 2013) </blockquote>
  
''<blockquote>(4) Confirmation by examination and provision of objective evidence that the particular requirements for a specific intended use are fulfilled. (ISO/IEC 9126-1:2001) </blockquote>''
+
<blockquote>(3a) ''The process of evaluating a system or component to determine whether the products of a given development phase satisfy the conditions imposed at the start of that phase.'' (IEEE 1012-2004, 3.1.36) </blockquote>
  
''<blockquote>(5) The evaluation of whether or not a product, service, or system complies with a regulation, requirement, specification, or imposed condition. (PMBOK® Guide) </blockquote>''
+
<blockquote>(3b) ''Process of providing objective evidence that the software and its associated products comply with requirements for all life cycle activities during each life cycle process, satisfy standards, practices, and conventions during life cycle processes, and successfully complete each life cycle activity and satisfy all the criteria for initiating succeeding life cycle activities.'' (IEEE 829-2008, 3.1.54) </blockquote>
  
''<blockquote>(6) Process of providing objective evidence that the software and its associated products comply with requirements (e.g., for correctness, completeness, consistency, and accuracy) for all life cycle activities during each life cycle process (acquisition, supply, development, operation, and maintenance), satisfy standards, practices, and conventions during life cycle processes, and successfully complete each life cycle activity and satisfy all the criteria for initiating succeeding life cycle activities. (IEEE 829-2008, 3.1.54) </blockquote>''
+
===Source===
 +
(1) ISO/IEC/IEEE. 2015. ''Systems and Software Engineering - System Life Cycle Processes''. Geneva, Switzerland: International Organization for Standardization (ISO)/International Electrotechnical Commission (IEC)/Institute of Electrical and Electronics Engineers (IEEE). ISO/IEC/IEEE 15288:2015 (E).
  
''<blockquote>(7) Confirmation by examination and provision of objective evidence that specified requirements have been fulfilled. (ISO 8402)</blockquote>''
+
(2) PMI. 2013. ''[[A Guide to the Project Management Body of Knowledge|A Guide to the Project Management Body of Knowledge (PMBOK® Guide)]]''. 5th ed. Newtown Square, PA, USA: Project Management Institute (PMI).
  
''<blockquote>(8) The process of ensuring that a system is built according to stakeholder requirements and design specifications.</blockquote>''
+
(3) IEEE. 2004. ''IEEE Standard for Software Verification and Validation.'' Institute of Electrical and Electronics Engineers (IEEE) Standards Association: IEEE 1012-2004.
  
====Source====
+
===Discussion===
(1) ISO/IEC. 2008. ''Systems and Software Engineering - System Life Cycle Processes''. Geneva, Switzerland: International Organization for Standardization (ISO)/International Electronical Commission (IEC), ISO/IEC 15288:2008 (E).  
+
Definition (1a) refers to the outcome of providing evidence that a particular system realization is verified(i.e. Does it satisfy the specified and agreed system requirements?). The word (system) has been added to clarify the definition.
  
(2) ISO/IEC. 2009. ''Systems and Software Engineering Vocabulary (SEVocab)'' - ISO/IEC 24765. in International Organization for Standardization (ISO)/International Electronical Commission (IEC) [database online]. Geneva, Switzerland, 2009 [cited December 21 2009]. Available from http://pascal.computer.org/sev_display/index.action.  
+
Definition (1b) is based on the introduction to the verification process and refers to the process of achieving verification through a set of activities conducted across a system’s [[Life Cycle (glossary)]] to ensure the system has been built correctly. The term (engineered) system has been added to conform to SEBoK terminology.
  
(3) (IEEE 1012-2004, 3.1.36)
+
Definition (3) refers to verification at the end of each lifecycle stage that confirms that both software and systems have been developed in compliance with all standard practices and rules.
  
(4) (ISO/IEC 9126-1:2001)  
+
Verification supports the activities and outcome of validation, a process that ensures that the correct system has been built for its intended use (i.e., Does it satisfy the customer and user needs?).
  
(5) PMI. 2008. ''A Guide to the Project Management Body of Knowledge (PMBOK guide)''. 4th ed. Newtown Square, PA, USA: Project Management Institute (PMI).
+
For a full discussion of the role and importance of verification in systems engineering see the [[System Verification]] article.
 
 
(6) (IEEE 829-2008, 3.1.54)
 
 
 
(7) (ISO 8402)
 
 
 
(8) Buede, D. M. 2009. ''The Engineering Design of Systems: Models and Methods''. 2nd ed. Hoboken, NJ: John Wiley & Sons Inc.  
 
 
 
===Discussion===
 
  
 +
[[Category:Glossary of Terms]]
  
[[Category:Glossary of Terms]]
+
<center>'''SEBoK v. 2.10, released 06 May 2024'''</center>

Latest revision as of 23:13, 2 May 2024

(1a) Confirmation, through the provision of objective evidence, that specified (system) requirements have been fulfilled. (ISO/IEC 2008, section 4.38)

(1b) Verification is a set of activities that compares a system or system element against the required characteristics. This includes, but is not limited to, specified requirements, design description and the system itself. The system was built right. (ISO/IEC/IEEE 2015, 1, Section 6.4.6)

(2) The evaluation of whether or not a product, service, or system complies with a regulation, requirement, specification, or imposed condition. It is often an internal process. Contrast with validation. (PMI 2013)

(3a) The process of evaluating a system or component to determine whether the products of a given development phase satisfy the conditions imposed at the start of that phase. (IEEE 1012-2004, 3.1.36)

(3b) Process of providing objective evidence that the software and its associated products comply with requirements for all life cycle activities during each life cycle process, satisfy standards, practices, and conventions during life cycle processes, and successfully complete each life cycle activity and satisfy all the criteria for initiating succeeding life cycle activities. (IEEE 829-2008, 3.1.54)

Source

(1) ISO/IEC/IEEE. 2015. Systems and Software Engineering - System Life Cycle Processes. Geneva, Switzerland: International Organization for Standardization (ISO)/International Electrotechnical Commission (IEC)/Institute of Electrical and Electronics Engineers (IEEE). ISO/IEC/IEEE 15288:2015 (E).

(2) PMI. 2013. A Guide to the Project Management Body of Knowledge (PMBOK® Guide). 5th ed. Newtown Square, PA, USA: Project Management Institute (PMI).

(3) IEEE. 2004. IEEE Standard for Software Verification and Validation. Institute of Electrical and Electronics Engineers (IEEE) Standards Association: IEEE 1012-2004.

Discussion

Definition (1a) refers to the outcome of providing evidence that a particular system realization is verified(i.e. Does it satisfy the specified and agreed system requirements?). The word (system) has been added to clarify the definition.

Definition (1b) is based on the introduction to the verification process and refers to the process of achieving verification through a set of activities conducted across a system’s life cycle to ensure the system has been built correctly. The term (engineered) system has been added to conform to SEBoK terminology.

Definition (3) refers to verification at the end of each lifecycle stage that confirms that both software and systems have been developed in compliance with all standard practices and rules.

Verification supports the activities and outcome of validation, a process that ensures that the correct system has been built for its intended use (i.e., Does it satisfy the customer and user needs?).

For a full discussion of the role and importance of verification in systems engineering see the System Verification article.

SEBoK v. 2.10, released 06 May 2024