Screenshots

The screen shots below have been made with version v0.9999.

The visualizations (automata and msc) are animated during a test run.

Panes

Config Pane
Test Pane
Check Pane

Configuration

Configure test of Real Implementation
Configure test of Model

Visualization using View button

Actually, the visualizations shown here have been animated during a test run, as can be seen from fact that states and transitions are highlighted.

Visualize Specification Model Visualize Implementation Model

Start a test run

After start of test run...
... we see the following Suspension Automaton (unexpected observations are not explicitly represented), and...
...we can immediately end test run with PASS
After restart, we first observe...
... then we apply a stimulus...
... then we observe once more...
... and once more, and obtain a FAIL verdict

Visualization of Message Sequence Chart

message sequence chart

Use of iocoChecker

After checking for ioco conformance between given specification and implementation...
...we configure to use the selected failure as guidance information...
...and can visualize the guidance information constructed from the selected failure using the View button in the Config pane.
The guided test run can diverge from the guidance information, as indicated by the MISS verdict...
... and it can reach the end of the guidance information, resulting in HIT
Also in this case we can visualize the Suspension Automaton
(PASS,HIT, PASS,MISS and FAIL,HIT verdicts are shown; FAIL,MISS verdicts are implicit)

empty-config.png (47.1 KB) Axel Belinfante, 12 May 2009 15:51

empty-test.png (56.8 KB) Axel Belinfante, 12 May 2009 15:51

empty-check.png (29.3 KB) Axel Belinfante, 12 May 2009 15:51

config-real-impl.png (76 KB) Axel Belinfante, 12 May 2009 15:54

config-model.png (61.5 KB) Axel Belinfante, 12 May 2009 15:54

spec.png (36.3 KB) Axel Belinfante, 12 May 2009 15:54

impl-err.png (43.3 KB) Axel Belinfante, 12 May 2009 15:54

plain-end-with-pass.png (64.7 KB) Axel Belinfante, 12 May 2009 16:01

susp-aut.png (35.2 KB) Axel Belinfante, 12 May 2009 16:01

plain-started.png (64.2 KB) Axel Belinfante, 12 May 2009 16:01

plain-after-first-observe.png (67.7 KB) Axel Belinfante, 12 May 2009 16:01

plain-after-obs-and-stim.png (69.1 KB) Axel Belinfante, 12 May 2009 16:01

plain-after-obs-stim-obs.png (72.7 KB) Axel Belinfante, 12 May 2009 16:01

plain-final-fail-2.png (77.6 KB) Axel Belinfante, 12 May 2009 16:01

plain-susp-aut.png (32.4 KB) Axel Belinfante, 12 May 2009 16:06

ioco-checker-results.png (50.2 KB) Axel Belinfante, 12 May 2009 16:11

config-guided-checker-trace.png (69.4 KB) Axel Belinfante, 12 May 2009 16:11

guide.png (32.1 KB) Axel Belinfante, 12 May 2009 16:11

guided-end-with-pass-miss.png (70.8 KB) Axel Belinfante, 12 May 2009 16:11

guided-end-with-fail-hit.png (73.3 KB) Axel Belinfante, 12 May 2009 16:11

msc-final.png (30.7 KB) Axel Belinfante, 19 May 2009 15:59