Open Features

Zoom in Zoom out

months from Apply Clear

Feature #64: make tab layout in GUI user-configurable by drag/drop as in Eclipse?
Feature #68: allow user to cancel View if it takes a long time (infinite model?)
Feature #70: allow custom viewers/animators (or general log-monitors?)
Feature #85: allow custom state (log?) extractor
Feature #95: be able to continue testing after a pass,miss or pass,hit verdict???
Feature #100: if we only have a single ioco/utrace-checker trace result, does it need to be selected to be used?
Feature #104: better way to 'play' multiple utraceChecker results in simulator
Feature #106: be able to highlight omitted individual input actions from utraceChecker result?
Feature #114: need to be able to configure working directory in which implementation is to be run
Feature #115: add tiled notebook docking window for anidot
Feature #117: suggest/give/add default file suffix when saving something to file
Feature #120: show pending observations in the gui?
Feature #121: change log-LTS to use adapter states/transitions? to be able to have (eg) also impl state?
Feature #123: add heuristics to dot writer to break long state/transition labels into multiple lines
Feature #126: in anidot , let the window scroll automatically to show the highlighted node(s)
Feature #127: have a clone-like button that gives a birds-eye view of the graph?
Feature #138: add visualization of model or susp aut that shows coverage of automaton
Feature #139: keep track (over test runs?) where we have been, and steer test run to unexplored states/transitions
Feature #244: be able to step through a finished test run, and for each step see menu of inputs and outputs
Feature #250: label comparison toggle: case sensitive/insensitive - to affect Test, icocoChecker, utracesChecker
Feature #255: recognize LOG keyword on stdout or stderr of e.g. TorXExplorer, to append lines to Log
Feature #280: allow saving and loading of a configuration
Feature #286: visualize potential next test step?
Feature #460: Show STSimulator Errors in JTorX
Feature #527: add option to visualize as QTS (transform LTS to QTS before visualization)
Feature #579: allow user to select display of long or short node labels in automata eg for suspension automaton or testrun (and use tooltips for long labels?)
Feature #644: when JTorX test run start-up takes too long, because of visualization, suggest user to disable visualization (e.g. in pop-up)
Feature #208: add built-in support for formalisms like mcrl2, mucrl, jararaca, with adjustable preferences
Feature #547: allow use of separate seed for Random number generator of model simulator
 
 
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
1
2
3
4
JTorX
1.2.0 73%
Assigned 20%
1.9.0 100%
Feedback 100%
 
« Previous Next »

Also available in: PDF PNG