Fastest


Fastest is a model-based testing tool that works with specifications written in the Z notation. The tool implements the Test Template Framework proposed by Phil Stocks and David Carrington in.

Usage

Fastest presents a command-line user interface. The user first needs to load a Z specification written in LaTeX format verifying the ISO standard. Then, the user has to enter a list of the operations to test as well as the testing tactics to apply to each of them. In a third step Fastest generates the testing tree of each operation. After testing trees have been generated, users can browse them and their test classes, and, more importantly, they can prune any test class both [|automatically or manually]. Once testing trees have been pruned, users can instruct Fastest to find one abstract test case for each leaf in each testing tree.

Testing tactics supported by Fastest

Currently, Fastest supports the following testing tactics:
Fastest provides two ways of pruning testing trees :
The tool finds abstract test cases by calculating a finite model for each leaf in a testing tree. Finite models are calculated by restricting the type of each VIS variable to a finite set and then by calculating the Cartesian product between these sets. Each leaf predicate is evaluated on each element of this Cartesian product until one satisfies the predicate or until it is exhausted. In the last case, the user has the chance to assist the tool in finding the right finite model or to prune the test class because it is unsatisfiable.

Architecture and technology

Fastest is a Java application based on the Community Z Tools project. The tool can be used in one of two modes :
As can be seen from the TTF presentation, testing tactics are essential to the method. They are the tools that engineers must use to create the most discovering test cases possible. Then, the more sound testing tactics available to engineers the better.
In Fastest users can add testing tactics of their own by implementing the Tactic interface provided by the tool. This interface has methods to configure and apply testing tactics. The interface definition is the following:

package client.blogic.testing.ttree.tactics;
import java.util.*;
import net.sourceforge.czt.z.ast.Spec;
import common.z.TClass;
import common.z.OpScheme;
/**
* Interface that abstracts a testing tactic and
* makes possible its application to a test class in order to generate new ones.
*/
public interface Tactic