From: cjh@petsd.UUCP (Chris Henrich)
Subject: Re: Ada certification cost.
Date: Wed, 20-Mar-85 13:24:10 EST [thread overview]
Date: Wed Mar 20 13:24:10 1985
Message-ID: <473@petsd.UUCP> (raw)
In-Reply-To: 313@calgary.UUCP
[]
As I understand things, to "certify" a compiler is to
state "we think we have a valid compiler." It can be done by
the people producing the compiler, and does not require action
by AJPO. (Prudent people will not claim to "certify" before
they are pretty sure they *can* validate.) To "validate" a
compiler is to subject it to a large number of test programs,
under the supervision of someone from the AJPO validation
office, who is to make sure that the system for which
validation is being claimed re{lly is the one that compiled
and ran the test programs, etc. etc. Validation is a big,
expensive operation.
Regards,
Chris
--
Full-Name: Christopher J. Henrich
UUCP: ..!(cornell | ariel | ukc | houxz)!vax135!petsd!cjh
US Mail: MS 313; Perkin-Elmer; 106 Apple St; Tinton Falls, NJ 07724
Phone: (201) 870-5853
next prev parent reply other threads:[~1985-03-20 18:24 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
1985-03-17 23:15 Ada certification cost Radford Neal
1985-03-20 18:24 ` Chris Henrich [this message]
1985-03-21 21:37 ` Robert Hofkin
1985-03-26 23:37 ` Donn Milton
1985-03-23 22:24 ` ekrell
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox