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.1 required=5.0 tests=BAYES_20,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!rpi!uupsi!grebyn!eberard
From: eberard@grebyn.com (Ed Berard)
Newsgroups: comp.lang.ada
Subject: Lack of "D Tests", "E Tests", and "L Tests" for Generics
Keywords: generics, ACVC
Message-ID: <20122@grebyn.com>
Date: 8 Jun 90 18:20:39 GMT
Organization: Grebyn Timesharing, Vienna, VA
List-Id: <comp.lang.ada>

As I mentioned in my previous message, the Ada Compiler Validation
Capability (ACVC) tests are divided up into 6 categories: A, B, C, D,
E, and L. The current version of the ACVC -- as far as I and some
others can tell -- contains:

	- 4 programs containg "A Tests" specifically for generics

	- 185 programs containing "B Tests" specifically for generics

	- 110 programs containing "C Tests" specifically for generics

However, there are _no_ programs which contain D Tests, E Tests, and L
tests specifically for generics. [I have looked, and so have others,
but I may be missing the obvious.] This raises the following series of
questions:

	1. D Tests are capacity tests. Is it possible to do "capacity"
	   testing for generics? (I would think so.) If so, are these
	   tests obviated by the testing done elsewhere in the ACVC,
	   or is the ACVC actually deficient in this area?

	2. E Tests are supposed to check implementation-dependent
	   features and ambiguities in Ada compilers. I know that
	   these tests are very possible in regard to generics. Are
	   these tests obviated by some other (i.e., non-Chapter 12)
	   tests in the ACVC?

	3. L Tests are expected to fail at link time. Again, these
	   type of tests should be relatively easy to generate for
	   generics, but I cannot find any L Tests for generics in the
	   current version of the ACVC. Are these tests taken care of
	   elsewhere in the ACVC?

				-- Ed Berard
				   Berard Software Engineering, Inc.
				   18620 Mateney Road
				   Germantown, Maryland 20874
				   Phone: (301) 353-9652
				   FAX: (301) 353-9272