[SystemSafety] Thorough Test Suite?

[Derek M Jones]

Martyn,

> When you say "a "thorough test suite" is one that kills all mutants (one
> does not simply detect mutants).", would that be "all the mutants we
> tried" or "all possible mutants"?

Obviously it's all mutants generated by the researchers tool, using
whatever cpu time they could afford.

> For the MCDC data, I was thinking of Andy German's paper "Software
> Static Code Analysis Lessons Learned" in Crosstalk, November 2003. One
> of his observations is:

This is not data, it is a summary of the data.

-- 
Derek M. Jones           Software analysis
tel: +44 (0)1252 520667  blog:shape-of-code.coding-guidelines.com