From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=0.5 required=3.0 tests=BAYES_05,TO_NO_BRKTS_PCNT
	autolearn=no autolearn_force=no version=3.4.5-pre1
Date: 17 Sep 92 17:39:38 GMT
From: visicom!amstel!rlk@nosc.mil  (Bob Kitzberger)
Subject: Re: Play 20K expressions again, Sam
Message-ID: <rlk.716751578@amstel>
List-Id: <comp.lang.ada>

lonjers@prc.unisys.com (Jim Lonjers) writes:

>While this is undoubtably true, we must really be careful about how much a
>compiler vendor believes in this as a testing method.  In a prior life, I
>was responsible for the Unisys ALGOL compiler which was written in Unisys
>ALGOL.  We implemented coverage analysis, which marked which lines in a
>program are covered in an execution.  After compiling the compiler with the
>compiler, we ended up with on 20% of the compiler covered.

There is usually much more to a modern Ada development environment than
the compiler itself, and there are often interactive components,
real-time components, GUI components, etc.  The more of this that is written
in Ada, the better the code coverage.

	.Bob.
----------------
Bob Kitzberger          VisiCom Laboratories, Inc.
rlk@visicom.com         10052 Mesa Ridge Court, San Diego CA 92121 USA
                        +1 619 457 2111    FAX +1 619 457 0888