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)