Lecture Notes for CS
325
Requirements
Specification, 29 January 2001
- requirements
specification
- analysis produces knowledge, specification
structures knowledge
- shape up form and content of information
received from analysis
- content involves completeness,
consistency
- form involves presentation
- analysis
and specification overlap and influence one another
- the
analyist as go-between for client and developers
- srd
characteristics
- a large and varied audience for a srd
- external (client) and internal (developer) characteristics
- external
- correct with respect to client's
understanding
- complete with respect to client's desires
-
the client's order by importance
- verifiable for the client
- internal
- unambiguous
- consistent
- modifiable
- traceable
- verifiable the developers
- srd components
- function, performance,
constraints, interfaces
- functional requirements
-
input-output relations
- including abnormal situations and
responses to them
- performance requirements
-
static or dynamic requirements
- static (capability or capacity)
requirements on existence
- dynamic requirements on operational
behavior
- specify measurable performance requirements
- design constraints
- usually not directly specified;
secondary affects
- standards from the fda or nasa
-
hardware constraints for power, space, environment and so on
-
unusual or severe requirements for reliability or fault tolerance
- security
- external interfaces with the user, hardware
and software
- specification languages
-
specifications must be expressed, requiring some kind of language
- structured engilsh
- natural language
-
imprecise, ambiguous, verbose
- semi-natural languages for
semantics, xml for syntax
- regular expressions
- good for describing sequences of things
- atoms,
composition, alternation, repetition
- decision tables,
good for boolean condition-action pairs
- finite state automata,
good for event-response descriptions
- srd structure
- srd standards
- document structure influenced by context,
other parties
- introduction
- specific requirements
- external interfaces
- functional behavior organized by
function, object, state, or pov
- system characteristics,
including performance
This page last modified on
29 January 2001.