need help with tool requirement

[Kevin D. Clark]

bmcculley at rcn.com writes:

> Hint to others, I would also appreciate greatly any other
> similar tools to the Bullseye coverage analyzer, pointers
> thereto and discussion thereof.

Hint to you:  what you asked for is a solution to a very difficult
problem.  A tool like Bullseye (or PureCoverage, Insure++, etc)
doesn't really solve the problem you asked to solve.

You basically asked something like: "how do I prove Fermat's Last
Theorem?"  A tool like Bullseye will do something like grind through
the first 10 billion integers and show you that the theorem is true
*for those integers*.  But actually proving the theorem in the general
case is a different matter entirely -- *much* harder, in fact.

You asked for pointers and I've been giving you some.  Just to be
explicit, here are some pointers: the halting problem, combinatoric
explosion.

Hope this helps,

--kevin


#################################################################
#################################################################
#################################################################
#####
#####
#####
#################################################################
#################################################################
#################################################################