Re: ACVC and Compiler Quality (was: Ada Core Technologies blah blah blah)

[Ken Garlington <garlingtonke@lfwc.lockheed.com>]

John Goodenough wrote:
> 
> The second is a "lessons-learned" paper and
> among other things, discusses the reason for taking a "usage-oriented"
> approach to the Ada 95 tests.  Unfortunately, this reference is not widely
> available and I don't have an online copy available.

Given this, could you perhaps briefly summarize how this paper addresses
the two questions I've posed?

1. How could the scope of the ACVC testing be modified to improve compiler
quality across all vendors?

   Perhaps this paper attempts to measure the impact of ACVC testing on
   the quality of Ada compilers? Defines the expected increase in quality
   from going to "usage-oriented" tests?

2. What steps could be taken outside the ACVC to improve compiler quality
across all vendors?

>     Goodenough, J. B. 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
> 
> John B. Goodenough                                      Goodenough@sei.cmu.edu
> Software Engineering Institute                          412-268-6391