Premium
Formalizing Requirements Verification and Validation
Author(s) -
Carson Ronald S.,
Noel Robert A.
Publication year - 2018
Publication title -
incose international symposium
Language(s) - English
Resource type - Journals
ISSN - 2334-5837
DOI - 10.1002/j.2334-5837.2018.00517.x
Subject(s) - rework , computer science , requirements analysis , component (thermodynamics) , non functional requirement , reliability engineering , process (computing) , set (abstract data type) , system requirements specification , requirements management , software engineering , decomposition , systems engineering , software , engineering , programming language , software system , embedded system , ecology , software construction , physics , biology , thermodynamics
The Verification and Validation of requirements are formalized using decomposition and set theory to yield four elemental criteria, verifiability, feasibility, necessity, and sufficiency, which are derived from definitions of requirements “verification” and “validation”, and “correct and complete” requirements. These criteria are mapped to the fourteen characteristics of requirements in the INCOSE Guide to Writing Requirements. Requirements parent‐child relationships are established for the verification and validation (V&V) criteria at multiple levels of a system architecture, from user needs to component requirements. Using these V&V criteria during the requirements development process would enable improved first‐pass success and less rework caused by revisiting missing, incomplete, incorrect or unnecessary requirements.