12.07.2015 Views

Verification and Validation - Ian Sommerville

Verification and Validation - Ian Sommerville

Verification and Validation - Ian Sommerville

SHOW MORE
SHOW LESS
  • No tags were found...

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Key points●●●●Program inspections are very effective indiscovering errors.Program code in inspections is systematicallychecked by a small team to locate software faults.Static analysis tools can discover programanomalies which may be an indication of faults in thecode.The Cleanroom development process depends onincremental development, static verification <strong>and</strong>statistical testing.©<strong>Ian</strong> <strong>Sommerville</strong> 2004 Software Engineering, 7th edition. Chapter 22 Slide 46

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!