
252 SOF T WARE ENGINEERING AND TESTING
Are the number of loop executions “off by one”?
Are the pointers set to NULL where ever needed?
Are indexes initialized?
Are all variables used?
Are the arrays indexed within bounds?
Are all output variables assigned?
Are the local coding standards met?
Are all branch conditions right?
Are the labels unreferenced?
Do data definitions exploit the typing capabilities?
Do all pointers point to some object?
Will a loop always terminate?
Can statements placed in the loop be placed outside the loop?
11.5 STRUCTURED PROGRAMMING
Structured programming refers ...