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, MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,313a106b8dd38f30 X-Google-Attributes: gid103376,public From: Robert Dewar Subject: Re: RATIONAL TESTMATE for ADA Testing - Any experiences to share ? Date: 1999/05/24 Message-ID: <7ia9uj$30r$1@nnrp1.deja.com>#1/1 X-Deja-AN: 481333601 References: <374667df@news.compd.com> <7i99ls$lv$1@ins8.netins.net> <7i9du6$1a2$1@lure.pipex.net> X-Http-Proxy: 1.0 x21.deja.com:80 (Squid/1.1.22) for client 166.72.82.3 Organization: Deja.com - Share what you know. Learn what you don't. X-Article-Creation-Date: Mon May 24 01:27:50 1999 GMT Newsgroups: comp.lang.ada X-Http-User-Agent: Mozilla/4.04 [en] (OS/2; I) Date: 1999-05-24T00:00:00+00:00 List-Id: In article <7i9du6$1a2$1@lure.pipex.net>, "David Akister" wrote: > With the need for > validated compilers for safety-critical use this does make > life difficult. I find this a bit worrying for two reasons. 1) I worry that people read more into validation than is appropriate. Validation is useful as one of many tests for compiler quality, but that is all. 2) Safety critical applications are quite likely to be using an Ada subset like CSMART, which cannot possibly be validated in any case. If the requirement for using a base compiler technology that is validated is just one of many requirements, then that is fine, but I have several times run into people who seem to think that this is a) a vital requirement (it is not) b) some kind of assurance of safety (it is not) With regard to Ada testing, a lot depends on what you are trying to achieve. Certainly you should be able to find coverage tools on the actual target you are running on, and there are also a number of test generation tools that are applicable to many different target environments. Robert Dewar Ada Core Technologies --== Sent via Deja.com http://www.deja.com/ ==-- ---Share what you know. Learn what you don't.---