- 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
15 Fastest Things Of All Time (Some You May Not Expect)
Craziest & Fastest Football Runs 2016 |HD|
Top 10 Fastest Goals In Football ● Official Matches HD
Fastest dog on a ball - Guinness World Records
The Fastest Roller Coaster! - Planet Coaster Gameplay #2 (Playthrough/Let's Play)
10 Fastest Things In The World
10 Fastest Things In The World
Top 3 Fastest Referees
Fastest Workers Crazy workers Compilation 2013
NEW Slamvan Custom Fastest Vehicle In GTA Online EXPLAINED! - Lowrider Faster Than Super Cars!?
🔴 HARDCOREGAMES | THE FASTEST MAN ALIVE!