From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,7df278df170d566b
X-Google-Attributes: gid103376,public
From: Goodenough@sei.cmu.edu (John Goodenough)
Subject: Re: ACVC and Compiler Quality (was: Ada Core Technologies blah blah
 blah)
Date: 1996/04/11
Message-ID: <4kji2p$spp@news.sei.cmu.edu>#1/1
X-Deja-AN: 146955928
distribution: world
references: <316B9234.35AA@lfwc.lockheed.com>
organization: The Software Engineering Institute
newsgroups: comp.lang.ada
Date: 1996-04-11T00:00:00+00:00
List-Id: <comp.lang.ada>


In article <316B9234.35AA@lfwc.lockheed.com>, Ken Garlington
<garlingtonke@lfwc.lockheed.com> writes: 

>> 3) John Goodenough's paper - I found several references to the Quality and
>> Style guide on Ada IC when I searched on "goodenough". Was this what you
>> had in mind, or was there some other paper? If so, how would the average
>> end user get it? Furthermore, if this paper is not incorporated into the
>> official AJPO documentation, how useful is it?
>> 

Here are the references: The first is the paper describing the original ACVC
design goals and philosophy.  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.

    Goodenough, J.B. The Ada compiler validation capability.  COMPUTER
    14(6):57-64, June 1981.

    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