[SystemSafety] Thorough Test Suite?

Derek M Jones derek at knosof.co.uk
Thu Nov 14 17:59:46 CET 2019


Martyn,

> What's a "thorough test suite" and how would you recognise one? We know
> from theory and from a Boscome Down analysis that even MCDC testing can
> leave very high defect densities.

The mutation analysis people will say that a "thorough test suite"
is one that kills all mutants (one does not simply detect mutants).

MCDC testing appears to be the most thorough (and most expensive)
approach in regular use.

High defect densities?  Is this where two defects is to high?

Data on non-trivial uses is remarkable hard to come by.

I'm currently reworking the reliability chapter of my
evidence-based software engineering book (draft pdf and
data here: http://www.knosof.co.uk/ESEUR/).

If anybody knows of non-trivial MCDS testing data, that is
publicly available, lease let me know.

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


More information about the systemsafety mailing list