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)
 
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
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