[SystemSafety] Fetzer

[Littlewood, Bev]

Hi Martyn

Your comment about claims based on process conformance is spot on. But I think you may be too harsh on testing. Testing may, in appropriate circumstances, allow justifiable probabilistic claims for reliability - something I don’t think you can get from verification (although this is not intended to be a criticism of the latter).

Cheers

Bev

On 20 Jun 2019, at 14:21, Martyn Thomas <martyn at thomas-associates.co.uk<mailto:martyn at thomas-associates.co.uk>> wrote:

Why is it that people (standards committees, for example) are happy to
support unscientific claims based on testing and process conformance but
reject the need for scientific claims based on mathematical proof?

Martyn

_______________________________________________

Bev Littlewood
Emeritus Professor of Software Engineering
Centre for Software Reliability
City, University of London
EC1V 0HB

_______________________________________________

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20190620/6b764462/attachment-0001.html>