org.jwalk.tool
Class JWalkUtility

java.lang.Object
  extended by 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

Constructor Summary
JWalkUtility()
           
 
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
 

Constructor Detail

JWalkUtility

public JWalkUtility()
Method Detail

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.