Ben Franksen wrote:
If it turns out that a
precise spec is unwieldy (too complex) then this is a hint that maybe it is
not a good abstraction.
Or your specification language is insufficient to describe it...
(I don't know about anybody else, but I find that when I use QC, about
75% of the bugs reported are bugs in the spec, and only 25% are bugs in
the thing I'm actually trying to test...)
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
