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 ...

Get Practical Test Design: Selection of traditional and automated test design techniques now with the O’Reilly learning platform.

O’Reilly members experience live online training, plus books, videos, and digital content from nearly 200 publishers.