From: bryk@IDA.ORG (Bill Brykczynski)
Subject: RE: Ada Test Tools
Date: 7 Feb 91 20:26:08 GMT [thread overview]
Message-ID: <1991Feb7.202608.771@IDA.ORG> (raw)
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
next reply other threads:[~1991-02-07 20:26 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
1991-02-07 20:26 Bill Brykczynski [this message]
-- strict thread matches above, loose matches on Subject: below --
2002-09-10 19:59 Ada test tools d
2002-09-11 4:27 ` R. Tim Coslet
2002-09-12 15:37 ` Colin Paul Gloster
2002-09-11 15:03 ` John Kern
2002-09-11 16:00 ` Peter Amey
2002-09-11 20:33 ` Simon Wright
2002-09-12 16:30 ` Patricia Langle
2002-09-30 23:58 ` KSW
1991-02-08 6:34 Ada Test Tools Scott Layson
1991-01-31 20:37 Johan Margono
1987-07-07 16:47 Lee McLoughlin
1987-07-13 23:07 ` Eric Beser sys admin
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox