Title :
Effectively Defining "Shall Not" Requirements
Author :
Voas, Jeffrey ; Laplante, Phil
Author_Institution :
SAIC, Arlington, TX, USA
Abstract :
The authors review how to define a set of "negative requirements," or hazards, starting with elicitation and discovery of shall-not requirements through system integration and testing using a process called hazard mining.
Keywords :
data mining; security of data; hazard mining; system integration; system testing; Automatic synthesis; General; Methodologies; Requirements Analysis; Requirements Elicitation; Requirements/Specifications; Specification; process; real-time systems; tools;
Journal_Title :
IT Professional
DOI :
10.1109/MITP.2009.87
