Difference between revisions of "Verification (glossary)"

From SEBoK
Jump to navigation Jump to search
m (Text replace - "{{5comments}}" to "")
m (Text replacement - "SEBoK v. 2.9, released 13 November 2023" to "SEBoK v. 2.9, released 20 November 2023")
(38 intermediate revisions by 9 users not shown)
Line 1: Line 1:
<blockquote>(1)'' Confirmation, through the provision of objective evidence, that specified [[Requirement (glossary)|requirements]] have been fulfilled;'' (ISO/IEC 25000:2005, 4.64) (ISO/IEC 2008, 4.38; ISO/IEEE 2008, 1, 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 (glossary)|program]] correctness; ''(ISO/IEC/IEEE. 2010, 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 (glossary)|process]] of evaluating a [[System (glossary)|system]] or [[Component (glossary)|component]] to determine whether the [[Product (glossary)|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 (glossary)|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 (glossary)|software]] and its associated products comply with requirements (e.g., for correctness, completeness, consistency, and accuracy) for all [[Life Cycle (glossary)|life cycle]] activities during each life cycle process ([[Acquisition (glossary)|acquisition]], supply, development, operation, and [[Maintenance (glossary)|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 (glossary)|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 Electrotechnical 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.
  
ISO/IEC. 2005. ''Software Engineering — Software Product Quality Requirements and Evaluation (SQuaRE) -- Guide to SQuaRE''. Geneva, Switzerland: International Organization for Standardization (ISO)/International Electrotechnical Commission (IEC). ISO/IEC 25000:2005.
+
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.
  
(2) ISO/IEC/IEEE. 2010. ''Systems and Software Engineering -- Vocabulary (SEVocab)'' Geneva, Switzerland: International Organization for Standardization (ISO)/International Electrotechnical Commission (IEC)/Institute of Electrical and Electronic Engineers (IEEE) 2009 ISO/IEC/IEEE 24765:2010 [database online]. Available from http://pascal.computer.org/sev_display/index.action.  
+
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.
  
(3) IEEE. 2004. ''IEEE Standard for Software Verification and Validation.'' Institute of Electrical and Electronics Engineers (IEEE) Standards Association: IEEE 1012-2004.
+
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?).
  
(4) ISO/IEC. 2001. ''Software engineering — Product quality — Part 1'' Geneva, Switzerland: International Organization for Standardization (ISO)/International Electrotechnical Commission (IEC).: ISO/IEC 9126-1:2001.
+
For a full discussion of the role and importance of verification in systems engineering see the [[System Verification]] article.
 
 
(5) PMI. 2008. ''A Guide to the Project Management Body of Knowledge (PMBOK guide)''. 4th ed. Newtown Square, PA, USA: Project Management Institute (PMI).
 
 
 
(6) IEEE. 2008. ''IEEE Standard for Software and System Test Documentation'' Institute of Electrical and Electronics Engineers (IEEE) Standards Association: IEEE 829-2008.
 
 
 
(7) ISO 8402. 1994. ''Quality Management and Quality Assurance — Vocabulary'' Geneva, Switzerland: International Organization for Standardization (ISO). ISO 8402:1994
 
 
 
(8) Buede, D. M. 2009. ''The Engineering Design of Systems: Models and Methods''. 2nd ed. Hoboken, NJ, USA: John Wiley & Sons Inc.
 
 
 
===Discussion===
 
''Verification'' is a process to answer the question ''Have we built the system right?'' (i.e., does it satisfy the system requirements?)
 
 
 
''Validation'' answers the question ''Have we built the right system?'' (i.e., does it satisfy the customer and user needs?)
 
  
 
[[Category:Glossary of Terms]]
 
[[Category:Glossary of Terms]]
  
 
+
<center>'''SEBoK v. 2.9, released 20 November 2023'''</center>
{{DISQUS}}
 

Revision as of 23:08, 18 November 2023

(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.9, released 20 November 2023