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

»
Examples »
TorXakis Queue Example

Previous Next

TorXakis Queue Example¶

The Queue example is discussed in the Testing a Queue section of the Getting started chapter.

Previous Next

© Copyright 2020, TorXakis.

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