September 2019
Intermediate to advanced
331 pages
9h 21m
English
This chapter presents the specification of a ticket vending machine (TVM) software. In the book we demonstrate various test design methods based on this specification, among others. In Chapter 4 it is separated into user stories by one of the author’s small Agile team. We call it final version. This refined specification is the basis of the model-based test design. The final version has been implemented. The ticket vending machine example is easy to understand but non-trivial to test.
The ticket vending machine is a vending machine that produces tickets. The typical transaction consists of a user using the display interface to select the type and quantity of tickets. After successful payment, the ...
Read now
Unlock full access