Home
Education Page
Description
Schedule
Mailinglists

Literature
Book
Slides
WebLog

Assignments
Learning Wiki
Personal Log
Projects
Reviews

Center
Master Program

Software Inspection

Swe04

Software inspections are reviews of the code with the purpose of detecting defects. In an inspection someone other than the programmer reads a program unit of limited size to determine whether it satisfies the requirements and specification. A formal process and checklist are used to ensure that no aspects are forgotten. Work by Fagan at IBM in the early 70's showed inspections to be very effective. Porter et al. place questions on the effectiveness of inspections in current software development.

----+++ Literature and Links

   * Fagan, Michael; Design and Code Inspections to Reduce Errors in Program Development. IBM Systems Journal, 15(3):182-211, 1976.

   * Adam Porter, Harvey Siy, and Lawrence Votta. A review of software inspections. In Marvin Zelkowitz, editor, Software Process, volume 42 of Advances in Computers. Academic Press, 1996.

   * [[http://satc.gsfc.nasa.gov/fi/fipage.html][Software Formal Inspections]] at NASA [[http://satc.gsfc.nasa.gov/][Software Assurance Technology Center]]

   * [[http://www.dacs.dtic.mil/databases/url/key.hts?keycode=165][Software Inspections]] (DACS)

   * [[http://www.sei.cmu.edu/str/descriptions/inspections_body.html][SEI description of inspection]]

   * Adam Porter, Harvey Siy, and Lawrence Votta. [[http://citeseer.nj.nec.com/rd/4704060%2C52434%2C1%2C0.25%2CDownload/http://citeseer.nj.nec.com/cache/papers/cs/1391/ftp:zSzzSzftp.cs.umd.eduzSzpubzSzpaperszSzpaperszSzncstrl.umcpzSzCS-TR-3552zSzCS-TR-3552.ps.gz/porter96review.ps.gz][A Review of Software Inspections]] In Marvin Zelkowitz, editor, Software Process, volume 42 of Advances in Computers. Academic Press, 1996. 

   * http://www.testing.com/