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