Synapse

Introduction

Synapse provides an interface to Finite State Machine (FSM) and Extended Finite State Machine (EFSM) learning tools. Currently, the only supported learning backend is StateChum, but Synapse provides a simple Erlang interface that allows:

• A set of traces to be learnt, producing an Erlang record representing the inferred state machine.
• Two state machine representations to be compared, producing an Erlang record representing the diff - i.e. the changes necessary to convert the first into the second.
• A state machine representation to be visualised, which opens a GUI window showing the state machine.
• A state machine and diff representation to be visualised, which opens a GUI window showing the first state machine and overlaying the changes in the diff.

Installation

Documentation