* Re: The DoD Ada validation suite (interesting paper)
@ 1988-09-02 15:53 Jon Jacky
0 siblings, 0 replies; only message in thread
From: Jon Jacky @ 1988-09-02 15:53 UTC (permalink / raw)
> (Dale Worley writes) we keep finding differences between validated
> compilers. ... we find that one or the other is deviating from the
> Reference Manual. ... This leads me to believe that the validation
> suite is pretty weak.
Limitations in the validation suite are candidly discussed in a very
informative paper by one of the people who built it:
John B. Goodenough. Ada compiler validation: an example of software testing
theory and practice. In: A.N. Haberman and U. Montinari (Eds.), System
Development and Ada, Proceedings of the CRAI Workshop on Software Factories
and Ada, Capri Italy, May 26 - 30, 1986. Lecture Notes in Computer Science
No. 275. New York, Springer-Verlag 1986, pps. 195 - 232
Goodenough wrote:
"The test suite today (Version 1.8) represents 2400 programs. ... The test
suite is not yet complete. We have identified approximately 1400 additional
tests that need to be written just to cover all aspects of the language
adequately."
- Jonathan Jacky, University of Washington
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1988-09-02 15:53 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1988-09-02 15:53 The DoD Ada validation suite (interesting paper) Jon Jacky
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox