A survey of software inspection checklists

Software inspection processes call for a checklist to provide reviewers with hints and recommendations for finding defects during the examination of a workproduct. Many checklists have been published since Michael Fagan created the inspection process in the mid-1970's. This paper surveys 117 checklists from 24 sources. Different categories of checklist items are discussed and examples are provided of good checklist items as well as those that should be avoided.

[1]  Gerald M. Weinberg,et al.  Handbook of Walkthroughs, Inspections, and Technical Reviews: Evaluating Programs, Projects, and Products , 1990 .

[2]  Brian Marick,et al.  The craft of software testing , 1994 .

[3]  Edward Yourdon,et al.  Structured walkthroughs: 4th edition , 1989 .

[4]  Thomas Gilb,et al.  Software Inspection , 1994 .

[5]  Steve Maguire,et al.  Writing Solid Code , 1993 .

[6]  Jay Johnson,et al.  Program Smarter, Not Harder: Get Mission-Critical Projects Right the First Time , 1995 .

[7]  Ian F. Darwin Checking C programs with lint , 1988 .

[8]  Les Hatton,et al.  Safer C - developing software for high-integrity and safety-critical systems , 1995, McGrawHill international series in software engineering.

[9]  Charles P. Hollocker Software Reviews and Audits Handbook , 1990 .

[10]  Bill Brykczynski,et al.  Software inspection : an industry best practice , 1996 .

[11]  John C. Knight,et al.  An improved inspection technique , 1993, CACM.

[12]  Robert Dunn,et al.  Software Defect Removal , 1984 .

[13]  Daniel Hoffman,et al.  Inspecting module interface specifications , 1994, Softw. Test. Verification Reliab..

[14]  Bill Brykczynski,et al.  Software inspection : an industry best practice , 1996 .

[15]  Watts S. Humphrey,et al.  Managing the software process , 1989, The SEI series in software engineering.

[16]  David Lorge Parnas,et al.  Active design reviews: principles and practices , 1985, ICSE '85.

[17]  Doug Smith Ada Quality and Style: Guidelines for Professional Programmers, Version 02.01.01 , 1992 .

[18]  Michael E. Fagan Design and Code Inspections to Reduce Errors in Program Development , 1976, IBM Syst. J..

[19]  Brian W. Kernighan,et al.  Elements of Programming Style , 1974 .

[20]  Watts S. Humphrey,et al.  Introduction to the Personal Software Process , 1996 .

[21]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .

[22]  Adam A. Porter,et al.  Comparing Detection Methods for Software Requirements Inspections: A Replicated Experiment , 1995, IEEE Trans. Software Eng..

[23]  Steve Maguire Writing solid code: Microsoft's techniques for developing bug-free programs , 1993 .

[24]  Adam A. Porter,et al.  An experiment to assess different defect detection methods for software requirements inspections , 1994, Proceedings of 16th International Conference on Software Engineering.

[25]  M. Hecht,et al.  Review Guidelines for Software Languages for use in Nuclear Power Plant Safety Systems , 1997 .

[26]  Allen I. Holub Enough Rope to Shoot Yourself in the Foot: Rules for C and C++ Programming , 1995 .

[27]  Watts S. Humphrey,et al.  A discipline for software engineering , 2012, Series in software engineering.

[28]  A. Frank Ackerman,et al.  Software inspections: an effective verification process , 1989, IEEE Software.

[29]  Andrew Koenig,et al.  C Traps and Pitfalls , 1989 .

[30]  Murray Hill,et al.  Lint, a C Program Checker , 1978 .