News

JTorX v1.7.1 (1 comment)

Added by Axel Belinfante over 9 years ago

Bug fixes:
  • appropriate enabling and disabling of instantion Get and Use buttons
  • performance should be better due to disabling of debug print statements and disabling of progress bars

Note: progress bars are not updated, at least not during test run, and maybe not at all.

This contains SymToSim.jar built from code rev. 290.

JTorX v1.7.0.1

Added by Axel Belinfante over 9 years ago

identical to v1.7.0, except:
  • removed the examples folder from the included SymToSim.jar

this is done to avoid confusion about examples versions
(as discussed on mailing lists STSim Users and STSim Dev.

This JTorX will show as version number v1.7.0.

JTorX v1.7.0

Added by Axel Belinfante over 9 years ago

New features:
  • stsimulator for testing with STS's (symbolic transitions systems) is now integrated
  • new model file suffix is recognized: .sax for STS models denoted in XML (follow the link to see how to write them).
  • from STS as XML (.sax) and jararaca input (.jrrc, .tp) files the automaton visualization information is automatically obtained

Example .sax files have been added to the files section in: sax-examples.zip

JTorX v1.6.2 (1 comment)

Added by Axel Belinfante almost 10 years ago

New features:
  • simulation of model-used-as-implementation-under-test is now also possible via Config Components pane
  • now support double-quoted constants in labels (for STSes)
  • now also allow timeout to be set when using model-as-implementation-under-test
    (for use with timed (ta2torx) models)
  • initial support for saving a configuration (loading such config not possible yet)

JTorX v1.6.1

Added by Axel Belinfante almost 10 years ago

New features:

  • separate configuration of Instantiators for Model and simulated-Model-used-as-system-under-test
  • visualize-suspension-automaton toggle buttons ("sa") are now by default off

Bug fixes:

  • make instantiators work in simulator and in simulated-Model-used-as-system-under-test
  • tried to work around some crashes ('improved robustness in some places')
Note:
this (and previous, 1.6.0) changes are triggered by the fact that we now have two kind of Instantiators:
  1. external ones, that are explicitly configured in GUI (and now have separate Configuration as described above)
  2. builtin ones, that are part of an explorer, i.e. part of the tool component that provides access to a (symbolic/parameterized) transition system

In release 1.6.0 we provided access to the second kind of Instantiators.
In release 1.6.1 we improved access to both kind of Instantiators, wherever they are needed/used.

JTorX v1.6.0

Added by Axel Belinfante almost 10 years ago

New features:

  • extended support for testing with symbolic transition systems,
    in order to support connection to stsimulator
  • for above: extended torx-explorer interface (that is used 'under the hood' to communicate with stsimulator) with "f" command to ask for an instantiation for a given transition
  • now recognize files with suffix .tx.bat or .tx.exe as being programs/scripts that talk the torx-explorer interface on their standard input and -output
  • extended 'Instantiation' pane in Test pane and Simulation pane with button to ask for an instantiation
  • hacky support for models where multiple visualization nodes resp. edges correspond to single LTS state rsp. transition
  • added adapter that communicates with SUT using labels of the model over tcp/ip,
    where JTorX runs a tcp server on a given port and waits for the SUT to connect to it
  • added ability to Abort starting of a test run (to stop listening server of above-mentioned adapter)

Bug fixes:

  • use layout information of .graphml files on windows (like we already do for linux and mac)
  • in Simulator, add instantiated events as sibbling of the un-instantiated original
    (i.e. not as child, which what we used to do)
  • clear panes when Test pane Start button is pressed
    (i.e. not only when test run is actually started, but also when error is reported about config, or when model or adapter is not accessable)
  • make passing of prefab graphviz .gv file (e.g. file.tx.bat.gv, for torx-explorer program file.tx.bat) from JTorX to Anidot (the automaton visualizer) work also on Windows
  • improved robustness in some places

River Crossing puzzle example

Added by Axel Belinfante about 10 years ago

A new example has been added to the Files section: riverCrossing.tgz .
It is a version of the farmer wolf goat cabbage river crossing puzzle.

http://www.mathcats.com/explore/river/crossing.html
http://www.cut-the-knot.org/ctk/GoatCabbageWolf.shtml

The example contains four (.graphml) models, an assumed to be correct Java implementation, a visualization of the state of the implementation that also works as a gui to the puzzle (click on items to make them move) (thanks to the kind people of mathcats.com), and some guide files that can be used to guide the test derivation towards the solution of the puzzle.

A Java source template is included, to allow you to make your own implementation (by filling in the blanks).

JTorX v1.5.0

Added by Axel Belinfante about 10 years ago

New Feature:

  • extended torx-adapter interface: allow torx-adapter to respond to C_INPUT with A_OUTPUT if output is pending
  • extended torx-adapter support: pass env vars TORXTIMEOUT and TORXTIMEUNIT to torx-adapter when it is started

Bug fixes:

  • on windows, detect whether 32-bit or 64-bit java is used, to load appropriate swt library
  • in writer of .aut files: fixed #states-#transitions mixup when writing (des(..,..,..)) header line
  • in torx-adapter: fixed matching of *_ERROR response messages
  • tried to avoid (some of the?) crashes/hangs that occasionally happened when quitting JTorX (at least on mac)

JTorX v1.4.2

Added by Axel Belinfante over 10 years ago

New feature:

  • clicking on the selected item in the list of enabled stimuli, deselects this item,
    such that when subsequently the Stimulate button is pressed, a random stimulus is given
    (if this click to deselect the item is done too quickly after the click that selected the item, it will be interpreted as a double click which causes the item to be given as stimulus)

Bug fix:

  • when the Stimulate button is pressed, the selected item from the list of enabled stimuli is taken into account
    (if no item is selected, a randomly chosen item will be used as stimulus)
    Before this fix, pressing the Stimulate button would always cause random selection of an element from this list,
    even when an item had been selected.

See also the changes overview.

JTorX v1.4.1

Added by Axel Belinfante over 10 years ago

Some time ago (March 30, 2010) JTorX version 1.4.1 was released.

New features:

  • added toggle to let tcp and stdio adapters, that communicate labels from the model, strip ? prefix/suffix from stimuli and add ! prefix/suffix to observations
  • the anidot animation now leaves a green "trail" of visited edges

Bug fix:

  • fix issue with matching literal label "delta" in model used as guidance

See also the changes overview.

« Previous 1 2 3 4 Next »

Also available in: Atom