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_00,FILL_THIS_FORM, INVALID_DATE,TO_NO_BRKTS_PCNT autolearn=no autolearn_force=no version=3.4.4 Path: utzoo!utgpu!news-server.csri.toronto.edu!rutgers!apple!olivea!uunet!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!IDA.ORG!bryk From: bryk@IDA.ORG (Bill Brykczynski) Newsgroups: comp.lang.ada Subject: RE: Ada Test Tools Message-ID: <1991Feb7.202608.771@IDA.ORG> Date: 7 Feb 91 20:26:08 GMT Distribution: usa Organization: IDA, Alexandria, VA List-Id: The following is in response to a recent request for information regarding tools to assist in the testing of Ada software. We are just beginning to collect such information. In the future, we may be doing an evaluation of several of these tools. This information is not currently not complete, but may still be of use. We are not recommending any of these tools, we are simply collecting information on them. If you have additional information on these or other tools, experience with such tools, etc., please let us know. As you can see, some of the information is skimpy. Bill Brykczynski Institute for Defense Analyses 1801 N. Beauregard St. Alexandria, VA 22311 703-845-6641 bryk@ida.org -------------- - 1 - Alsys, Inc. Tool: AdaTune, AdaProbe Contact: Lori Heyman (617) 270-0030 One Burlington Business Center 67 South Bedford Street, Burlington, MA 01803-5152 Application Development System, Inc. Tool: XPEDITER (Test Driver) Contact: E.F. Harris 1530 Meridian Avenue, San Jose, CA 95125 Cadre Technologies Tool: Software Analysis Workstation (SAW), real-time performance measurement. Tool: CodeMap, tracking tool to see which software parts are exercised. Tool: XRAY, simulator/debugger to execute code on workstation (prior to target macine). Rapid prototyping. Tool: MDD, design phase analysis to check performance. Tool: SoftAnalyst, Sym Trace provides symbolic trace of program and data flow. Contact: Myra Linch (703) 875-8670 Convex Computer Corp. Tool Data: Interactive performance profilers, & Verdix development environment. Contact: Larry Grossman (214) 497-4383 3000 Waterview Pkwy, P.O. Box 883851, Richardson, TX 78053-5851 DDC-1 - 2 - Tool: Symbolic Ada debugger, non-intrusive, can input file of test data Contact: Forest Holeman (602) 944-1883 Dynamics Research Corp. Tool: AdaMAT Contract: John Ragosta (508) 475-9090 60 Frontage Road, Andover, MA 01810 EVB Software Engineering Inc. Tool: Complexity measurement Contact: Jennifer Lot (301) 695-6960 5320 Spectrum Drive, Frederick, MD 21701 Generics Software Ltd. Tool: AnimAda Contact: +353-1-954012 7 Leopardstown Office Park, Foxrock, Dublin 18, Ireland INRIA Tool: Mentor-Ada, measurement system Contact: Schroeder A. Domaine de Voluceau, B.P. 105, Rocquencourt, 78153 Le Chesnay, France ITT Avionics Tool Data: Funded by STARS Tool: UATL: Universal Ada Test Language (Test Driver) Contact: Ziegler J. (201) 284-5030 390 Washington Avenue, Nutley, NJ 070110-5603 - 3 - Jackson Systems Corporation Tool Data: data against data and program structures to verify structure correctness. Structures may be derived form test data. Test data may be generated to create templates for program testing. "Contact:" Michael Jackson Systems Limited, London Programming Environments Tool: T test case generator Description: Verifies requirements testability, produces test cases, and analyzes testing comprehensiveness. Inputs and outputs are documented, flat ASCII files to allow working with descriptions from other tools. Designs test cases automatically or provides help in a computer-aided mode, for 100% functional coverage and 100% most-probable-error- coverage. Runs under MS-DOS, UNIX, and VAX/VMS. Single prince copy for MS- DOS/UNIX systems is $7000. Contact: Robert Poston work (201) 918-0110, home (201) 922-0968 PE Inc. 4043 State Highway 33, Tinton Falls, NJ 07753 SQL Systems International Tool: PCMS*ADA, dependency analysis Contact: England, 44-279-641021 Set Labs Tool: UX-metric for estimates of errors in - 4 - design. Support for Ada. Contact: Teresa Harrison (503) 289-4758 Software Research Tool Data: Full Ada support, several environments including Sun. Tool: Capbak/UNIX, capture and playback of test sessions. Tool: EXDIFF (Extended Difference Analyzer) Tool: SMARTS (Software Maintenance and Regression Testing Suite) Tool: STCAT/C (System Test Coverage Analysis Tool), function-call coverage. Tool: TCAT/C (Test Coverage Analysis Tool) Tool: TCAT/Path, profiles paths and produces graph. Tool: TDGen, test data generation Contact: Frank Vimaggi? (415) 957-1441 Teledyne Brown Engineering Tool Data: Tool: ACAT: Ada Complexity Analysis Tool Tool: TAGS/CASE2, diagnostic analyzer provides static analysis to ensure IORL syntax is complete and correct, and analysis library Contact: Mike Cario 352-8533 TeleSoft Tool: Telegen2 (Telesoft development environment), browser/profiler - 5 - Contact: Jeff Kelley (619) 457-2700 5959 Cornerstone Court West, San Diego, CA 92121 Verilog SA Tool Data: Tool: LOGISCOPE, control flow testing at unit and integration level, currently DD-path and PP-path, some to include LCSAJ, graphical display of coverage with cumulative coverage reporting, full Ada. Tool: ASA, support for SADT IDEF0, simluation and test case generation for validation of requirements and validation of system against requirements. Tool: GEODE, supports CCITT SDL language, in 6 - 8 months expected to generate Ada code. Contact: Nandan Shah (technical), Mark Luciw, Susan Weil (sales) (703) 354-0371