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.8 required=5.0 tests=BAYES_00,INVALID_DATE autolearn=no autolearn_force=no version=3.4.4 Path: utzoo!mnetor!uunet!husc6!rutgers!ucla-cs!zen!ucbvax!NRL-CSS.ARPA!stroup From: stroup@NRL-CSS.ARPA (janet l stroup) Newsgroups: comp.lang.ada Subject: Ada tools Message-ID: <8801051649.AA13204@nrl-css.ARPA> Date: 5 Jan 88 16:49:35 GMT Sender: daemon@ucbvax.BERKELEY.EDU Organization: The ARPA Internet List-Id: I'm conducting a survey of available (or soon-to-be) software tools that evaluate existing Ada code or pseudocode. I'm primarily interested in data flow analyzers, performance monitors or analyzers, static and dynamic analyzers, execution analyzers, and automatic test case generation tools. Obviously, the AJPO's Ada Information Clearinghouse is a good place to start, but I'd still be very interested in hearing from anyone who is currently building Ada tools or who has used existing tools and could relate their experience. Janet L. Stroup arpa: stroup@nrl-css.arpa Naval Research Laboratory csnet: stroup%nrl-css.arpa@relay.cs.net Washington, DC 20375-5000 uucp: ...!decvax!nrl-css!stroup