Professional Documents
Culture Documents
Requirements Specification and Analysis - III
Requirements Specification and Analysis - III
Analysis - III
1
Representation of complex processing logic
•Decision trees
•Decision tables
Decision Trees
•Decision trees:
– Edges of a decision tree represent - Get details
- Create record
conditions New member
- Print bills
performed. input
Cancel
- Print bills
- Get Details
- Print Cheque
- Get Details
Cancel
- Get Details
- Print Cheque
– Cancel membership.
Example: LMS
•When the new member option
is selected, - Get details
- Create record
- Print bills
New member
Cancel
- Print bills
- Get Details
- Print Cheque
- Get details
- Create record
- Print bills
New member
- Get Details
User Renewal - Update record
input - Print bills
Cancel
- Get Details
- Print Cheque
- Delete record
Invalid option
• Actions
Display error message -- -- --
•Advantages:
– Well-defined semantics, no scope for
ambiguity
– Automated tools can check properties of
specifications
– Executable specification
Formal Specification
•Disadvantages of formal
specification techniques:
– Difficult to learn and use
– Not able to handle complex systems
Semiformal Specification
•Structured specification languages
– SADT (Structured Analysis and Design
Technique)
– PSL/PSA (Problem Statement Language/Problem
Statement Analyzer)
•PSL is a semi-formal specification language
•PSA can analyze the specifications expressed
in PSL
Executable Specification Language
36
Thank You!!