Activity 1: Get familiar with the Vending Machine

  • Navigate to folder src/vendingMachine. It contains file TestUI.java. Run this file as a Java application (right click and then Run as/Java Application).

  • This leads to a GUI where buttons are commands that the machine can execute. Some commands require the selection of the result, indicated in red.

  • Use the Start button and experiment with the machine. For instance, use the service interface to switch the machine on, insert coins and order products by means of the user interface.

  • After pushing the Save button, the sequence of the executed commands and the responses is stored as an execution trace in the file VendingMachine.events. This file will be used later to check if the trace conforms to a behavioral specification.

  • The assumption is that

    • all traces that can be constructed by the GUI are valid traces of the component and

    • commands that are not offered by the GUI are also not allowed by the component

If the file VendingMachine.events is not visible in the project, right-click on the project and choose "Refresh" or F5.