The
SpecTest tool implements a comprehensive test engineering methodology called model-based statistical testing.
SpecTest is composed of four modules (figure below). The MSM stores behavioral requirements information in the
form of a usage model specification that is automatically generated from a software system’s requirements.
The model has a formal structure called a Markov Chain Usage Model (MCUM).
The TGAM is used
to analyze a MCUM for consistency and correctness. From a logically correct model the TGAM can automatically
generate a specified number of test cases using a variety of different coverage criteria. The tool can
generate random tests. It can generate state and/or arc coverage tests. It can also
generate tests based on an equally weighted distribution. Test cases generated from the TGAM are typically
in human readable form.
The TTM provides a means to translate human readable tests into environment-specific scripts that can
be executed for the system under test. The TTM produces executable test scripts.
The TEM provides a critical automated test execution
capability. It takes test scripts as input and automatically executes them in the native test environment
of the system under test. Test results are stored for use by the TGAM. Software reliability
calculations are then performed by TGAM.
The SpecTest tool runs in a Windows environment, including Windows 2000, XP and Vista. The toolset
also requires that Java Runtime Version 6.0 or higher is running on the desktop. 
