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=0.2 required=5.0 tests=BAYES_00,INVALID_MSGID,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,19633d014dacb027,start
X-Google-Attributes: gid103376,public
From: schwarza@gdls.com (Art Schwarz)
Subject: Automatic Test Code Generator
Date: 1996/11/26
Message-ID: <57ffin$il@mill.gdls.com>#1/1
X-Deja-AN: 200895904
organization: General Dynamics, Land Systems Div
reply-to: schwarza@gdls.com
newsgroups: comp.lang.ada
Date: 1996-11-26T00:00:00+00:00
List-Id: <comp.lang.ada>


I'm trying to find a test case generator for Ada.
The minimum requirements are:
[1] Be able to generate test cases for a single 
    procedure.
[2] The test cases should be able to exercise
    each instruction (not each path).

I suspect that I could modify the static code analyser
(in "The Home of the Brave Ada Programmers" or Arcadia)
so that it could generate test cases but, if such a
tool is available I'd rather use it (software reuse 
being what it is these days). Anyone have a clue as
to availability?

thanks

art schwarz
General Dynamic Land Systems
(810)825-5028
schwarza@gdls.com