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,cbb5b0d14f503195 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news3.google.com!newshub.sdsu.edu!elnk-nf2-pas!newsfeed.earthlink.net!stamper.news.pas.earthlink.net!newsread1.news.pas.earthlink.net.POSTED!a6202946!not-for-mail From: "Jeffrey R. Carter" Organization: jrcarter at acm dot org User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.7.12) Gecko/20050915 X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Working with incompetent adaists / unsafe typing war story References: In-Reply-To: Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Message-ID: Date: Fri, 17 Feb 2006 19:18:11 GMT NNTP-Posting-Host: 67.150.71.198 X-Complaints-To: abuse@earthlink.net X-Trace: newsread1.news.pas.earthlink.net 1140203891 67.150.71.198 (Fri, 17 Feb 2006 11:18:11 PST) NNTP-Posting-Date: Fri, 17 Feb 2006 11:18:11 PST Xref: g2news1.google.com comp.lang.ada:2938 Date: 2006-02-17T19:18:11+00:00 List-Id: Simon Clubley wrote: > Given the level of documentation these certification efforts are reported to > require, how does something like that actually get certified for production > use ? There are a number of things that are done for certification. For DO-178B code, they manually examine the generated object code to make sure that it looks as expected, for example. Then, of course, they do lots of testing. When their tests no longer show the presence of errors, they assume that means the absence of errors. If it turns out the assumption was wrong, that means they need more tests. You have to remember that such certification can and is granted to SW in assembler. Ada with thousands of global variables is probably no worse than that. -- Jeff Carter "I spun around, and there I was, face to face with a six-year-old kid. Well, I just threw my guns down and walked away. Little bastard shot me in the ass." Blazing Saddles 40