Software Security Chapter 4
Software Security Chapter 4
JIMMA UNIVERSITY
CHAPTER FOUR
Requirements Specification
Requirements Document
negotiation
Output of requirement specification is a complete description of a system
Discussion
Requirements Specifications
Discussion
Unambiguous,
Complete,
Verifiable,
Consistent,
Modifiable, and
Traceable
Unambiguous
conflict.
Types of likely conflicts:
Two or more requirements describe the same real world
object in different terms.
The specified characteristics of real world objects might
conflict.
There may be a logical or temporal conflict between two
specified actions.
Modifiable
The structure and style of the SRS are such that any necessary
The formality and format of a specification varies with the size and
the complexity of the software to be built.
For large systems, disciplined documentation in structured natural
language may be the best methods.
For small systems or product, free documentation in unrestricted
natural language
Free documentation
in unrestricted natural language
Unconstrained prose writing in natural language.
Unlimited expressiveness, communicability, no training needed
Prone to many of the spec errors & flaws
if Case1:then <Statement1>
AND
if Case2: then <Statement2>
Use Disciplined documentation in
structured in natural languages
Use standardized statement templates.
Title of standard:
Requirements Specification
Requirements Document