{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

lecture-13-static-3

lecture-13-static-3 - lecture 13 Inspections Spring 2010...

Info icon This preview shows pages 1–4. Sign up to view the full content.

View Full Document Right Arrow Icon
lecture 13 - Inspections Spring 2010 CSci 5802 1 CSci 5802 Software Engineering II Inspections Chapter 18 ht Aims for Today To discuss the cost-effectiveness of static verification To describe the program inspection process To show how static analysis tools may be ttp://www.umsec.umn.edu Spring 2010 CSci 5802 2 To show how static analysis tools may be used To describe and discuss the Cleanroom software development process Static Verification Involves analysis of source text by humans or software Can be carried out on ANY documents produced as part of the software process Spring 2010 CSci 5802 3 Discovers errors early in the software process Usually more cost-effective than testing for defect detection at the unit and module level Allows defect detection to be combined with other quality checks
Image of page 1

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon