TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Classic View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

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

Print Reply
Sender: "Team Ada: Ada Advocacy Issues (83 & 95)" <[log in to unmask]>
From: "Robert I. Eachus" <[log in to unmask]>
Date: Wed, 13 Nov 1996 17:48:13 -0500
In-Reply-To: <v0300780faeafa767237c@[192.190.177.88]> (message from Brad Balfour on Wed, 13 Nov 1996 11:36:13 -0500)
Reply-To: "Robert I. Eachus" <[log in to unmask]>
Parts/Attachments: text/plain (37 lines)
   Brad Balfour said:

  > If you, the maker of the compiler, want to ensure it's
  > correctness, then all obtain a copy of the ACVC, delete those test
  > that don't make sense for your (subset) compiler, and run the test
  > suite. You can even provide these results to your customer upon
  > request.

  > As long as we are not talking about the US DoD -- and we are not
  > -- then validation is not a requirement at all. Let's not let this
  > impede our progress into new commercial domains.

   Why not obtain the ACVC, run all the tests on your cross-compiler,
and ignore any that can not be linked due to capacity reasons, or
which won't execute due to the lack of key hardware features.

   Then apply for validation, you should get it.

   AI-325 has migrated into chapter 1, but it has always been part of
validation policy.  If the hardware don't support it, then don't test
for it.

   We had a huge hoorah around here once about the floating point
tests and 80286 machines with no '287 chip and a contract requirement
for a validated Ada compiler.  (On those particular machines, there
was no way to easily install a software trap.)  We finally got
everyone involved convinced that the "right" answer was that any PC
Ada compiler qualified, and that people who wanted to use floating
point needed the optional version with the 287 chip.


                                        Robert I. Eachus

with Standard_Disclaimer;
use  Standard_Disclaimer;
function Message (Text: in Clever_Ideas) return Better_Ideas is...

ATOM RSS1 RSS2