Fastest

Fastest is a model-based testing tool that works with specifications written in the Z notation. The tool implements the Test Template Framework (TTF) proposed by Phil Stocks and David Carrington. 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: Disjunctive Normal Form (DNF). It is the only testing tactic applied by default (regardless of whether the user has added or not other testing tactics) and the first one to be applied. Standard partitions (SP). The user can add, modify and delete standard partitions for any predefined Z mathematical operator by simply editing a text file. Free Types (FT) In Set Extension (ISE) Proper Subset of Set Extension (PSSE) Subset of Set Extension (SSE)