http://onestepback.org/index.cgi/Tech/Programming/DbcAndTesting.html

Wiki:DesignByContract