JWalk
Download Page

JWalk comes in two versions.  Both versions can be run under Linux, Windows and Mac, having a Java runtime of SE8 or later.

• JWalk Tester is the flagship GUI version of the tool

• JWalk Utility is a command-line version of the tool

By default, the executable Java release bundle for JWalk launches the flagship JWalk Tester directly on your desktop.  To access the command-line version JWalk Utility, you will need to unbundle the Java archive JAR-file.  Both versions require a license to use the tool.

JWalk License

We offer JWalk under license, because we wish to track the impact of our testing tools, which is one of the conditions for obtaining the research funding that allows us to continue to develop new testing tools.

• Free Trial JWalk License

Get your free trial license by using the "download" option, after clicking on the above link.

JWalk Download

The Java bundle for JWalk is an executable JAR file that launches the tool out-of-the-box.  We may provide different compiled versions of the tool below.  This may be to test software developed in different versions of Java, or because we have made improvements to the tool.

• JWalk 1.1 for Java SE8

Download JWalk by using the "download" option, after clicking on the above link.

Default Installation

Install the executable JAR file in a regular folder on your machine. We refer to this as the root folder of your installation.  Note that each installation of JWalk will require a unique license. 

Install the JWalkLicense in exactly the same root folder where you put the JAR file.  When you first run JWalk it will seek the license file there.  If no valid license is found, the tool will terminate silently.

Custom Installation

JWalk analysing the algebraic structure of a ReservableBook

Run JWalk Tester

In your Linux, Windows or Mac file explorer, navigate to the root directory where you installed JWalk.  You should see the JWalk icon for the executable JAR-file.  Double-click on this JWalk icon.  

This launches the flagship JWalk Tester.  All test settings are then entered using the GUI.  For further information, please see the User Guide for JWalk Tester.

Run JWalk Utility

In the command-line console, go to your root installation directory and run Java with JWalkUtility as the main class:

java org.jwalk.tool.JWalkUtility <test-class> [<other-args>]

This will launch JWalkUtility on the command-line, with the named class as the test-class.   Note that:

• the test-class must be a compiled Java class (not source code) within its own package tree;

• this package tree must be directly under the root installation directory, or known to the Java CLASSPATH;

• the name of the test-class is always its full package-qualified name (otherwise JWalk won't find it).

For an explanation of the other command-line arguments, please see the User Guide for JWalk Utility.

Terms and Conditions