I liked the part about turning unit tests into assertions. Too bad most of us (including me) are programming in Java, rather than something like Eiffel.

I really liked the "design by contract" stuff built into Eiffel when I read about it years ago (before there was such a thing as Java).

http://en.wikipedia.org/wiki/Eiffel_(programming_language)#D...

Contrast the notion of a class invariant with the notion of a Java Bean, which is constructed as a useless empty piece of crap, and is eventually mutated enough to represent something useful. Of course, this rant takes us into immutability in general...