Premium
Implementing a Structured Verification Framework to Improve Verification Requirements Quality
Author(s) -
Haskins Bill
Publication year - 2016
Publication title -
incose international symposium
Language(s) - English
Resource type - Journals
ISSN - 2334-5837
DOI - 10.1002/j.2334-5837.2016.00199.x
Subject(s) - computer science , verification , functional verification , intelligent verification , software verification , formal verification , software engineering , runtime verification , process (computing) , verification and validation , high level verification , requirements elicitation , verifiable secret sharing , quality (philosophy) , requirements analysis , systems engineering , programming language , engineering , software , software development , software construction , operations management , philosophy , set (abstract data type) , epistemology
Verification is a process for developing evidence to show that the design satisfies the requirements. The verification process starts early in a development program and the verification requirements are defined in the verification text of a requirements document, as defined in MIL‐STD‐961, Defense and Program‐Unique Specifications Format and Content. Papers have been written to describe how to develop quality design requirements to ensure the requirements are unambiguous and verifiable, as required by ISO/IEC/IEEE 29148:2011 and related commercial and military standards, but few papers have been written to describe how to develop quality verification requirements for each design requirement. This paper describes a formal structured verification framework for developing consistent, high‐quality verification requirements, which includes using specific sentence structures to write the verification requirements with mandatory and optional elements.