[SystemSafety] Data on Proof effectiveness from real projects

[Brent Kimberley]

Does the 10MLoc statistic include ladder logic ? If so, does acceptance qualify as review.  ;-)
Asa matter of interest, one gross measure that fascinates me is how many lines of the 10,000,000 + line of code body in my car has actually been reviewed by someone other than the author. 

 

    On Sunday, April 3, 2016 6:35 AM, Martyn Thomas <martyn at thomas-associates.co.uk> wrote:
 

  On 03/04/2016 08:58, Les Chambers wrote:
  
Asa matter of interest, one gross measure that fascinates me is how many lines of the 10,000,000 + line of code body in my car has actually been reviewed by someone other than the author. Right now we have a debate in Australia over the definition of free range eggs. We are moving towards one square  metre per chook (Australian for chicken) , surely VW et al , owe us an eyeball count for the lines of code in our vehicles (I don't even want to think about our aircraft).
 
 Les
 
 I'd wager that there is no-one in VW who has looked at the source code of the great majority of those lines of code, and that the authors of most of the code had no idea that it would ever be used in an automobile. 
 
 Draw your own conclusions. And get a bike.
 
 Martyn
 
 
_______________________________________________
The System Safety Mailing List
systemsafety at TechFak.Uni-Bielefeld.DE


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