On Thu, Sep 23, 2010 at 1:52 PM, Antoine Pitrou <solipsis@pitrou.net> wrote:
How would an automatic check function solve anything, if you don't test
that the class does what is expected?

Automated checks are a good way to help ensure that your test coverage is good.  If the automated check fails and all the other tests pass, it means there's been an oversight in both functionality and tests.

This isn't a purely theoretical concern.  See Issues 9212 and 9213 for cases where a class purported to support an ABC but wasn't actually supplying all the methods.
Daniel Stutzbach, Ph.D.
President, Stutzbach Enterprises, LLC