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=-0.4 required=5.0 tests=AC_FROM_MANY_DOTS,BAYES_00 autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,31c0457c1c47fc2 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-10-22 08:21:49 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!psinet-eu-nl!psiuk-p4!psiuk-p3!uknet!psiuk-n!news.pace.co.uk!nh.pace.co.uk!not-for-mail From: "Marin David Condic" Newsgroups: comp.lang.ada Subject: Re: Have you ever had a bug caused by... Date: Mon, 22 Oct 2001 10:48:51 -0400 Organization: Posted on a server owned by Pace Micro Technology plc Message-ID: <9r1bkl$4po$1@nh.pace.co.uk> References: <27085883.0110191714.784d3d25@posting.google.com> NNTP-Posting-Host: dhcp-200-133.miami.pace.co.uk X-Trace: nh.pace.co.uk 1003762133 4920 136.170.200.133 (22 Oct 2001 14:48:53 GMT) X-Complaints-To: newsmaster@news.cam.pace.co.uk NNTP-Posting-Date: 22 Oct 2001 14:48:53 GMT X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4522.1200 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200 Xref: archiver1.google.com comp.lang.ada:15029 Date: 2001-10-22T14:48:53+00:00 List-Id: Perhaps you could collect up the contributions and submit it to AdaPower for the FAQ: Q: What sort of errors does Ada do an excellent job of catching that typically go unnoticed in other languages? A: I wish I still had the link to a study done by Lucent concerning C errors in one of their big switches. The bulk of the most common errors were things that couldn't happen in Ada. Their answer? Publish coding standards and audit the code by hand. Let's see..... My fully burdened labor cost is how many dollars an hour? And a compiler can do the checking at how many dollars an hour? And if I field a product with errors in it, that could cost me how many dollars in warranty costs and lawsuits? Hmmmmmmmm...... Why is it I'm insisting on using C again??? :-) MDC -- Marin David Condic Senior Software Engineer Pace Micro Technology Americas www.pacemicro.com Enabling the digital revolution e-Mail: marin.condic@pacemicro.com Web: http://www.mcondic.com/ "Mike Silva" wrote in message news:27085883.0110191714.784d3d25@posting.google.com... > While discussing (er, pushing) Ada with some C-coding co-workers today > I asked a question to which I knew the answer (always the best kind!): > "Have you ever had a bug caused by accessing off the end of an > array?" Well, of course, they all had to say yes. Then I started > thinking of other bugs that they would have to admit to, and which > wouldn't occur in Ada. Nothing new here (Ada prevents many bugs...), > but I thought it would be fun and useful to develop a group list as an > Ada advocacy tool. For example: > > > Have you ever had a bug caused by accessing off the end of an array? > > Have you ever had a bug caused by an implicit type conversion? > > Have you ever had a bug caused by a variable getting set to a value > outside its designed range? > > Have you ever had a bug caused by different type sizes on different > platforms? > > Have you ever had a bug caused by mixing incompatible types? > > Have you ever had a bug caused by passing parameters of incorrect > types? > > Have you ever had a bug caused by passing parameters in an incorrect > order? > > Have you ever had a bug caused by different data structure ordering on > different platforms? > > > And so on. It might also be nice to have a section of "Have you ever > wished you could..." questions. > > Anyway, such a list strikes me as a potentially useful piece of > advocacy, should anybody want to offer contributions. > > Mike