Traceability and Verification
Traceability and Verification
Traceability
Content
1. Traceability according to CMMI, IEEE and
INCOSE Handbook
2. Traceability
3. Procedure
4. Traceability Tools
5. Quality Function Deployment (QFD) Method
Sources: - IEC EN 50128 Software for Railway Control and Protection Systems
- Wiegers, K., Software Requirements, Second Edition, Microsoft Press, 2003.
- IEEE Std 1059, Guide for Verification and Validation Plans
- Capability Maturity Model Integration, Software Engineering Institute, 2006
- Systems Engineering Handbook, A How To Guide for All Engineers, 2007.
6/30/2008
2008-06-30
6/30/2008
2008-06-30
Traceability - Definitions
Traceability
A discernable association among two or more logical entities
such as requirements, system elements, verifications, or tasks.
(See also bidirectional traceability and requirements
traceability.)
Requirements traceability
A discernable association between requirements and related
requirements, implementations, and verifications.
Bidirectional traceability
An association among two or more logical entities that is
discernable in either direction (i.e., to and from an entity).
6/30/2008
6/30/2008
2008-06-30
Traceability Analysis
6/30/2008
6/30/2008
2008-06-30
Traceability
Aim
Description
Source: IEC EN 50128 Software for Railway Control and Protection Systems
6/30/2008
Traceability-Attributes
1. The requirement identification number
2. The source of the requirement
Source: SYSTEMS ENGINEERING HANDBOOK, A HOW TO GUIDE For All Engineers, Version 2.0,
10
July 2000. International Council on Systems Engineering (INCOSE).
2008-06-30
drives specification of
System Requirement,
Use Case, External
Interface Requirement,
Quality attributes
Modifies
Change
Request
is origin of
Modifies
Software
Functional
Requirement
Modifies
is satisfied by
is verified
by
Architecture, User
Interface, Functional
Design
is verified by
Integration
test
6/30/2008
System
Test
Business
Rules
is origin of
depends
on another
Leads to
creation of
Project
Plan Task
is implemented in
Code
is verified by
Unit
test
11
Adapted from: Linda Westfall, Bidirectional Requirements Traceability, SQP, Dec 2007 12
2008-06-30
Traceability Matrix
Verification methods:
Test, demonstration, analysis, inspection/examination.
6/30/2008
13
forward to
requirements
backward from
requirements
Requirements
forward from
requirements
backward to
requirements
Product
Source: Wiegers, K., Software Requirements, Second Edition, Microsoft Press, 2003.
6/30/2008
14
2008-06-30
Description
2. Traceability shall be considered applicable to both
functional and non-functional requirements and shall
particularly address:
1. Traceability of requirements to the design or other objects
which fulfill them,
2. Traceability of design objects to the implementation objects
which instantiate them,
3. Traceability of requirements and design objects to the
operational and maintenance objects required to be applied
in the safe and proper use of the system,
4. Traceability of requirements, design, implementation,
operation and maintenance objects, to the verification and
test plans and specifications which will determine their
acceptability,
5. Traceability of verification and test plans and specifications
to the test or other reports which record the results of their
application.
6/30/2008
Source: IEC EN 50128 Software for Railway Control and Protection Systems
15
Traceability
Design
Requirements
Implementation
objects
Operational and
maintenance
objects
Verification, test
plans,
specifications
Test or other
reports
6/30/2008
16
2008-06-30
Certification -Verification
2.
3.
Traceability links help find all of the system elements that might have
to be modified if you change a particular requirement.
Without traceability information, chances are high youll overlook
some of the side effects of adding, deleting, or modifying a
requirement.
Project Tracking
6/30/2008
The traceability information can be used for certification in safetycritical applications ( e.g. avionics)
To verify and demonstrate that all requirements were implemented.
Adapted from: Wiegers, K., Software Requirements, Second Edition, Microsoft Press, 2003.
17
5.
Reuse
6.
6/30/2008
Links between tests, requirements, and code point toward likely parts
of the code to examine for a bug when a test fails to yield the
intended result
Adapted from: Wiegers, K., Software Requirements, Second Edition, Microsoft Press, 2003.
18
2008-06-30
Reengineering
If you dont have complete requirements for the existing
system.
8.
6/30/2008
Adapted from: Wiegers, K., Software Requirements, Second Edition, Microsoft Press, 2003. 19
6/30/2008
Adapted from: Wiegers, K., Software Requirements, Second Edition, Microsoft Press, 2003. 20
10
2008-06-30
Parent
Use
Case
Design
Element
Code
Test Case
catalog.query.sort
UC-28
class catalog
catalog.sort()
search.7,
search.8
catalog.query.import
UC-29
class catalog
catalog.import()
search.8,
search.13,
search.14
Source: Wiegers, K., Software Requirements, Second Edition, Microsoft Press, 2003.
21
6/30/2008
system requirement
software requirement
system engineer
use case
functional requirement
requirements analyst
functional requirement
functional requirement
requirements analyst
functional requirement
system architect
functional requirement
developer
design element
source code
developer
test case
test engineer
22
11
2008-06-30
6/30/2008
23
Traceability Tool
Source: SYSTEMS ENGINEERING HANDBOOK, A HOW TO GUIDE For All Engineers, Version 2.0,
July 2000. International Council on Systems Engineering (INCOSE).
6/30/2008
24
12
2008-06-30
WHATs
WHYs
4.
5.
Technical Requirements
Relationship Matrix
Importance Ratings
7.
Engineering Assessment
8.
7
6/30/2008
6.
Compare to competitors
Priorities X Relationships
Compare design options
Correlation Matrix
Source: Haag, S, Quality Function Deployment, Communications of the ACM, Jan 1996.
25
Summary
1. Verification
2. Traceability according to IEEE Std et INCOSE
Handbook
3. Traceability
4. Procedure
5. Traceability Tools
6. Quality Function Deployment (QFD) Method
6/30/2008
26
13