TorXakis

version: v0.9.0
stable docs: v0.1.3
pdf

Contents

Introduction
- Why TorXakis
- Benefits
Getting started
Model-Based Testing
- Introduction to Model-Based Testing
- Model-Based Testing with Labelled Transition Systems
TorXakis: A Model-Based Testing Tool
- Basics
- Usage overview
Usage
- Trace and replay functionality
Examples
- Starter examples
- Advanced examples

Appendices

Installation
- Binary Install
- Source build
Grammar
Command Line Interface
Torxakis help
Grammar
Grammarv3

Backmatter

Glossary
Bibliography
Index

TorXakis

»
Usage

Previous Next

Usage¶

In this chapter we going to explain the usage of TorXakis in more detail.

Trace and replay functionality

Previous Next

© Copyright 2020, TorXakis.

Built with Sphinx using a theme provided by Read the Docs.