• DocumentCode
    1288245
  • Title

    Effectively Defining "Shall Not" Requirements

  • Author

    Voas, Jeffrey ; Laplante, Phil

  • Author_Institution
    SAIC, Arlington, TX, USA
  • Volume
    12
  • Issue
    3
  • fYear
    2010
  • Firstpage
    46
  • Lastpage
    53
  • 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;
  • fLanguage
    English
  • Journal_Title
    IT Professional
  • Publisher
    ieee
  • ISSN
    1520-9202
  • Type

    jour

  • DOI
    10.1109/MITP.2009.87
  • Filename
    5196658