Professional Documents
Culture Documents
Validation
By:
DHEERAJ SRINATH
131GCMA035
SEM III SEC-D
Critical Systems
Mission-critical systems
Failure results in failure of some goal-directed activity;
Spacecraft navigation system;
Business-critical systems
Failure results in high economic losses;
Customer accounting system in a bank;
Validation Parameters
Reliability validation
specification?
Is system reliability good enough to satisfy users?
Safety validation
Security validation
Validation Techniques
Static techniques
Dynamic techniques
statistical testing
scenario-based testing
run-time checking
Process validation
structured arguments
mathematical proofs
Dynamic Validation
Concerned with validating system during its
execution.
Testing techniques
Run-time checking
Safety Validation
Design validation
Code validation
Run-time validation
Reliability Validation
Involves exercising the program to assess
profile
Test the system and observe both the number
of failure and the times of the failures
Compute the reliability after a statistically
significant number of failures have been
observed
Security Validation
Similar to safety validation in that the goal is to
Security Validation
Techniques
Experience-based validation
Tool-based validation
Tiger teams
Review Tips
Keep software as simple as possible
Avoid error prone software constructs during
implementation
Use information hiding to localize effects of
data corruption
Make appropriate use of fault tolerant
techniques
THANK YOU