Already a while ago (March 19, 2010) JTorX version 1.4.0 was released.
- added the ability to re-run a test log as (fake) system under test
- in anidot, in the automaton animation, use paler colors as fill colors when highlighting states, and darker colors when highligting edges, to improve readability
- in anidot, on Mac and Linux, use slightly bigger fonts for labels, to improve readability (works less nice for loooong labels)
- the graphml visualization now uses the position of the invisible (pre-)start state that is the source of the invisible transition to points to the initial state to position the box that contains the name of the graph
- use timestamps in stdio and timed stdio adapters, to try to work around races between stimuli and observations, or at least detect them
- use these timestamp in Driver to try to detect race (and adjust the execution trace to correctly reflect executed order of actions)
- added ant build file to the repository
- allow reordering of pane tabs
- take !? pre/suffix into account when comparing labels (i.e. allow use of !50c next to ?50c )
See also the changes overview.
- Improvements to user interface to iocoChecker
- each individual iocoChecker result is now shown as soon as it is found
- there now is a Stop button to stop a running iocoChecker
- iocoChecker can stop automatically when a given number of failures (default: 5) have been found
- experimental support for angelic completion of a model (only for testing, unchecked by default).
This should add self-loop for underspecified inputs (i.e. for those inputs that are reported by utracesChecker).
NOTE: when using this it is wise to uncheck the
satoggle button in the Test pane, because for unknown reason (because it is big?) displaying the resulting suspension automaton is really computationally intensive
- support for 'prefabricated' graphviz visualization files.
If a file with same name as model (guide,implementation) file, but with suffix .gv is found, this file is used when viewing/animating the automaton.
For a jararaca file, such file can be obtained using:
jararaca -d -L file.jrrc > file.jrrc.gv
jararaca -d -l epsilon file.tp > file.tp.gv
- experimental support for 'symbolic/timed testing' (but the distribution does not contain explorer/instantiator components that exploit this):
- label-parameters are recognized in LTS's accessed via the TorXExplorer interface
- timed version of the labels-over-stdio adapter has been added
- an instantiator can be configured
- a 'Use Instantiation' button+text field has been added
- the msc viewer would refuse to work if the file name of Model or Implementation would contain 'funny' characters (like whitespace). It should now be more liberal in this respect.
Features no longer available:
- the Guidance option
use combination of all iocoChecker failuresis no longer available (at least for now) as result of the changes to the iocoChecker integration
See also the changes overview.
JTorX tool (demo) paper accepted for TACAS 2010 (1 comment)
- in automaton viewer, show non-observable transitions as dashed edges
- for GraphML files, in automaton viewer (AniDot) use GraphML layout info (on mac and linux, does not yet work on windows)
- added support for formalism jararaca http://fmt.cs.utwente.nl/tools/torx/jararaca.1.html
(file jararacaExamples.tgz in the Files section contains examples for use with the iocoChecker Newspaper example)
- for models that are accessed via the torx-explorer interface, the indication about (non)observable transitions is used
(instead of only looking at label, and treating "i" and "tau" as non-observable -- which is still done for Aldebaran and GraphML models)
- fixed ability to show automaton and message sequence chart on windows vista
- avoid crash when a torx-explorer program, needed to access a formalism, is not available
- tried to better clean up leftover processes on exit
- (see also the changes overview)
see the changes overview for details.
bugfixes and some new features; see the changes overview for details.
The 1.1.0 packages in the Files section contain the most recent stable SWT release (3.5) (for the mac still the carbon version).
added simulator (available via Config Components pane)
a Log pane is now created whenever a testrun is started
Log can be saved (use file suffix .log)
saved Log can be used as 'model': e.g. as guide to steer next test run; to run log instead of implementation; to play log in simulator
iocoChecker results can be used to guide test run
special guide kind for which leaf nodes of LTS are marked with label that indicates 'hit'
states in anidot (automaton visualization) windows now derive node labels from model; labels of compound states (as in suspension automaton) are constructed from labels of their constituents
Expected observations pane now shows verdicts -- allows us to show, and distinguish between, observations that lead to pass,hit , fail,hit pass,miss ; also shows 'default' verdict for unexpected observations (fail, fail,miss)
reverted to 'portrait' mode window configuration; command line option -demo gives the smaller landscape window)
slightly more informative progress bars/indicators (need more work, especially to make sure they are not costly -- avoid forced display updating -- and still they should be up-to-date)
fixed bugs (e.g. tiny issue with cr-nl on windows in stdin/stdout adapter)
JTorX 0.999 adds support for Utraces in Test mode (was already supported by iocoChecker (i.e. in Check mode)), and therefore adds a trace kind configuration item to Config pane (and removes trace kind config item from Check pane).
JTorX 0.99 reorganizes the gui such that overall window size is reduced, to allow demos via beamer. Disadvantage: configuration is now on separate tab, so more switching is necessary.
JTorX v.098 (2 comments)
JTorX 0.98 contains a new Check pane that allows running of iocoChecker.
For more information about iocoChecker see: http://www.cs.ru.nl/~lf/tools/iocochecker/
- gui configuration pane elides superflous configuration items to reduce clutter
New JTorX version (0.97) adds initial support for sut-programs that interact on stdin/stdout via labels of the model.
Also available in: Atom