comp.lang.ada
 help / color / mirror / Atom feed
From: Jerry <lanceboyle@qwest.net>
Subject: Re: Software Quality in Science
Date: Tue, 9 Feb 2010 13:51:45 -0800 (PST)
Date: 2010-02-09T13:51:45-08:00	[thread overview]
Message-ID: <04185bf3-f83a-4fbe-b380-c6d8aa4105e6@w27g2000pre.googlegroups.com> (raw)
In-Reply-To: 1198a288-b013-45a8-907f-7fe227e6294e@m27g2000prl.googlegroups.com

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



  reply	other threads:[~2010-02-09 21:51 UTC|newest]

Thread overview: 41+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-02-09 21:20 Software Quality in Science Jerry
2010-02-09 21:51 ` Jerry [this message]
2010-02-09 22:00   ` Hibou57 (Yannick Duchêne)
2010-02-10  4:13     ` Thomas Wicklund
2010-02-10  5:24       ` Hibou57 (Yannick Duchêne)
2010-02-09 23:43   ` Robert A Duff
2010-02-10  1:01     ` Georg Bauhaus
2010-02-10 14:34       ` Stephen Leake
2010-02-10 15:09         ` Martin
2010-02-10 16:37         ` Robert A Duff
2010-02-10 17:05           ` Martin
2010-02-10 13:13     ` Florian Weimer
2010-02-10 13:30       ` (see below)
2010-02-10 13:38       ` Martin
2010-02-15 11:20       ` Colin Paul Gloster
2010-02-15 14:52         ` Maciej Sobczak
2010-02-15 18:48           ` Colin Paul Gloster
2010-02-10 14:29     ` Stephen Leake
2010-02-10 14:38       ` Hyman Rosen
2010-02-10 16:24         ` Robert A Duff
2010-02-15 11:32       ` Colin Paul Gloster
2010-02-15 12:19         ` Georg Bauhaus
2010-02-10 13:55   ` Ludovic Brenta
2010-02-10 14:21     ` Hibou57 (Yannick Duchêne)
2010-02-10 22:52     ` Bob Spooner
2010-02-11  8:29       ` Rick
2010-02-11 22:39   ` Hibou57 (Yannick Duchêne)
2010-02-11 23:10     ` Brian Drummond
2010-02-11 23:21       ` Hibou57 (Yannick Duchêne)
2010-02-11 23:24         ` Hibou57 (Yannick Duchêne)
2010-02-12  0:06         ` Robert A Duff
2010-02-12  0:32           ` Hibou57 (Yannick Duchêne)
2010-02-12  7:37           ` Pascal Obry
2010-02-12 10:58           ` Stephen Leake
2010-02-12 15:02             ` Robert A Duff
2010-02-15 10:49           ` Alex R. Mosteo
2010-02-12  7:37         ` Pascal Obry
2010-02-15 12:18       ` Colin Paul Gloster
2010-02-15 11:08   ` Colin Paul Gloster
2010-02-15 14:43     ` Hibou57 (Yannick Duchêne)
2010-02-15 19:01       ` Colin Paul Gloster
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox