DbC toolkit for test generation

We've expanded our news coverage and improved our search! Visit news.oreilly.com for the latest or search for all things across O'Reilly!

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