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,19633d014dacb027
X-Google-Attributes: gid103376,public
From: kilgallen@eisner.decus.org (Larry Kilgallen)
Subject: Re: Automatic Test Code Generator
Date: 1996/11/27
Message-ID: <1996Nov27.113909.1@eisner>#1/1
X-Deja-AN: 201067422
x-nntp-posting-host: eisner.decus.org
references: <57ffin$il@mill.gdls.com> <1996Nov26.170530.1@eisner>
 <329C05F3.182C@lmtas.lmco.com>
x-nntp-posting-user: KILGALLEN
x-trace: 849112777/8758
organization: LJK Software
newsgroups: comp.lang.ada
Date: 1996-11-27T00:00:00+00:00
List-Id: <comp.lang.ada>


In article <329C05F3.182C@lmtas.lmco.com>, Ken Garlington <garlingtonke@lmtas.lmco.com> writes:
> Larry Kilgallen wrote:
>> 
>> In article <57ffin$il@mill.gdls.com>, schwarza@gdls.com (Art Schwarz) writes:
>> > I'm trying to find a test case generator for Ada.
>> 
>> > [2] The test cases should be able to exercise
>> >     each instruction (not each path).

> If, by "statement", the original request was referring to Ada 
> statements, there are probably test case generators available.

But the term I quoted was "instruction", which to me indicates he
was talking about the machine language level.

And in self-defense against any language lawyers in the crowd,
I just looked up "instruction" in the Ada95 RM Index and did
not find it had some other Ada-specific meaning :-).

Of course if he means "statement" then addressing the problem at
the Ada level is tractable (though perhaps only by human effort).

Larry Kilgallen