- 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:
LaDainian Tramayne Tomlinson (born June 23, 1979) is a free agent American football running back who last played for the New York Jets of the National Football League (NFL). He played college football for Texas Christian University (TCU). He was drafted by the San Diego Chargers fifth overall in the 2001 NFL Draft and spent nine seasons with that team before moving to the Jets as a free agent.
Tomlinson, often referred to by his initials, L. T., has been selected to five Pro Bowls and has been an All-Pro six times. Tomlinson won two rushing titles, in 2006 and 2007, and ranks fifth in career rushing yards. During the 2006 NFL season, he set several records and received numerous honors and awards including the NFL’s Most Valuable Player Award and Associated Press’ Offensive Player of the Year Award.
Tomlinson was born to Loreane Chappelle and Oliver Tomlinson in Rosebud, Texas. His father left the family when Tomlinson was seven years old. Tomlinson did not see his father very often afterwards. His mother worked as a preacher. At age nine, Tomlinson joined the Pop Warner Little Scholars football program and scored a touchdown the first time he touched the ball.