SCXML-tutorial

Contents Overview Examples Editor Forum

List of projects

SCXML Standard Compliance Tester for external applications

TesterProcessW3C - Qt widget-based application that is a wrapper for external applications that can execute W3C SCXML tests

TesterW3C_Process

Qt SCXML Standard Compliance Tester

TesterW3C - Qt widget-based application that executes W3C SCXML tests and custom tests in sequence using Qt SCXML Framework, and is able to build a report in Markdown format

TesterChart

Preview

Rules for writing automated Qt SCXML tests

TestRule1 TestRule2

1. Test description

Test MUST have commented description as the first comment in XML document or the first comment of XML root <scxml> element

WARNING! Text in comment must be a valid Markdown text!

2. Top-level <final> state with id 'pass'

Look at the picture above

3. Top-level <final> state with id 'fail'

Look at the picture above

4. Restriction for stable configuration

We use 5 seconds timeout per stable configuration of the state machine. It means that if your state machine does nothing per 5 seconds it will be marked as failed by timeout.

5. Syntax errors and critical SCXML bugs

We validate only tests without XML syntax errors and critical SCXML bugs such as transition deadlock (when two states are connected with empty transitions) etc. You may previously use either ScxmlEditor which may detect it on the stage of test designing or uSCXML browser.
See https://stackoverflow.com/questions/31694832/how-do-i-verify-that-my-scxml-defines-a-valid-state-machine

Demo

InWork

TOP Contents Overview Examples Editor Forum