[SystemSafety] Fetzer

[Littlewood, Bev]

Yes. I agree, of course!

B

Sent from my iPhone (in case you thought I always typed like this...)

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

Phone: +44 (0) 20 7040 8420
Fax: +44 (0) 20 7040 8585
Email: b.littlewood at csr.city.ac.uk
http://www.csr.city.ac.uk 

> On 20 Jun 2019, at 16:12, Martyn Thomas <martyn at thomas-associates.co.uk> wrote:
> 
> 
> 
> Bev
> 
> I agree, of course.
> 
> There's a lot bound up in your phrase "in appropriate circumstances" ...
> 
> Martyn
> 
>> On 20/06/2019 15:53, Littlewood, Bev wrote:
>> 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
> 
> _______________________________________________
> The System Safety Mailing List
> systemsafety at TechFak.Uni-Bielefeld.DE
> Manage your subscription: https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety