28 Sep
2009
28 Sep
'09
5:28 p.m.
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...)