Fastest

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.

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 (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)

World

World is a common name for the whole of human civilization, specifically human experience, history, or the human condition in general, worldwide, i.e. anywhere on Earth or pertaining to anywhere on Earth.

In a philosophical context it may refer to:

In a theological context, world usually refers to the material or the profane sphere, as opposed to the celestial, spiritual, transcendent or sacred. The "end of the world" refers to scenarios of the final end of human history, often in religious contexts.

World history is commonly understood as spanning the major geopolitical developments of about five millennia, from the first civilizations to the present.

World population is the sum of all human populations at any time; similarly, world economy is the sum of the economies of all societies (all countries), especially in the context of globalization. Terms like world championship, gross world product, world flags etc. also imply the sum or combination of all current-day sovereign states.

TNT (Russian TV channel)

TNT (Means: Your New Television. Russian: ТНТ, Твоё Новое Телевидение, Tvoyo Novoye Televideniye) is a Russian brand name of TNT-Broadcasting Network, one of Russia’s top five television networks. It reaches over 100 million people throughout Russia offering a light entertainment aimed at a younger audience from age 16 through age 30.

Thanks to its blend of innovative reality programmes and a variety of original comedy shows backed up by probably the most aggressive marketing in the market, TNT demonstrated a record-breaking growth in both revenues and audience share. In the last four years, TNT’s national share of audience (6 – 54 years old) increased from 3.9% in 2002 to 6.9% in 2009.

TNT’s business model is similar to the US TV Networks whereby its signal is distributed by both own and operated stations and affiliate stations. In return the local stations get a share of advertising time within the content provided by TNT.

TNT delivers its signal through satellites in four different orbits, allowing its 20 own TV stations and over 350 affiliates to receive the signal in their respective time zones. TNT’s signal is received and retransmitted by local network stations covering in 760 Russian cities. Sale of advertising is TNT’s main source of revenue. As of July 2013 Roman Petrenko, previously General Director of TNT (2002-2013), is the new Chairman Of the Board (CEO) of JSC TNT-Broadcasting Network.

Guinness World Records

Guinness World Records, known from its inception in 1955 until 1998 as The Guinness Book of Records and in previous U.S. editions as The Guinness Book of World Records, is a reference book published annually, listing world records, both human achievements and the extremes of the natural world. The book itself holds a world record, as the best-selling copyrighted book of all time. It is one of the most frequently stolen books from public libraries in the United States. As of the 2016 edition, it is now in its 62nd year of publication. The international franchise has extended beyond print to include television series and museums. The popularity of the franchise has resulted in Guinness World Records becoming the primary international authority on the cataloguing and verification of a huge number of world records; the organization employs official record adjudicators authorised to verify the authenticity of the setting and breaking of records.

History

On 10 November 1951, Sir Hugh Beaver, then the managing director of the Guinness Breweries, went on a shooting party in the North Slob, by the River Slaney in County Wexford, Ireland. After missing a shot at a golden plover, he became involved in an argument over which was the fastest game bird in Europe, the golden plover or the red grouse (it is the plover). That evening at Castlebridge House, he realised that it was impossible to confirm in reference books whether or not the golden plover was Europe's fastest game bird. Beaver knew that there must be numerous other questions debated nightly in pubs throughout Ireland and abroad, but there was no book in the world with which to settle arguments about records. He realised then that a book supplying the answers to this sort of question may prove successful.

World record

A world record is usually the best global performance ever recorded and officially verified in a specific skill or sport. The book Guinness World Records collates and publishes notable records of all types, from first and best to worst human achievements, to extremes in the natural world and beyond. The website RecordSetter has begun to take on the same territory, but with a more inclusive policy, as users submit videos of record attempts in order to try to receive a world record. The website challengers.guinnessworldrecords.com is similar to RecordSetter, as the record attempts are judged by Guinness World Records adjudicators, but the records to attempt are provided beforehand.

Terminology

In the United States the form World's Record was formerly more common. The term World Best was also briefly in use. The latter term is still used in athletics events, including track and field and road running) to describe good and bad performances not recognized as an official world record: either because the event is a non-qualifying event (e.g. the 150 m run or individual events in a decathlon), or because it does not fulfil other criteria of an otherwise qualifying event (e.g. the Great North Run half-marathon, which has an excessive downhill gradient). The term is also used in video game speedrunning when someone achieves the fastest possible time for the game and category.