| 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. |
|||||||||||||||
