APPENDIX A − TVM MODELS

Model for the buying process

//Ticket price(I): 1.1; 6; 10.1; 12; 20.1; 21; 25.1; 151

Inserted amount(I): 1; 1.0; 5, 0.1; 2; 2.0; 0.5; 0.5, 0.2, 0.2; 0.50

Remaining amount(O): 0.1; 5; 5.1; 10; 10.1; 20; 20.1; 75

Acceptable maximum banknote(O): 5; 10; 20; 50

BanknoteTest:

WHEN Inserted amount IS 2 | 2.0 | 0.5 | 0.50 | 5, 0.1 | 1 | 0.5, 0.2, 0.2

THEN Remaining amount IS 0.1 | 5 | 5.1 | 10 | 10.1 | 20 | 20.1 AND Acceptable maximum banknote IS 5 | 5 | 10 | 10 | 20 | 20 | 50

Model for the transaction OK

Inserted amount(I): 0.1; 5; 5, 0.1; 10; 10, 0.1; 20; 20, 0.1; 5

Remaining amount(O): 0(D)

Number of tickets printed(O): 1; 4; 5; 2; 10

Action(O): initial screen(D)

Print:

WHEN Inserted amount IS 0.1 | 5 | 5, 0.1 | 10 | 10, 0.1 ...

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.