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.2 required=5.0 tests=BAYES_00,FROM_WORDY, INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: fac41,e01bd86884246855 X-Google-Attributes: gidfac41,public X-Google-Thread: 103376,fb1663c3ca80b502 X-Google-Attributes: gid103376,public From: "Ken Garlington" Subject: Re: Writing better software was: Design by Contract (was Re: Interesting thread in comp.lang.eiffel) Date: 2000/07/29 Message-ID: #1/1 X-Deja-AN: 652189643 References: <8ipvnj$inc$1@wanadoo.fr> <39654639.B3760EF2@eiffel.com> X-Priority: 3 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400 X-Complaints-To: abuse@flash.net X-Trace: news.flash.net 964888723 216.215.89.24 (Sat, 29 Jul 2000 11:38:43 CDT) Organization: FlashNet Communications, http://www.flash.net X-MSMail-Priority: Normal NNTP-Posting-Date: Sat, 29 Jul 2000 11:38:43 CDT Newsgroups: comp.lang.ada,comp.lang.eiffel Date: 2000-07-29T00:00:00+00:00 List-Id: "Kent Paul Dolan" wrote in message news:tavg5.2713$ED.161171@news.wenet.net... > For those interested in how to write better software, the language is > not the issue. Certainly, language is not the *only* issue, but it can have an effect on your defect rates. > Arguably the best software ever written was in some > language "HAL" of which I never heard until reading the case study in > CMU SEI's "The Capability Maturity Model". Wasn't HAL invented by Intermetrics for the space program? > The case study in the above book of necessity only follows the project > studied up to the book's publication date. Later breaking news is the > delivery of a suite of software for space shuttle control with one bug > detected ever in the delivered product. Not "one bug per KLOC", > _one_bug_. Actually, that's typical for safety-critical software -- for example, I don't think we've ever received a single defect report from the field for the production F-16 or F-111 digital flight controls. > They got to that point with management science, not computer science. Actually, we (Lockheed Martin Aero) did a benchmarking visit with the space shuttle control team last year. They will be the first to tell you that it's both "management science" and "computer science" (not that those are entirely disjoint terms). However, they will also tell you that their dollars invested per SLOC is much higher than the industry average (again, typical for safety-critical software). It may be that using more "computer science" (e.g., using more COTS) will permit lower costs while still retaining the kinds of defect rates expected for this type of software.