From: dichter@chdasic.sps.mot.com (Carl Dichter)
Subject: SUMMARY Tools to aid in testing, and requirements trace-ability.
Organization: Motorola ASIC Division
Date: Tue, 10 Nov 1992 16:51:44 GMT


Through your postings and my research, I have compiled this 
basic list of CAST tools. Some parts are incomplete. About
70% has been verified by the vendors.

Please send me your comments/corrections.

---------------------------

Vendor:      Advanced Software Automation
Phone:       (408) 492-1668
Product:     Hindsight
Description: Provides branch coverage analysis,
structure diagrams, and some performance profiling for C language.

Vendor:      Age
Product:     ASA and GEODE
Description: (need more information)

Vendor:      AT&T
Phone:       (800) 462-8146
Product:     Buster
Description: Provides record and playback for test verification.

Vendor:      Bender & Associates
City, State: Larkspur, CA
Phone:       (415) 924-9196
Email:       uunet!well.sf.ca.us!blaineb
Product:     Softest
Description: Softest automates the Cause-Effect graphing technique.
It designs the necessary and sufficient tests, reduces the number
of testcases to the absolute minimum, and aids in validating system
requirements early in the development lifecycle.

Vendor:      Mercury Interactive
City, State: Santa Clara, CA
Phone:       (408) 987-0100
Product:     XRunner
Description: Provides record and playback for test verification.
XRunner has a scripting language to drive applications through simulated
keyboard input. It then synchronizes events (and their associated images)
with a database of expected events and makes a comparison between expected
image and actual image. It then reports on the difference between these two.

Vendor:      Performance Awareness
City, State: Raleigh, NC
Phone:       (919) 870-8800
Email:       prodinfo@PACorp.com or uunet!prevue!prodinfo
Product:     PreVue-X
Description: Provides record and playback and measurements of system
response times and accuracy for ASCII and X applications.

Vendor:      Pure Software
City, State: Sunnyvale, CA
Phone:       (408) 720-1600
Product:     Purify
Email:       info@pure.com
Description: Purify detects runtime errors by instrumenting the
object code.  These errors include: reads and writes beyond array
bounds, reads and writes of free'd memory, uninitialized memory reads,
memory leaks, writes to system call locations, and stack corruption.

Vendor:      Software Research Associates
City, State: San Francisco, CA
Phone:       (415) 957-1441
Email:       miller@soft.com
Product:     Software TestWorks (e.g., Capbak, Capbak/X, Smarts)
Description: Provides test coverage, complexity analysis, testcase
management, and record and playback capabilities.

Vendor:      Tescom
City, State: Ramat-Gan, Israel
Phone:       +972-3-7513693, FAX +972-3-7525148
Product:     CATS
Description: (TBS)

Vendor:      Testing Foundations
City, State: Champaign, IL
Phone:       (217) 351-7228
Product:     GCT
Email:       marick@cs.uiuc.edu
Description: Free test coverage tool based on GCC.
Developed by Brian Marick working for Motorola in cooperation with
University of Illinois.  Works with all normal C compilers. Goes beyond
branch coverage with multi-condition coverage, loop coverage,
relational coverage, routine entry and call point coverage, race
coverage (multi-processing), and weak mutation coverage (a research
technique).

Vendor:      Verilog S.A. 
City, State: Toulouse Cedex-France
Phone:       (33) 61403888
Vendor:      Verilog USA Inc.
City, State: Alexandria, VA
Phone:       (703)354-0371
Product:     Logiscope
Description: (TBS)

Vendor:      Veritas
City, State: Santa Clara, CA
Phone:       (408) 727-1222
Email:       vsales@veritas.com
Product:     VistaTEST, VistaKERNEL
Description: VistaTEST provides test coverage, simulation and fault seeding
facilities for testing application code.  VistaKERNEL provides test coverage
and simulation facilities for operating system and device driver code.


Vendor:      Virtual Technologies, Inc
City, State: Dulles, VA
Email:
Product:     SENTINEL
Description: SENTINEL overrides many C library functions with its
own versions which enable it to perform memory access error checking,
and memory leak detection.

Vendor:      X/Open
Email:       info-server@xopen.co.uk
Product:     Test Environment Toolkit (TET)
Description: Free test automation software (tools and API) from X/Open
with help from Unix International, and Open Systems Foundation. This
includes test case management, test case contol, and reporting.
To receive the index, send a message containing the following, to the
Email address above.
   Request: tet
   Topic: index
   Request: end





----------------------
Carl R. Dichter               "iwannanugui"
Motorola ASIC Division
email: dichter@chdasic.sps.mot.com
/*
** "People who never make mistakes work for people who dare to."
*/