org.jwalk.tool
Class JWalkUtility
java.lang.Object
org.jwalk.tool.JWalkUtility
public class JWalkUtility
- extends java.lang.Object
JWalkUtility is a command-line utility for lazy, systematic unit testing.
JWalkUtility offers a simple, console-based interface to the "JWalk" lazy
systematic unit testing toolkit. JWalkUtility can inspect, explore or
validate the behaviour of an arbitrary compiled Java class, supplied as a
command line argument, inferring its specification by automatic analysis
and some limited interaction with the programmer.
This command-line utility offers slightly less flexibility than is
available through the main JWalker API. Other front-ends, such as the
JWalkTester, may access the full API. JWalkUtility assumes that the test
class, any oracle files and any custom input generators are all accessible
from the current working directory. Package-qualified names may be used
to access a test class (or custom generator) in a package known to the
Java classpath, or whose root is in the current directory. Other parameters
are set on the command line. Run the program with no parameters to see
information on correct usage.
- Version:
- 1.1
- Author:
- Anthony Simons
Method Summary |
static void |
main(java.lang.String[] args)
Decodes the command line and executes a test strategy on a test class. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
JWalkUtility
public JWalkUtility()
main
public static void main(java.lang.String[] args)
- Decodes the command line and executes a test strategy on a test class.
Command line arguments must include: the name of the test class; and may
include: a strategy, from {protocol, algebra, states}; a modality from
{inspect, explore, validate}; a depth of exploration in the range 0..n;
and the names of one or more custom test input generators, whose names
must always end in "Generator".
- Parameters:
args
- the command line arguments.