COMP2007-Verification & validation

Question 0

Verification & validation

How

Answer 0

Static- looking at the code

Dynamic - exercising the system - testing

Question 1

Verification & validation

Answer 1

Verification

• are we buildibg it right
  
  • discovering and eliminating defects & errors

Validation

• are we builing the right thing
  
  • ensuring what we build is going to be useful and useable

Fit for purpose, not necess. perfect

Question 2

Dijkstra

Answer 2

Program testing can be used to show the presence of defects but never their absence!