Tag Archives: contracts

Contracts, Preconditions & Invariants

In this post we will see what a contract is, how preconditions and invariants can be derived from the contract, and how this process can help detect bugs. Two points that I will be stressing in this post are: (1) … Continue reading

Posted in programming | Tagged , , | Leave a comment

Concealing bugs

Consider the following piece of program code. This program is expected to open file contents.txt, read names from it; then find a desired name, and do something with it. But the program will not do it, because I have a … Continue reading

Posted in programming | Tagged , , , , | 21 Comments