Stylesheet user/screen.css not found, please contact the developer of "vector" template.
Stylesheet user/print.css not found, please contact the developer of "vector" template.
Stylesheet user/rtl.css not found, please contact the developer of "vector" template.

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
vendingmachine [2016/11/24 22:04]
admin [What's Included]
vendingmachine [2016/11/24 22:05] (current)
admin [What's Included]
Line 14: Line 14:
 This demo includes the following components: This demo includes the following components:
  
-  * java class to be tested that simulates vending machine: [[http://TestOptimal.com/demo/VendingMachine.text|VendingMachine.java]].+  * java class to be tested that simulates vending machine: [[http://TestOptimal.com/demo/VendingMachine.java|VendingMachine.java]].
   * MBT model (shown above) from which the test sequences are generated.   * MBT model (shown above) from which the test sequences are generated.
   * MBT handler [[http://TestOptimal.com/demo/VendingMachineHandler.java|VendingMachineHandler.java]] which drives the java vending machine program.   * MBT handler [[http://TestOptimal.com/demo/VendingMachineHandler.java|VendingMachineHandler.java]] which drives the java vending machine program.
Print/export
QR Code
QR Code vendingmachine (generated for current page)