ONJava.com -- The Independent Source for Enterprise Java
oreilly.comSafari Books Online.Conferences.


AddThis Social Bookmark Button
  Using Design by Contract in C
Subject:   DbC toolkit for test generation
Date:   2004-11-03 00:16:58
From:   Alexei Barantsev
You may be interested to look at the CTesK toolkit. It supports developing DbC-like specification in an extention of C.

The main difference from the approach described in the paper is that CTesK specifications are used for automated test generation instead of being a set of runtime asserts.