[SystemSafety] A Critical-System Assurance Manifesto
Derek M Jones
derek at knosof.co.uk
Tue Dec 12 14:44:01 CET 2017
Peter,
> Statistical testing sets a bound on reliability for a *specified input
> profile*. We cannot change the input profile and assume the bound still
> holds.
Can we ever hope to know what the input profile to a program
might be?
Without this attempts to build an accurate software reliability model
are doomed.
--
Derek M. Jones Software analysis
tel: +44 (0)1252 520667 blog:shape-of-code.coding-guidelines.com
More information about the systemsafety
mailing list