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-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,1f342bb55fa91b4 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2004-02-12 02:08:42 PST Path: archiver1.google.com!news2.google.com!fu-berlin.de!uni-berlin.de!62.173.119.178!not-for-mail From: Peter Amey Newsgroups: comp.lang.ada Subject: Re: Software Quality & Fault Measurement Date: Thu, 12 Feb 2004 10:08:34 +0000 Message-ID: References: NNTP-Posting-Host: 62.173.119.178 Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Trace: news.uni-berlin.de 1076580520 40549336 I 62.173.119.178 ([69815]) User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.4) Gecko/20030624 Netscape/7.1 (ax) X-Accept-Language: en-us, en In-Reply-To: Xref: archiver1.google.com comp.lang.ada:5479 Date: 2004-02-12T10:08:34+00:00 List-Id: Michael Kelly wrote: > I'm trying to locate information on quality measurement studies that have > been done on projects using C, C++, Ada, Java, and Perl. I'm particularly > interested in materials regarding fault measurements. Any pointers would > be greatly appreciated. > > If these are not the proper newsgroups to post this to, please disregard. > Although it wasn't primarily a comparative study, some useful evidence emerged from the Lockheed C130J programme and, in particular, the certification effort sponsored by the UK MoD on that aircraft. Relevant papers from Crosstalk Journal include: "Correctness by Construction, Better Can Also be Cheaper" http://www.sparkada.com/downloads/Mar2002Amey.pdf and "Software Static Code Analysis Lessons Learned" by Andy German, QinetiQ Boscombe Down. DoD CrossTalk Journal, November 2003 http://www.stsc.hill.af.mil/crosstalk/2003/11/index.html Executive summary: C130J (Hercules II) code, already cleared to DO178 levels A or B, in a variety of languages from a variety of vendors, was reviewed and examined by an MoD-appointed contractor. Residual error rates for Ada were about an order of magnitude smaller that for C-based languages. SPARK had significantly lower error rates than Ada. Peter