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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 115aec,f41f1f25333fa601 X-Google-Attributes: gid115aec,public X-Google-Thread: 103376,a3ca574fc2007430 X-Google-Attributes: gid103376,public From: dewar@merv.cs.nyu.edu (Robert Dewar) Subject: Re: Ada and Automotive Industry Date: 1996/11/10 Message-ID: #1/1 X-Deja-AN: 195655306 references: <55ea3g$m1j@newsbf02.news.aol.com> <3280DA96.15FB@hso.link.com> <847341612snz@transcontech.co.uk> organization: New York University newsgroups: comp.lang.ada,comp.realtime Date: 1996-11-10T00:00:00+00:00 List-Id: Paul says "is spent testing. When a Forth or Assembler application reaches the final stage of being blown into production ROMS it has probably been tested more times than most applications written in other languages. " I trust that testing alone is not considered an acceptable basis for verification in such applications! (though one of the troubles is that these so-called software engineers working in Forth or assembler, are less likely to know, understand, or use the kind of formal tools and methodologies that are an integral part of writing high integrity software.