Home
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.
