Download IBM Gotcha TCBeans Users guide

GOTCHA is derived from the Murphi model checker - a public domain program
available on the Murphi Home Page, and the ESPRIT Genevieve Project.
This release of GOTCHA-Spider is tailored to work with the Cygnus g++ compiler
available from Redhat. However, this should not be interpreted to mean that GOTCHASpider is Open Source code.
GOTCHA-Spider is currently available only to internal IBM users and members of the
AGEDIS consortium.
1.2
Requirements
To install and run GOTCHA-Spider, you need the following:
1.3
•
A computer running Windows 95, 98, 2000, XP Windows NT, AIX, or Linux.
•
Java Developer’s Kit JDK 1.2 or higher.
•
The GOTCHA-Spider software package is available (for IBM users) from
http://w3.haifa.ibm.com/softwaretesting/gtcb/ and directly from Alan Hartman
([email protected] for members of the AGEDIS consortium).
•
A C++ compiler, preferably g++ from Redhat, which can also be downloaded from
our website. (AGEDIS members will receive the whole package on a CD-ROM)
What’s New in this Release
This release (4.0) of GOTCHA-Spider provides substantially new functions in addition to
the existing functions available in GOTCHA-TCBeans Release 3.0.
GOTCHA-Spider 4.0. contains the following new and enhanced features:
Introduction
•
A convenient editor for GOTCHA models using the Eclipse framework
•
A new set of test generation methods especially tailored for models which suffer
from state space explosion see Section 3.3 Generating test suites quickly.
•
The ability to use the #include macro in GOTCHA models
•
New forms of ruleset for conrolling state explosion in data intensive GOTCHA
models see Section 2.4.6.7 Rulesets with Explicit Input Tables and Section 2.4.6.8
Rulesets with Input and Input Pair Coverage.
•
New coverage criteria enabling reference to the rules and their parameters see
Sections 4.2.2.3 Some Explicit Transition and 4.2.2.6 Explicit Transition Projection.
•
Abstract test suite output conforming to the new ATS standard defined in the
AGEDIS project
Page 6 of 108
GOTCHA Users Guide