COMSATS Institute of Information Technology, Attock
1 Farhan Aadil
Farhan Aadil
Assistant Professor
COMSATS Institute of Information Technology
Lecture 14
Requirement Validation
COMSATS Institute of Information Technology, Attock
2 Farhan Aadil
2
Today’s Topics
COMSATS Institute of Information Technology, Attock
3 Farhan Aadil
3
Requirements Engineering Process
COMSATS Institute of Information Technology, Attock
4 Farhan Aadil
4
Validation Objectives
•
Certifies that the requirements document is an
acceptable description of the system to be
implemented
•
Checks a requirements document for
– Completeness and consistency – Conformance to standards
– Requirements conflicts – Technical errors
COMSATS Institute of Information Technology, Attock
5 Farhan Aadil
5
Analysis and Validation
• Analysis
works with raw requirements as
elicited from the system stakeholders
– “Have we got the right requirements” is the
key question to be answered at this stage
• Validation
works with a final draft of the
requirements document i.e., with
negotiated and agreed requirements
COMSATS Institute of Information Technology, Attock
6 Farhan Aadil
6
Validation Inputs and Outputs
Requirements
Validation
Requirements
document
Organizational
knowledge
Organizational
standards
List of problems
COMSATS Institute of Information Technology, Attock
7 Farhan Aadil
7
Requirements Document
COMSATS Institute of Information Technology, Attock
8 Farhan Aadil
8
Organizational Knowledge
COMSATS Institute of Information Technology, Attock
9 Farhan Aadil
9
Organizational Standards
COMSATS Institute of Information Technology, Attock
10 Farhan Aadil
10
List of Problems
COMSATS Institute of Information Technology, Attock
11 Farhan Aadil
11
Agreed Actions
• List of agreed actions in response to requirements
COMSATS Institute of Information Technology, Attock
12 Farhan Aadil
12
Requirements Reviews
COMSATS Institute of Information Technology, Attock
13 Farhan Aadil
13
Requirements Review Process
Plan review Distribute documents
Prepare for review
Hold review meeting
Follow-up actions
COMSATS Institute of Information Technology, Attock
14 Farhan Aadil
14
Review Activities - 1
• Plan review
– The review team is selected and a time and place for the review meeting is chosen
• Distribute documents
COMSATS Institute of Information Technology, Attock
15 Farhan Aadil
15
Review Activities - 2
• Prepare for review
– Individual reviewers read the requirements to find conflicts, omissions, inconsistencies, deviations from standards and other problems
• Hold review meeting
COMSATS Institute of Information Technology, Attock
16 Farhan Aadil
16
Review Activities - 3
• Follow-up actions
– The chair of the review checks that the agreed actions have been carried out
• Revise document
COMSATS Institute of Information Technology, Attock
17 Farhan Aadil
17
Problem Actions
• Requirements clarification • Missing information
COMSATS Institute of Information Technology, Attock
18 Farhan Aadil
18
Requirements Clarification
COMSATS Institute of Information Technology, Attock
19 Farhan Aadil
19
Missing Information
• Some information is missing from the requirements document. It is the responsibility of the requirements
COMSATS Institute of Information Technology, Attock
20 Farhan Aadil
20
Requirements Conflict
COMSATS Institute of Information Technology, Attock
21 Farhan Aadil
21
Unrealistic Requirement
COMSATS Institute of Information Technology, Attock
22 Farhan Aadil
22
Pre-review Checking - 1
• Reviews are expensive because they involve a number of people spending time reading and checking the
COMSATS Institute of Information Technology, Attock
23 Farhan Aadil
23
Pre-review Checking - 2
• This expense can be reduced by using pre-review checking where one person checks the document and looks for
straightforward problems such as missing requirements, lack of conformance to standards, typographical errors, etc.
COMSATS Institute of Information Technology, Attock
24 Farhan Aadil
24
Pre-review Checking Stages
COMSATS Institute of Information Technology, Attock
25 Farhan Aadil
25
Review Team Membership
•
Reviews should involve a number of stakeholders
drawn from different backgrounds
– People from different backgrounds bring different skills and knowledge to the review
– Stakeholders feel involved in the RE process and develop an understanding of the needs of other stakeholders
COMSATS Institute of Information Technology, Attock
26 Farhan Aadil
26
Validation Techniques
– Review checklists – Prototyping
– User manual development – Model validation
COMSATS Institute of Information Technology, Attock
27 27 Farhan Aadil
Review Checklists - 1
• Understandability
– Can readers of the document understand what the requirements mean?
• Redundancy
COMSATS Institute of Information Technology, Attock
28 28 Farhan Aadil
Review Checklists - 2
• Completeness
– Does the checker know of any missing requirements or is there any information missing from individual requirement
COMSATS Institute of Information Technology, Attock
29 29 Farhan Aadil
Review Checklists - 3
•
Ambiguity
– Are the requirements expressed using terms which are clearly defined? Could readers from different backgrounds make
different interpretations of the requirements?
•
Consistency
– Do the descriptions of different requirements include
COMSATS Institute of Information Technology, Attock
30 30 Farhan Aadil
Review Checklists - 4
• Organization
COMSATS Institute of Information Technology, Attock
31 31 Farhan Aadil
Review Checklists - 5
•
Conformance to standards
– Does the requirements document and individual requirements conform to defined standards? Are departures from the
standards, justified?
•
Traceability
– Are requirements unambiguously identified, include links to related requirements and to the reasons why these
COMSATS Institute of Information Technology, Attock
32 32 Farhan Aadil
Checklist Questions & Quality Attributes - 1
• Is each requirement uniquely identified?
– Traceability, conformance to standards
• Are specialized terms defined in the glossary
– Understandability
• Does a requirement stand on its own or do you
have to examine other requirements to
understand what it means?
COMSATS Institute of Information Technology, Attock
33 33 Farhan Aadil
Checklist Questions & Quality Attributes - 2
• Do individual requirements use the terms consistently
– Ambiguity
• Is the same service requested in different requirements?
Are there any contradictions in these requests?
COMSATS Institute of Information Technology, Attock
34 34 Farhan Aadil
Checklist Questions & Quality
Attributes - 3
• If a requirement makes reference to some
other facilities, are these described
elsewhere in the document?
– Completeness
• Are related requirements grouped
together? If not, do they refer to each
other?
COMSATS Institute of Information Technology, Attock
35 Farhan Aadil
Assignment 5
COMSATS Institute of Information Technology, Attock
36 36 Farhan Aadil
Prototyping
• Prototypes for requirements validation
demonstrate the requirements and help
stakeholders discover problems
• Validation prototypes should be complete,
reasonably efficient and robust. It should
be possible to use them in the same way
as the required system
COMSATS Institute of Information Technology, Attock
37 37 Farhan Aadil
Prototyping for Validation
Choose prototype
testers
Develop test scenarios
Execute scenarios
Document problems
COMSATS Institute of Information Technology, Attock
38 38 Farhan Aadil
Prototyping Activities - 1
• Choose prototype testers
– The best testers are users who are fairly experienced and who are
COMSATS Institute of Information Technology, Attock
39 39 Farhan Aadil
Prototyping Activities - 2
• Develop test scenarios
COMSATS Institute of Information Technology, Attock
40 40 Farhan Aadil
Prototyping Activities - 3
•
Execute scenarios
– The users of the system work, usually on their own, to try the system by executing the planned scenarios
•
Document problems
– Its usually best to define some kind of electronic or paper
COMSATS Institute of Information Technology, Attock
41 41 Farhan Aadil
User Manual Development - 1
COMSATS Institute of Information Technology, Attock
42 42 Farhan Aadil
User Manual Development - 2
• Information in the user manual
– Description of the functionality and how it is implemented – Which parts of the system have not been implemented – How to get out of trouble
COMSATS Institute of Information Technology, Attock
43 43 Farhan Aadil
System Models
• For some projects, system models may be developed based on the agreed set of requirements
• These models may be data-flow models of the system’s
COMSATS Institute of Information Technology, Attock
44 44 Farhan Aadil
Model Validation
• Validation of system models is an
essential part of the validation process
• Some checking is possible with automated
tools
COMSATS Institute of Information Technology, Attock
45 45 Farhan Aadil
Objectives of Model Validation
• To demonstrate that each model is
self-consistent
• If there are several models of the system,
to demonstrate that these are internally
and externally consistent
• To demonstrate that the models accurately
reflect the real requirements of system
COMSATS Institute of Information Technology, Attock
46 46 Farhan Aadil
Data-flow Diagram for Issue
COMSATS Institute of Information Technology, Attock
47 47 Farhan Aadil
Paraphrased Description
Check user
Inputs and sources User’s library card from end-user Transformation function Checks that the user is a valid library
user
Transformation outputs The user’s status
Control information User details from the database
Check item
Inputs and sources The user’s status from Check user Transformation function Checks if an item is available for issue Transformation outputs The item’s status
Control information The availability of the item
Issue item
Inputs and sources None
Transformation function Issues an item to the library user. Items are stamped with a return date.
Transformation outputs The item issued to the end user Database update details
COMSATS Institute of Information Technology, Attock
48 48 Farhan Aadil
Requirements Testing - 1
• Each requirement should be testable i.e.,
it should be possible to define tests to
check whether or not that requirement
has been met
• Inventing requirements tests is an
effective validation technique as missing
or ambiguous information in the
COMSATS Institute of Information Technology, Attock
49 49 Farhan Aadil
Requirements Testing - 2
COMSATS Institute of Information Technology, Attock
50 50 Farhan Aadil
Test Case Definition - 1
• What usage scenario might be used to
check the requirement?
COMSATS Institute of Information Technology, Attock
51 51 Farhan Aadil
Test Case Definition - 2
• Is it possible to test the requirement using a single test or are multiple test cases required?
COMSATS Institute of Information Technology, Attock
52 52 Farhan Aadil
Hard-to-Test Requirements
• System requirements • Exclusive requirements
COMSATS Institute of Information Technology, Attock
53 53 Farhan Aadil
System requirements
• Requirements which apply to the system as a whole. In
general, these are the most difficult requirements to
COMSATS Institute of Information Technology, Attock
54 54 Farhan Aadil
Exclusive Requirements
• These are requirements which exclude specific behavior.
For example, a requirement may state that system
COMSATS Institute of Information Technology, Attock
55 55 Farhan Aadil
Some Non-Functional Requirements
COMSATS Institute of Information Technology, Attock
56 Farhan Aadil
56
Summary - 1
• Requirements validation should focus on checking the final draft of the requirements document for conflicts, omissions and deviations from standards
• Inputs to the validation process are the requirements document, organizational standards and implicit
organizational knowledge. The outputs are a list of
COMSATS Institute of Information Technology, Attock
57 Farhan Aadil
57
Summary - 2
• Reviews involve a group of people making a detailed analysis of the requirements
• Review costs can be reduced by checking the requirements before the review for deviations from organizational
COMSATS Institute of Information Technology, Attock
58 58 Farhan Aadil
Summary - 3
• Checklists of what to look for may be used to drive a requirements review process
• Prototyping is effective for requirements validation if a prototype has been developed during the requirements elicitation stage
• Systems models may be validated by paraphrasing them. This means that they are systematically translated into a natural language description
• Designing tests for requirements can reveal problems with the
COMSATS Institute of Information Technology, Attock
59 59 Farhan Aadil