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-Thread: 103376,ac9405996d0dcb7f X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!fu-berlin.de!uni-berlin.de!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Would You Fly an Airplane with a Linux-Based Control System? Date: Sat, 27 Nov 2004 14:44:20 +0100 Organization: cbb software GmbH Message-ID: <1rb2snrdt9kkl$.x7h5x1qezhyn.dlg@40tude.net> References: <20619edc.0411251028.3e249bf3@posting.google.com> <20619edc.0411261258.7eb4a32b@posting.google.com> <1josae5ppsp2e$.11y9sfglefjrl.dlg@40tude.net> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Trace: news.uni-berlin.de eRpG6ni6lciNnSZ8YQAURwCITCH/PVyyHKIpr894BDkquIJAA= User-Agent: 40tude_Dialog/2.0.12.1 Xref: g2news1.google.com comp.lang.ada:6550 Date: 2004-11-27T14:44:20+01:00 List-Id: On Sat, 27 Nov 2004 09:51:21 +0000, Marius Amado Alves wrote: >>>A defect in a specification is a bug. >> >> Maybe, but it is not a bug *in* the program that implements that >> specification. > > Ok. I understand your concept of "bug" is stronger than mine. And the > general public's. Nope. Public perfectly understands that if a rocket explodes there should be something explosive in it, a bug for instance, or maybe fuel? (:-)) > I guess this story cannot be made short. Just make > sure you don't blame the hardware. I don't blame the hardware. However, using your theory why not to blame it? Look, let's take some software specifications and blame the hardware which does not fit to them! "Bug" is a conditional. Something is buggy under some specified conditions. A software is buggy under the condition that it does not respond to the requirements. It would be nice to define all requirements as "the rocket should fly". Alas, it is not how things work. Yes, under so formulated conditions Ariane's software is indeed buggy. But no more than the hardware, fuel, gravity and laws of the nature... -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de