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,DIET_1,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/26
Message-ID: <1996Nov26.170530.1@eisner>#1/1
X-Deja-AN: 200922170
x-nntp-posting-host: eisner.decus.org
references: <57ffin$il@mill.gdls.com>
x-nntp-posting-user: KILGALLEN
x-trace: 849045952/12303
organization: LJK Software
newsgroups: comp.lang.ada
Date: 1996-11-26T00:00:00+00:00
List-Id: <comp.lang.ada>


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).

Hmmm.

	a) I don't see how any test case generator could exercise
	   a single instruction without exercising other instructions
	   on that path.

	b) I don't see how any test case generator which exercised
	   all paths could possibly miss any instructions.

I don't think what you are looking for would be possible as an
Ada-centric tool, since if you are concerned about code paths
and individual instructions you are down below the Ada syntax
to the level of the particular code generator used by your
compiler.  For VMS (and presumably many other operating systems)
you can easily (given appropriate debug symbol table entries)
_check_ whether your test suite covers all code paths, but
automatically generating such a test suite which covers all
code paths seems to me a formidable task.

Larry Kilgallen