Dear all:

we have just released CDD (short for Contract Driven Development) for EiffelStudio Beta1. CDD brings full unit test support (including IDE integration) to EiffelStudio. It adds support for a novel kind of test cases, so called extracted test cases: when an exception is thrown it automatically creates a new test case which is able to reproduce the observed failure.

For further information and/or to download the tool please visit: http://dev.eiffel.com/CddBranch

CDD is developed at ETH Zurich at the chair of software engineering.

best regards, Andreas Leitner