Activity

From 07 May 2009 to 05 Jun 2009

05 Jun 2009

23:57 Revision ca52e306: use new NullLTSWriter to do state space exploration for UtracesChecker
Axel Belinfante
23:42 Revision 1efccb79: reordered pane tabs utracecheck-iococheck-test
Axel Belinfante
23:26 Revision 90433a66: use test run title in Log pane (but not in Log TabItem Tab)
Axel Belinfante
23:18 Revision a015bb4a: we now also save the configuration to the log
Axel Belinfante
17:24 Revision 7912b141: we no longer embed the 'delta' in the interpretation, but have separate toggle...
Axel Belinfante
16:34 Revision dabb01b3: fix width of Timeout field; improve overall layout
found the trick to specify the intended width of the Timeout
field using Grid layout data: use the widthHint --
witho...
Axel Belinfante
16:33 Revision 0d36da2c: re-pack progress pane when the activity labels need more space than they have
Axel Belinfante
14:27 Revision 78718392: added tooltips for configuration (seem not to work on the Mac; depends on SWT ...
Axel Belinfante
14:18 Revision 19b84820: added 'Trace kind:' label; reworded delta-label related Interpretations
Axel Belinfante
14:05 Revision 6211284c: added tool tips for Test, iocoCheck and UtraceCheck
Axel Belinfante
13:48 Feature #57 (Resolved): make it easier to use arbitrary (cycle-free) LTS as guidance information
is now configurable via the Guide kind Axel Belinfante
13:46 Bug #79 (Assigned): improve anidot interface issues
Axel Belinfante
13:46 Feature #69 (Assigned): add Simulation tab(s)
simulation is possible via the 'components' configuration pane, where each component has a simulate button Axel Belinfante
13:44 Feature #71 (Resolved): add posibility to save test run log file
Axel Belinfante
13:44 Bug #76 (Resolved): node labels in graphml files are not preserved in the LTS - and thus not show...
now they are. Axel Belinfante
13:43 Bug #77 (Resolved): the state labels in the dot animation do not make sense -- omit or create mor...
we have more informative ones Axel Belinfante
13:43 Bug #78 (Resolved): initial state is not indicated in dot automata shown via View button
Axel Belinfante
13:42 Bug #79 (Resolved): improve anidot interface issues
Axel Belinfante wrote:
> - add mac style Window menu with list of windows, with possibility to raise/hide these (mac...
Axel Belinfante
13:40 Feature #86 (Resolved): capture concrete adapter interaction in log
Axel Belinfante
13:25 Revision 1b8630ac: disabled quite a bit of debugging output, by making it conditional
Axel Belinfante
11:01 Revision 095d9398: use CTabFolder instead of TabFolder, to allow close buttons on items. looks ugly
because we now have two kinds of tabfolders.
TODO: explore alternative:
add popup-menu for normal tab-item, and...
Axel Belinfante
10:53 Revision 1b44cd27: start logPaneCount at 1, to match msc numbering
Axel Belinfante
10:47 Revision 2dcf96f4: re-enable progress indicators
Axel Belinfante
10:23 Revision 492c2a54: minor GUI tweaks: removed named groups for buttons in checker panes; moved Sav...
Axel Belinfante

04 Jun 2009

01:28 Revision b5bb6f49: minor bugfix to correctly show/hide guide Label+Text when 'add epsilon' is sel...
Axel Belinfante
01:14 Revision 92e54c6e: Merge branch 'delta-interpretation' into concrete-interaction
Axel Belinfante
01:13 Revision cbdbdeb8: added hardcoded coffee interpretation with delta as config option
Axel Belinfante
00:37 Revision 243d00dc: initial code that captures concrete messages interacted with SUT and adds to Log
Axel Belinfante
23:51 Revision b2c9ef50: added initial code to add epsilon label to end-states of arbitrary LTS
Axel Belinfante
21:25 Feature #86 (Closed): capture concrete adapter interaction in log
like in TorX, let adapter report 'concrete' interaction with SUT, and include that in the log. Axel Belinfante
18:24 Revision 46470f00: now LabelPlusVerdict implements interface Label, allowed simplification of fin...
Axel Belinfante
18:10 Revision bcd9249d: added finish() to ExtendedCompoundSimOnLineTestingDriver, where we give labels...
TODO: change the DriverFinalizationResult to contain a vector of strings
instead of a vector of labels, to make...
Axel Belinfante
17:53 Revision 3aae512c: make CompoundSimOnLineTestingDriver randomStep choice in case empty menu more ...
Axel Belinfante
17:43 Revision 0a0a3257: fix buglet in CompoundSimOnlineDriver: when #out==0 and #in==0 randomly always...
if we do not do that, we may try to stimulate, which will fail because no
stimulus is available, whereas we may be in...
Axel Belinfante
16:57 Revision 56f7506b: really added delta interpretation
Axel Belinfante
16:44 Revision c6c42633: initial attempt at delta interpretation for log LTS
Axel Belinfante
16:22 Revision dd3b80f9: commented out micro-seconds possibility in configuration
Axel Belinfante
16:11 Revision f85a9c42: fix log LTS to have not have cycles
Axel Belinfante
16:01 Revision 4a0cac6f: initial log explorer
Axel Belinfante
14:26 Revision 7657d915: the save dialog now warns when we might overwrite a file
Axel Belinfante
14:13 Revision 83923623: now a --demo command line option to Testgui makes it use the 'demo' (landscape...
Axel Belinfante
14:06 Revision 98494d68: added test run Log button pane containing a Save button
TODO: make sure that it warns when we attempt to override something Axel Belinfante
12:29 Revision d5db496d: added timestampts to Driver init() results
Axel Belinfante
12:13 Revision 99ca0a1d: added time stamps in results of AdapterSimImpl
Axel Belinfante
12:12 Revision 972dd3c4: minor fix: removed initial blank lines from LogTextPane
Axel Belinfante
11:57 Revision 073d972f: change to utraces checker: when run succesful, return UtraceCheckerResult
also when there are no traces/states/inputs to report Axel Belinfante
11:47 Revision a6730c7e: minor cleanup to gir rid of a few warnings
Axel Belinfante

02 Jun 2009

00:40 Revision 891bfd66: gotten rid (once more) of progress stuff (avoiding interference) unnecessary; ...
Axel Belinfante
23:32 Revision 29e345f4: removed size computation of Timeout config field
to avoid it getting shrunk to the amount of characters that it
actually contains when the window is resized
Axel Belinfante
23:28 Revision f6b22b1b: experiment: run progress level/activity updates in separate threads
Axel Belinfante
22:58 Revision 581dd218: sped up progress reporting by removing update calls (and use separate thread ...
Axel Belinfante
22:19 Revision e898b10c: commented out progress-reporter calls to speed things up (should use async?)
TODO: rethink the progress-reporter stuff: right now it wastes time.
theory: it wastes time because it syncs ba...
Axel Belinfante
22:16 Revision f96e7929: bugfix: in TreeConfig get state-space reporter when we need it
Axel Belinfante
17:10 Revision de630d9e: Merge branch 'master' into progress-statespace
Conflicts:
src/utwente/fmt/jtorx/testgui/Testgui.java
Axel Belinfante
17:01 Revision 62968995: show Expected in msc + fix generation of expected in Drivers + minor change in...
in LogMux: reorder stuff in stopSession Axel Belinfante
16:27 Revision 5e1629d0: added activity strings in progress pane + code to set the string
Axel Belinfante
14:41 Revision 72cbe3c4: added progress support to AniDotExtendedLTSWriter; moved progress update call ...
Axel Belinfante
14:09 Revision ab9f89b5: avoid keeping HashSets around in AniDotLTSWriter (or should we only empty them?)
Axel Belinfante
13:54 Revision 94cfe8be: added try/catch handlers in Testgui to catch 'widget disposed' exceptions when...
Axel Belinfante
13:30 Revision 6c0e94f7: Merge branch 'fix-animator-end-change' into progress-statespace
Conflicts:
src/utwente/fmt/jtorx/logger/anidot/ImplToDot.java
src/utwente/fmt/jtorx/logger/anidot/ModelToDot.java
...
Axel Belinfante
12:21 Revision 01cf03c1: fix bug introduced when we added parameter DriverFinalizationResult to Animato...
Axel Belinfante
12:03 Revision 3c6e3184: freeze initial version that shows progress of state space construction for ani...
TODO: fix problem: at end of test run, anidot view does not seems to notice
it does see end of construction in ...
Axel Belinfante

30 May 2009

23:40 Revision c556c3fa: now we presetn utraces checker results in pane (similar to iocoChecker results)
TODO:
- 'export' the utraces results as test purpose?
- make it possible to view the utraces traces
(feed into s...
Axel Belinfante

29 May 2009

00:57 Revision 2060c3e4: added initial (working?!?) utraces checker code
Axel Belinfante
18:12 Revision 57afb6fb: we can now include the impl stderr messages in the log
Axel Belinfante
16:41 Revision f8664183: added log pane and log writer; extended log results in driver (esp at end of run)
Axel Belinfante
16:38 Revision ab318794: in LogMux: added public addAnimator (from addToAnims)
Axel Belinfante
14:07 Revision 35b56420: added/changed missing methods 'end' in logger code
Axel Belinfante
14:01 Revision a0bad78c: Merge branch 'master' into log-to-file
Axel Belinfante
12:13 Revision 0c0df559: restored original window pane layout (can be set back using variable)
Axel Belinfante
10:52 Revision b9733cf4: tkdock use -data to set image (should be on master)
Axel Belinfante
10:47 Revision 459be0ba: added anidot dock icon (should be on master)
Axel Belinfante

28 May 2009

00:16 Revision 4ca22242: usebility fix: messages non-expandable; add simulator path pane
fix in to make messages non-expandable is not perfect:
sometimes it may be useful to make that part bigger
added ini...
Axel Belinfante
15:40 Revision be47f351: re-enabled use of grey 'prev', also with tree,s by keeping map in Anidot
NOTE: this may be expensive, memory-wise Axel Belinfante
15:39 Revision 94def7e7: fixed bug introduced earlier today that broke animation for non-tree traces
Axel Belinfante
15:14 Revision d626c39f: simplified Anidot (get rid of special case ColorGraph) (should be on master)
Axel Belinfante
15:02 Revision d01670ab: disable updating animation when we add children
Axel Belinfante
15:01 Revision 1b381d41: avoid redrawing dot graph even when we use state label instead of id
NOTE: this seems reasonable, but: does this break anything?
(POTENTIAL BUG)
Axel Belinfante
13:41 Revision 87e83f42: have a separate oldQ to reset items when we changed Q
Axel Belinfante
13:41 Revision 1d8a41ad: added key listener to simulator tree pane
Axel Belinfante
11:47 Revision 104330fc: added selection-listenere - no longer need mouseUp event handler
Axel Belinfante
11:35 Revision d2ced2c1: fixed bug with 'double simulation highlights'; added more navigation to popup ...
likely fixed the bug, by making sure that we always highlight the item
when we add it to the tree - without that, whe...
Axel Belinfante
10:38 Revision fa1b88ed: improved anidot view of animation
TODO: still, occasionally we get an additional highlighted node
that should not be highlighted: resetting the colors ...
Axel Belinfante

27 May 2009

00:31 Revision 6ddfe3c6: freeze colorchange simulator automaton - does not work correctly yet
Axel Belinfante
22:38 Revision 43cf4532: Merge branch 'master' into simulator
Axel Belinfante
22:12 Revision 94aff8d0: committed recent version of May 19 02:41
Axel Belinfante
22:09 Revision bf5caa76: commit anidot version of Nov 20 2008
Axel Belinfante
22:02 Revision 65b937e0: add anidot core (omitted utility libraries - some seem to be missing; wrong ve...
Axel Belinfante
13:32 Revision 92210929: freeze next version
Axel Belinfante
10:36 Revision 0dcebfbe: take Sim button column width into account in resize event handler
Axel Belinfante
09:51 Revision c32240e7: freeze logfile work
Axel Belinfante

26 May 2009

00:58 Revision 619c2b3d: freeze initial simulation version
renamed src/utwente/fmt/jtorx/simulator
to src/utwente/fmt/jtorx/simnongui
and added new src/utwente/fmt/jtorx...
Axel Belinfante
13:24 Feature #85 (New): allow custom state (log?) extractor
* that decides what diagnostics of impl to preserve in log
* that is able to mark pieces of these diagnostics as sta...
Axel Belinfante

23 May 2009

23:15 Revision 1de4f5b1: Merge branch 'eot-report'
Axel Belinfante

22 May 2009

17:00 Revision c73f1f5b: added endOfTest reporting method to ErrorReporter interface and impls
NOTE: only the Testgui ErrorReporter really ends the test run;
the other ErrorReporter impls only show an error mesag...
Axel Belinfante
09:23 Revision 827f34b6: use Reader instead of BufferedReader in ChildStarter + use timestamps in debug...
affects also TorxExplorer torx/AdapterImpl and StdInOutAdapter
w.r.t. reader (StdInOutAdapter now uses Reader; others...
Axel Belinfante
09:22 Revision dcef9ad0: less verbodse Testgui (commented out some debug prints)
Axel Belinfante
08:42 Bug #84 (New): find a way to deal with input-output non-determinism
when we are in a state where we can both apply stimulus and make an observation, and the model does not have a buffer... Axel Belinfante
08:32 Bug #83 (New): stop test run with real program also when program goes away during test run
we detect it when a program really fails to start. However, when a program does seem to start, but crashes slightly l... Axel Belinfante
08:29 Bug #82 (New): stopping test run with real program may end in fail beause program is killed?
after manually stopping a test run we got a fail verdict, and the last test step was quiescence, where real output wa... Axel Belinfante
08:26 Bug #81 (Closed): there is no way to restart viewer programs
when viewer programs exit with an error they are not automatically restarted - but there is no way to start them by h... Axel Belinfante

21 May 2009

13:24 Revision a9b1a40f: (should be on master brnach?) extend debug prints stdio-adapt
Axel Belinfante

20 May 2009

01:01 Revision 913cc8f9: cache the state label of compound states (at least for Primer and Guide)
Axel Belinfante
01:00 Revision 754d3db1: (should be on master branch?) make sure Testrun pane always has 'Auto' at star...
Axel Belinfante
00:07 Revision ad6fc9a5: work-arounds try to avoid/deal with null DriverInteractionResult (guided real ...
Axel Belinfante
23:20 Revision 1e5881d6: Merge branch 'master' into state-label
Axel Belinfante
23:19 Revision f1cd5720: use OutputStream instead of DataOutputStream in ChildStarter and its users
(users: Adapters, explorers) Axel Belinfante
23:18 Revision ef505228: in StateStatHandler: robustness fix (cures sympton, without fixing cause)
Axel Belinfante

18 May 2009

11:34 Revision 23af63ee: in PrimerState limit the number of labels that we show to 9
Alternative: limit the length of the string that we show in DotLTS
Someshow add tool-tip-like window to show full sta...
Axel Belinfante
11:00 Revision d982484e: experiment with hidden initial node in visualization - does not work
because anidot (at least on mac) does not seem to honour 'style invisible' Axel Belinfante
10:58 Bug #80 (Closed): anidot does not support style verb
or so it seems; at least we cannot use "style hidden" to create an invisible node as source of initial transition. Axel Belinfante

17 May 2009

16:17 Revision bea62fbf: Merge branch 'master' into state-label
Axel Belinfante
16:14 Revision cedd5f42: Testgui, TreeConfigPane: add initial state to dot visualization
TODO: add more descriptive titles in initial state, eg for the
compound LTSes, refer to file names of underlying LTSes
Axel Belinfante
15:34 Revision 52eb0a5b: slightly improve robustness in LibState and AniDotLTSWriter
by testing for null states before trying to use them.
NOTE: however, the real solution would be to avoid creating th...
Axel Belinfante
15:26 Revision 0fd8e62e: PrimerState: use natural order comparison to sort elements in getLabel
we found the natural order class on the web:
http://weblogs.java.net/blog/skelvin/archive/2006/01/natural_string.h...
Axel Belinfante

16 May 2009

00:53 Revision 5fccaa99: small improvement in getLabel of PrimerState: addd ( and ) around sub-states
TODO: check which other compound states will also benefit from this idea Axel Belinfante
00:32 Bug #79 (Closed): improve anidot interface issues
- add mac style Window menu with list of windows, with possibility to raise/hide these (mac support)
- add mac dock ...
Axel Belinfante
00:29 Bug #78 (Closed): initial state is not indicated in dot automata shown via View button
Axel Belinfante
00:23 Revision 77c23192: initial code to preserve state labels in LTS states
in particular, we create a LTS state label in compound state
by combining the labels of the underlying states.
we sh...
Axel Belinfante
20:46 Revision c985583d: in Grahml LTS construction: recognize single invisible start node as src of in...
and we then that the dst of the initial transition as start state.
also: disabled debugging
TODO: add a way to prese...
Axel Belinfante
20:36 Bug #77 (Closed): the state labels in the dot animation do not make sense -- omit or create more ...
currently, the node labels that we show are state numbers in the order in which they are created - these probably can... Axel Belinfante
20:17 Bug #76 (Closed): node labels in graphml files are not preserved in the LTS - and thus not shown ...
Axel Belinfante
15:05 Revision 9085c183: additional check in graphml reader: detect multiple start states (and complain)
Axel Belinfante
14:51 Revision 3fe0b3f3: fix in graphml parsing: throw error if init state not indicated
and re-added debug prints Axel Belinfante

15 May 2009

16:09 Feature #74 (Resolved): add adapter that communictes labels over tcp
Axel Belinfante
16:08 Feature #74: add adapter that communictes labels over tcp
done; latest commit fb7599902181906959e12e239a4246b0c6aeb820 Axel Belinfante
16:06 Bug #59 (Resolved): guided run 'Expected obs' window does not show all expected outputs, but only...
this has been taken care of in version 0.9999: there for the outputs we show with each output the associated verdict,... Axel Belinfante
10:08 Bug #75 (Closed): in msc viewer: close multicast connection when viewed msc contains syntax error
when the name of the msc contains the character ":", the msc viewer refuses it because it violates the syntax.
Howev...
Axel Belinfante

14 May 2009

00:18 Revision fb759990: indicate ! as hostname!port separator in Config pane; be far more liberal in ...
in Testgui we
s/ /!/g
s/:/!/g
s/!!*/!/
before splitting hostname!port on !
the hope is that whatever the user ...
Axel Belinfante
00:10 Revision a49c771d: give threads more informative names, to ease debugging
Axel Belinfante
00:07 Revision fa644fab: fix two issues: close filedesc in done; deal with illegal port arg exception
Axel Belinfante
23:56 Revision eb4b86a5: fix issue in TestrunToMsc: avoid msc syntax errors by s/:/_/
the msc syntax that we use does not allow : in the msc name;
if we do use it, the msc viewer will report a syntax err...
Axel Belinfante
22:17 Revision 334f98fa: suppress printing of execption stack for 'Socket closed' in Multicast and AniS...
Axel Belinfante
22:05 Revision 9e3ab5c8: fixes in TcpLabels adapter
- in the StreamReader
when splitting the unput that we read in lines,
not only look at \n (as we did so far),
...
Axel Belinfante
21:17 Revision 5b19e0b1: Merge branch 'master' into tcp-label-adapter
Axel Belinfante
21:15 Revision e46b9886: completed(?) code and added configuration for tcplabels adapter
Axel Belinfante
21:09 Revision d9e13a13: fix buglet in recent LabelPlusVerdict introduction in Testgui
Axel Belinfante
17:40 Revision 0ba5fca3: freeze
TODO: reorganize stdinout-adapter and tcplabel adapter: they
have lots in common -- only the underlying communication...
Axel Belinfante
16:08 Revision 2bff303f: freeze
Axel Belinfante
13:27 Revision bdce26ef: minor cleanup of previous commit
and removed debugging code again -- was longer than code doing real work Axel Belinfante
13:18 Revision efee9589: fixed bug in sax parser for graphml
could not deal with string data splitted in multiple chunks, each
with a separate invocation of method characters
al...
Axel Belinfante

13 May 2009

17:46 Feature #74 (Closed): add adapter that communictes labels over tcp
in the config pane this then needs parameters hostname+port number
of course, the same can be achieved with a sepa...
Axel Belinfante

12 May 2009

17:13 JTorX-09999.dmg
Axel Belinfante
17:13 jtorx-09999-linux.tgz
Axel Belinfante
17:13 jtorx-09999-win.zip
Axel Belinfante
11:17 Feature #73 (Closed): show iocoChecker out(spec/impl after trace) set difference in results table?
We already compute the set: out(impl after trace) - out(spec after trace) when we generate a guidance ``automaton'... Axel Belinfante
11:16 Feature #72 (Closed): add a way to View (visualize) the difference reported by iocoChecker
for example by displaying the automaton of both spec and impl, and (using a Primer (determinized LTS)) stepping throu... Axel Belinfante
09:29 Feature #71 (Closed): add posibility to save test run log file
for example, using the log format of TorX, or a format that can be translated to/from the TorX log format.
Axel Belinfante
09:28 Feature #70 (New): allow custom viewers/animators (or general log-monitors?)
it would be nice to be able to easily configure the use of additional viewers/animators/visualizers (e.g. an applicat... Axel Belinfante
09:21 Feature #69 (Closed): add Simulation tab(s)
allow user to simulate, give choice:
* kind
> * plain LTS
> * determinized LTS
> * suspension automaton (=determi...
Axel Belinfante

07 May 2009

22:20 Revision 7ac6b58d: increased version to 0.9999
Axel Belinfante
22:17 Revision 0219e0ab: Merge branch 'guide-bugfix'
Axel Belinfante
22:13 Revision 923f098d: removed now superflous code from MenuPane
Axel Belinfante
21:24 Revision afadd5be: improved showing of failure result
in MenuPane
- added method prepareToShowFailure() that changes
the menu group text (previously directly done ...
Axel Belinfante
20:54 Revision f0147d45: now we always (try to) show verdicts with the expected observations
in Testgui
- myModel is now a private class variable, so we can use it to
obtain positive/negavtive default verdi...
Axel Belinfante
17:28 Revision de1ff4e8: added support files (icons) to repository
Axel Belinfante
17:04 Revision 42054f7f: finished initial 'fix' to show observations+verdicts in case of guidance
in MenuPane
- use Table instead of List to display outputs
- added method addOutput(String,String) to add Label+Ver...
Axel Belinfante
14:17 Revision d5d5b106: now, when use guidance and show observations, also show those that lead to miss
Axel Belinfante
13:42 iocoCheckerExamples.tgz
Examples from the iocoChecker distribution Axel Belinfante
12:23 Revision f2efae7e: freeze work on attempt to fix guidance bug
Axel Belinfante
10:02 jtorx-ex.tgz
TorX coffee examples Axel Belinfante
 

Also available in: Atom