All closed issues

Zoom in Zoom out

months from Apply Clear

Bug #80: anidot does not support style verb
Bug #643: Mac OS X 10.8 (Mountain Lion): Automaton visualizations do not work
Feature #23: allow tests to be input-enabled
Feature #24: be able to specify adapter parameters
Feature #58: add font size control (eg for demos)
Feature #57: make it easier to use arbitrary (cycle-free) LTS as guidance information
Feature #69: add Simulation tab(s)
Feature #71: add posibility to save test run log file
Feature #74: add adapter that communictes labels over tcp
Bug #76: node labels in graphml files are not preserved in the LTS - and thus not shown in e.g. the dot views
Bug #77: the state labels in the dot animation do not make sense -- omit or create more informative ones?
Bug #78: initial state is not indicated in dot automata shown via View button
Bug #79: improve anidot interface issues
Feature #86: capture concrete adapter interaction in log
Bug #59: guided run 'Expected obs' window does not show all expected outputs, but only those from test purpose?
Feature #72: add a way to View (visualize) the difference reported by iocoChecker
Feature #73: show iocoChecker out(spec/impl after trace) set difference in results table?
Bug #91: iocoChecker can not be stopped once it has started
Feature #92: it would be nice to see iocoChecker failure traces as soon as they are found
Feature #93: it could be nice if we can ask iocoChecker to only look for the first failure
Bug #102: iocoChecker takes too long, and also preparing results for showing may take long time
Feature #105: be able to save utraceChecker result trace?
Bug #109: simulator control pane lacks Browse, and way to select end of simulation trace
Bug #122: allow adaptsim tests to be input enabled
Bug #128: (guided) simulation anidot window titles are confusing and/or less informative than they could be
Feature #179: option to apply angelic completion to model?
Feature #212: support use of user/tool-contributed graphviz (dot) file for torx-explorer animation
Bug #213: JTorX 1.2.0 never hits a test purpose given as a .tp test purpose file
Bug #247: Application Error: invalid command name "dotnew"
Bug #270: uncaught out-of-memory error in IocoCheckerWrapper.getFailuresAsTestPurposes
Bug #271: iocoChecker results are not sorted by increasing trace length
Bug #274: no msc is shown for a test run if spec-impl name contains 'funny' characters (1.2.0 and earlier?)
Bug #75: in msc viewer: close multicast connection when viewed msc contains syntax error
Bug #81: there is no way to restart viewer programs
Bug #94: on windows, when the user closes all anidot windows, the anidot server does not get restarted
Bug #97: on windows, the treeitem used in the simulator can only have a depth of 255?
Bug #103: the omitted inputs set in a Utraces report line may contain duplicates
Feature #112: extend anidot multicast to allow tree selection
Bug #113: fix highlighting of <root> state in simulation pane
Bug #116: hardcoded limit in number of items shown in compound state label
Bug #124: after stop-ping a simulation run, we can still expand the simulation tree
Bug #129: guided simulation trace start highlight only highlights initial transition, not initial node
Bug #131: sometimes killing lts pictures causes error messages: can not find channel named "sock3712"
Bug #132: iocoChecker uses wrong relation name in result report when using Utraces
Bug #134: make font bigger/smaller leads to something unreadable, in both cases.
Bug #135: UtracesCheck: of spec or impl?
Bug #136: what is iocheck with a real implementation? Should be disabled?
Bug #140: in simulation path pane same initial trace gets written again and again when we press right-arrow
Bug #141: when fonts are made bigger, items in e.g. Config pane become obscured
Bug #142: when we close JTorX before animation servers have started, these servers are not cleaned up
Bug #145: can't appear "Next test step(s):" in small screen, can't continue tests
Bug #147: second start of TorXExplorer (.tx) Model or Impl does not work (and JTorX crashes)
Bug #184: (su)traces selection box is not disabled during test run
Bug #200: jtorx (1.1.1) is unable to connect to running anidot and animsc on windows vista
Bug #321: Stimulate button does not use selected stimulus (but always randomly selectes stimulus)
 
 
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
0.99 100%
Closed 100%
Closed 100%
Closed 100%
1.0.0 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
0.9999 100%
Closed 100%
1.3.0 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 0%
Closed 100%
Closed 100%
Closed 100%
1.1.0 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
1.1.1 100%
Closed 100%
1.2.0 73%
Closed 100%
Closed 100%
1.4.2 100%
Closed 100%
 
« Previous Next »

Also available in: PDF PNG