CPE 112 – Computer Methods in Engineeing

Electrical and Computer Engineering

16 of 22

UAH

CPE 112

Testing and Debugging Phases

•Problem-Solving Phase

–Algorithm Walk-Through

•Precondition - an assertion which must be true before a module is executed in order for the module to execute correctly.

•Postcondition - an assertion which will be true after the module has executed, if it has done its job properly.

•