- published: 24 Apr 2014
- views: 4911714
Fastest is a model-based testing tool that works with specifications written in the Z notation. The tool implements (Cristia & Rodriguez Monetti 2009) the Test Template Framework (TTF) proposed by Phil Stocks and David Carrington in (Stocks & Carrington 1996). It is freely available online.
Fastest presents a command-line user interface. The user first needs to load a Z specification written in LaTeX format verifying the ISO standard (Z Standard 2002). 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. (Cristia, Rodriguez Monetti & Albertengo 2009)
Currently,[when?] Fastest supports the following testing tactics:
World's Fastest Everything 2014
World's Fastest Everything - 2015
World’s Fastest Everything 2016
Top 10 Fastest Shots Ever
15 Fastest Things Of All Time (Some You May Not Expect)
Top 10 Fastest Football Players ● 2016 Updated
Top 10 Fastest Counter Attacks
10 Fastest Things In The World
10 Fastest Things In The World
MODDED ARK: Survival Evolved - FASTEST PTERANODON?! E21 ( Gameplay )
Fastest Workers Crazy workers Compilation 2013
Top 3 Fastest Referees
Top 10 Fastest Goals In Football ● Official Matches HD
Fastest Players in The World