Professional Documents
Culture Documents
PezzeYoung Ch02 Framework
PezzeYoung Ch02 Framework
PezzeYoung Ch02 Framework
• Verification:
does the software system meets the
requirements specifications?
are we building the software right?
SW
Actual Specs
Requirements System
Validation Verification
Includes usability Includes testing,
testing, user inspections, static
feedback analysis
Validation
Legend
Property
Decision Pass/Fail
Program Procedure
Pessimistic
inaccuracy
simplifying the property to
check
Figure 2.2: Verification trade-off dimensions