We discussed various kinds of ``verification'' techniques (inspections, reviews, walkthroughs, etc.). This exercise investigates formal inspections. We will again use the Budget Program from last year.
This exercise consists of two parts. The first part consists of the preparation for the second part, which is an in-class inspection exercise.
As we discussed in class, formal inspections require individual preparation:
On Monday, October 22, we will conduct a formal review of the code.
Submit a list of errors organized by line number, identified by checklist section and subsection and brief explanation.
line 6: Data reference error A.3: array element at this location may not be initialized. line 8: ...
At the end of your list, report the total amount of time spent on the preparation.
Include the usual title page with your name and id. Follow the general guidelines spelled out on the home page.