TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Proportional Font
Show Text Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Subject:
From:
Roger Racine <[log in to unmask]>
Reply To:
Roger Racine <[log in to unmask]>
Date:
Tue, 18 May 1999 16:05:48 -0400
Content-Type:
text/plain
Parts/Attachments:
text/plain (31 lines)
Our company is involved in an Army project planning to use Ada.  An Army
officer wrote a memo describing his concerns over the loss of DoD
involvement in what used to be validation of compilers.  A very rough
synopsis of his concerns is:

*  Since the testing is now being done by a commercial group (the ARA), the
testing might be less rigorous than when it was done by the AJPO, so as to
satisfy the commercial sector, which has less need for rigor than the DoD.
This might lead to less assurance that the compiler is defect-free, which
then leads to the conclusion that the end system will be less reliable.

We are being asked to comment on this memo, and would like any information
regarding the Conformance Testing that might alleviate this concern.  For
example, is ISO, or any independent organization, involved in the
definition of the tests?

Since the government dropped testing, has testing continued?

Basically, I could use any ammunition on why conformance testing is either
A) just as good as it used to be; or B) why conformance testing is not a
major factor in end-system reliability.

Pointers to web sites or technical articles would also be welcome.

Roger Racine
Roger Racine
Draper Laboratory, MS 31
555 Technology Sq.
Cambridge, MA 02139
617-258-2489

ATOM RSS1 RSS2