Debugging by Thinking: A Multidisciplinary Approach (HP Technologies)

A.1 Design errors

A.1.1 Data structures

• A data definition is missing.

• A data definition is incorrect.

• A data definition is unclear.

• A data definition is contradictory.

• A data definition is out of order.

• A shared-data access control is missing.

• A shared-data access control is incorrect.

• A shared-data access control is out of order.

A.1.2 Algorithms

• A logic sequence is missing.

• A logic sequence is superfluous.

• A logic sequence is incorrect.

• A logic sequence is out of order.

• An input check is missing.

• An input check is superfluous.

• An input check is incorrect.

• An input check is out of order.

• An output definition is missing.

• An output definition is superfluous.

• An output definition is incorrect.

• An output definition is out of order.

• A special-condition handler is missing.

• A special-condition handler is superfluous.

• A special-condition handler is incorrect.

• A special-condition handler is out of order.

A.1.3 User-interface specification

• An assumption about the user is invalid.

• A specification item is missing.

• A specification item is superfluous.

• A specification item is incorrect.

• A specification item is unclear.

• Specification items are out of order.

A.1.4 Software-interface specification

• An assumption about collateral software is invalid.

• A specification item is missing.

• A specification item is superfluous.

• A specification item is incorrect.

• A specification item is unclear.

• Specification items are out of order.

A.1.5 Hardware-interface specification

• An assumption about the hardware is invalid.

• A specification item is missing.

• A specification item is superfluous.

• A specification item is incorrect.

• A specification item is unclear.

• Specification items are out of order.