From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,20280f498071efd3
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!postnews.google.com!w27g2000pre.googlegroups.com!not-for-mail
From: Jerry <lanceboyle@qwest.net>
Newsgroups: comp.lang.ada
Subject: Re: Software Quality in Science
Date: Tue, 9 Feb 2010 13:51:45 -0800 (PST)
Organization: http://groups.google.com
Message-ID: 
 <04185bf3-f83a-4fbe-b380-c6d8aa4105e6@w27g2000pre.googlegroups.com>
References: 
 <1198a288-b013-45a8-907f-7fe227e6294e@m27g2000prl.googlegroups.com>
NNTP-Posting-Host: 75.172.187.95
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
X-Trace: posting.google.com 1265752305 18662 127.0.0.1 (9 Feb 2010 21:51:45
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 9 Feb 2010 21:51:45 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: w27g2000pre.googlegroups.com; posting-host=75.172.187.95;
	posting-account=x5rpZwoAAABMN2XPwcebPWPkebpwQNJG
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10_5_8; en-US)
	AppleWebKit/528.16+(KHTML, like Gecko,
 Safari/528.16) OmniWeb/v622.8.0,gzip(gfe),gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:9051
Date: 2010-02-09T13:51:45-08:00
List-Id: <comp.lang.ada>

Here is the link in the Guardian article to the original work:

http://www.leshatton.org/Documents/Texp_ICSE297.pdf

It appears that this work was done in the 1990s. The paper is actually
fairly entertaining to read, if for nothing else how scary it is. Here
is a choice comment, about a commercial program for use in the nuclear
engineering industry:

"This package climbed to an awe-inspiring 140 weighted static faults
per 1000 lines of code, and in spite of the aspirations of its
designers, amounted to no more than a very expensive random number
generator."

And this comment which addresses the use of Ada:

"In C, note that function prototypes were well used only around 60% of
the time and as a result, interface faults accounted for about 24% of
the total. In other words, if function prototypes were mandated in all
C functions, 24% of all serious faults would disappear.  The
computational scientist should not use this as an argument in favour
of C++ or Ada in which they are mandated. A large number of new
failure modes result from this action, which lack of space prohibits
further discussion here. The net result of changing languages appears
to be that the overall defect density appears to be about the same,
(Hatton 1997). In other words, when a language corrects one
deficiency, it appears to add one of its own."

Jerry