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.6 required=5.0 tests=BAYES_05,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,725c488db548f6c5 X-Google-Attributes: gid103376,public From: Stephen Leake Subject: Re: reverse engineering Date: 1996/11/08 Message-ID: <32833A75.58A5@gsfc.nasa.gov>#1/1 X-Deja-AN: 195304159 references: <55ndb9$t02@news1.mnsinc.com> <55ss6k$6c9@mill.gdls.com> content-type: text/plain; charset=us-ascii organization: NASA Goddard Space Flight Center -- Greenbelt, Maryland USA mime-version: 1.0 reply-to: Stephen.Leake@gsfc.nasa.gov newsgroups: comp.lang.ada x-mailer: Mozilla 3.0 (Win95; U) Date: 1996-11-08T00:00:00+00:00 List-Id: In article <55ndb9$t02@news1.mnsinc.com>, wfrye@mnsinc.com (William Frye) writes: >I am currently interested in doing reverse engineering on a sizable system, >does anyone know of a program that enables one to pull off the logical >constructs (if-then else, case etc.) from an Ada program and write them to >a test case matrix? Can YAC or Bison be used for this purpose? A commercial tool that writes test drivers for Ada is available from: ** Vector Software Inc. 401-295-5855 1130 Ten Rod Road Suite E-307 North Kingstown, Rhode Island 02852 fax: 401-295-5856 http://www.vectors.com AdaCast test framework builder (note that there is a very different company at http://www.vector.com !) A flow analysis tool is available from: ** McCabe Associates 800-638-6316 http://www.mccabe.com Neither writes the test cases for you; Vector builds the test framework and stubs, McCabe provides a flow graph and a path coverage tool. Testing is hard work! -- - Stephe