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.8 required=5.0 tests=BAYES_00,PLING_QUERY autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,b6d862eabdeb1fc4 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news2.google.com!npeer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nntp.club.cc.cmu.edu!feeder.erje.net!news.mixmin.net!aioe.org!not-for-mail From: tmoran@acm.org Newsgroups: comp.lang.ada Subject: Re: Ada noob here! Is Ada widely used? Date: Sat, 5 Jun 2010 06:13:59 +0000 (UTC) Organization: Aioe.org NNTP Server Message-ID: References: <82pr06yvqu.fsf@stephe-leake.org> NNTP-Posting-Host: J4HSNf9Eqj44wTz1J3b8lQ.user.speranza.aioe.org X-Complaints-To: abuse@aioe.org X-Notice: Filtered by postfilter v. 0.8.2 X-Newsreader: Tom's custom newsreader Xref: g2news2.google.com comp.lang.ada:12265 Date: 2010-06-05T06:13:59+00:00 List-Id: >> The technical problem is that mechanical components faults have a >> stochastic nature. I.e. you have a certain probability of fault (due >> to physical processes involved in production and function of the given >> component). On the contrary, a software fault is not stochastic, >> neither in its production nor at run-time. A given bug is either here >> or not. > >Whether the bug is encountered is sometimes stochastic. But generally >you are correct. There are a set of bugs in a given piece of software. On any given day, there's a certainly probability that's when you will stumble across one. When you remove a bug you remove its probability component so the total probability of going a day without a bug is now larger (assuming any newly introduced bug is less likely than the removed one). Bugs that are more likely to bite will be found and removed sooner, so the rate of finding bugs will tend to drop. This is all describable with simple probability and statistics. If you want to claim it's "not stochastic" then I would claim neither is a physical fault - the pressure applied today on the weak joint either is or is not sufficient to cause a fracture, and metal fatigue weakening is a straightforward physical process.