2 EXAMPLE SPECIFICATION: TICKET VENDING MACHINE
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 now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
