Lably
Skip to content

Fastest

Computer programming testing tool

  • 7 min read
  • 5 chapters

Related on Lably

Through Cartesian product, Satisfiability and Java (programming language)

Lab · Class 11–12Relations and FunctionsLab · Class 11–12Databases & SQL

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.

Sign in to keep reading

4 more chapters are free with a Lably account.

More in From Lably lessons

Hello, worldTraditional first example of a computer programming languageTable (format)Arrangement of information or data, typically in rows and columnsPowdered milkDehydrated milk productDim sumChinese cuisineLegitimationProcess by which something becomes accepted within a societyCreditsList of people involved in the production of media