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.

Automated static analysis●●●Static analysers are software tools for sourcetext processing.They parse the program text <strong>and</strong> try todiscover potentially erroneous conditions <strong>and</strong>bring these to the attention of the V & Vteam.They are very effective as an aid toinspections - they are a supplement to butnot a replacement for inspections.©<strong>Ian</strong> <strong>Sommerville</strong> 2004 Software Engineering, 7th edition. Chapter 22 Slide 30

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

Saved successfully!

Ooh no, something went wrong!