Testing models with JTorX

  1. Enter the path to the specification file in Config Items text field Model
    (or use the Browse button; make sure it shows All supported Formats)
  2. Select implementation type: simulation of given model
  3. Enter the path to the implementation model file in text field Model under Implementation
    (or use the Browse button; make sure it shows All supported Formats)
  4. Select the right Interpretation for your models
  5. Select traces kind: Straces or Utraces.
  6. Select the Test tab.
  7. Optionally, choose your own random number Seed.
  8. Press the Start button - it will show Stop, and a Log pane will appear.
  9. Use the buttons in the Next test step(s) pane to execute test steps.
  10. Press the Stop button when you are done.
  11. You may want to close the Log panes when you are done.

Back to Usage scenarios