TorXakis - TorXakis/TorXakis GitHub Wiki

TorXakis¶

TorXakis uses a specification to test a System-Under-Test (SUT) or simulate a System.

A TorXakis specification contains three parts:

Model - Composition of processes instances that models the behavior of the SUT
Adapter - Map abstract specification on actual SUT interfaces.
Connection - Describe external interfaces to SUT or of simulated system.

TorXakis uses the Input-Output Conformance (IOCO) theory to
check the actual against the specified externally observable behaviour.

TorXakis is a command line tool that takes zero or more specification files as input.

TorXakis has many commands: the command 'help' provides a short summary of all commands.

A TorXakis Editor for the Eclipse IDE is provided as a plug-in. See Eclipse.