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: Ken Garlington Subject: Re: Automatic Test Code Generator Date: 1996/11/27 Message-ID: <329C05AA.669A@lmtas.lmco.com>#1/1 X-Deja-AN: 201047930 references: <57ffin$il@mill.gdls.com> content-type: text/plain; charset=us-ascii organization: Lockheed Martin Tactical Aircraft Systems mime-version: 1.0 newsgroups: comp.lang.ada x-mailer: Mozilla 2.02 (Macintosh; I; 68K) Date: 1996-11-27T00:00:00+00:00 List-Id: Art Schwarz wrote: > > 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? Check the AdaIC web page at http://sw-eng.falls-church.va.us/AdaIC/tools/Welcome.html I know there are several tools available that can _identify_ the tests that need to be run, but I don't know how many will actually generate the test harnesses directly from that analysis. We usually generate our tests from the functional requirements, then use the coverage analysis as a check on the quality of the tests, rather than generating tests directly from the analysis. > > thanks > > art schwarz > General Dynamic Land Systems > (810)825-5028 > schwarza@gdls.com -- LMTAS - "Our Brand Means Quality" For more info, see http://www.lmtas.com or http://www.lmco.com