Inspection checklists
Checklist of common errors drives inspection
Checklist dependent on programming language
Weaker type systems usually imply longer checklists
Examples
Initialization, loop termination, array bounds, ...
Previous slide
Next slide
Back to first slide
View graphic version