CSC161 2010F Imperative Problem Solving

Class 26: Program Correctness and assert

Back to Interactive Testing. On to Debugging with DDD.

This outline is also available in PDF.

Held: Monday, 11 October 2010

Summary: We consider issues of program correctness and ways in which C's assert macro can help.

Related Pages:



Programming by Contract

Because we focus on preconditions and postconditions in 151, you may not have found much new in the reading.

Still, it is useful to keep a number of things in mind.

One then has the question of how to deal with preconditions and postconditions.

What should you do if a precondition is not met?

Additional notes

Questions and Answers



Back to Interactive Testing. On to Debugging with DDD.

Disclaimer: I usually create these pages on the fly, which means that I rarely proofread them and they may contain bad grammar and incorrect details. It also means that I tend to update them regularly (see the history for more details). Feel free to contact me with any suggestions for changes.

This document was generated by Siteweaver on Wed Dec 8 10:57:09 2010.
The source to the document was last modified on Fri Aug 13 15:41:46 2010.
This document may be found at

Samuel A. Rebelsky,