Package org.jwalk.test

This sub-package for JWalk 1.1 contains sample test classes for JWalk, © Anthony J H Simons, 2006-2011.

See:
Description

Interface Summary

Interface

Interface is an interface with four abstract method signatures.

Class Summary

Abstract	Abstract is an abstract class with one abstract method signature.
AnswerCycle	AnswerCycle is a class whose methods set and get enumerated constants.
InputReader	InputReader has methods to read integers and strings from standard input.
LibraryBook	A simple LibraryBook that can be issued and discharged on loan to a borrower.
ReservableBook	A more sophisticated ReservableBook also supports reservations and cancellations.
Stack	Stack is a fixed-length, bounded implementation of a push-down Stack.
StackProxy	StackProxy is a proxy for a fixed-length, bounded push-down Stack.
Wallet	Wallet is a simple purse accepting and disbursing money payments.

Package org.jwalk.test Description

This sub-package for JWalk 1.1 contains sample test classes for JWalk, © Anthony J H Simons, 2006-2011. These classes are provided as test examples to load into the finshed testing tools JWalkTester and JWalkUtility. They illustrate different aspects of the tools' performance. Other parts of the JWalk 1.1 tool suite are described in the following packages:

• The package org.jwalk is the entry point into the JWalk component kit for building JWalk applications.
• The package org.jwalk.core contains the core JWalk engine supporting different test strategies.
• The package org.jwalk.out contains the different kinds of report dispatched by JWalk as output.
• The package org.jwalk.gen contains custom generators for synthesising test inputs.
• The package org.jwalk.test contains sample test classes for loading into the JWalk tools.
• The package org.jwalk.tool contains a number of finished tools for executing JWalk tests.

The rest of this package documentation describes how to load and exercise the various example test classes. Information on how to execute the two testing tools JWalkTester and JWalkUtility is provided in the package org.jwalk.tool.

Loading the Sample Test Classes

The test classes are all provided as part of the JAR-file download bundle. To access the directory containing the compiled test classes, you must first unbundle the archive, using the file extraction command:

        jar -xf JWalk11.jar

This will create a package directory structure under the current working directory.

Follow the instructions given elsewhere to launch one of the testing tools JWalkTester or JWalkUtility. The sample test classes may then be loaded from within the sub-package:

        org.jwalk.test

Note that fully qualified package names must be used for any test class; simply trying to load them by their short names will not work.

Properties of the Test Classes

Each sample test class has an extensive description of what it is, and what properties of the testing tools it is designed to reveal. Refer to the documentation for each class for the details. Generally, some classes expose the ability to discover states, others the ability to interleave local and inherited methods, and others to optimise the numbers of test paths generated by the tools. Some examples exist purely to demonstrate that the tools can reject pathological cases. Some examples require the tester to set one of the custom settings, such as supply a custom generator, or alter a standard configuration.