[ Home | What's New | Contents | Overview | Contributors | Distribution | Examples | Documentation | Manual | Publications | Mailing List Archive | Problems ] This page was last updated by Axel Belinfante on 2006-06-30
TorX Test Tool Information

Colofon -- Table of Contents

Axel Belinfante, October 2002, Enschede

Started by: Jan Feenstra, August 2002, Enschede

Copyright (C) 2002, University of Twente.

Table of Contents

0 Colofon -- Table of Contents
1 Welcome to the TorX Test Tool website!
Mailing List
Web Pages
2 Overview
3 Contributors to TorX
4 Downloading TorX
5 Installing TorX
Hardware and Operating System Requirements
Installing on Windows
Software Requirements
Installation Procedure
6 Using TorX
7 TorX examples
Coffee machines
Chat-Box protocol
Up or Down?
Coffee, or Refund?
8 TorX Tutorial
Coffee machines
Chat boxes (conference protocol)
Short 'live' chat demo...
9 Conference Protocol Case Study
10 Conference Protocol Description
Protocol data units
The underlaying service
Protocol behaviour
11 Conference Protocol Formal Specifications
12 Conference Protocol Implementations
Concrete interfaces
Different implementations
Alternative implementations
How to use coverage
tcl/tk based GUI
A TCP version of the conference protocol
A Conference Protocol References
B Conference Protocol Website News
C The XTorX Grafical User Interface
D TorX Manual Pages
torx-intro(1) - introduction to the Cote de Resyste testing tool torx
adaptlog(1) - torx program to use a torx logfile as implementation
adaptor(1) - default torx program to interface to the SUT
adaptsim(1) - torx program to interface to a TorX primer used as SUT
anifsm(1) - animate, construct or edit graphs in dot format
aniwait(1) - animate progressbar
aut2fsmview(1) - translate Aldebaran (.aut) to FSMView input
autexp(1) - explore Aldebaran (.aut) automaton files
autsimplify(1) - simplify automaton Aldebaran (.aut) file
campaign(1) - generate and populate TorX test campaign directory structure
cppmkprimer(1) - preprocess input with cpp before invoking mkprimer
hexcontext(1) - run program in hexadecimal context
instantiator(1) - instantiate free variables for torx
intersector(1) - combine multiple torx primers
iochooser(1) - suggest by probabilities to stimulate or observe
pui(1) - simple primer user interface
jararaca(1) - explore traces generated from regular expressions
jararacy(1) - animate jararaca trace using lefty
jararacy2anifsm(1) - translate from jararacy to anifsm input format
log2anifsm(1) - translate TorX log to anifsm input
log2aniwait(1) - extract aniwait animation commands from torx log
log2aut(1) - translate TorX log to Aldebaran (.aut)
log2jararacy(1) - extract states from torx log file for jararacy
log2mctrl(1) - translate TorX log to mctrl input
log2msc(1) - extract Message Sequence Chart from TorX log file
log2primer(1) - generate torx-primer commands from TorX log file
ltsaexp(1) - explore fsp specification using ltsa
m4mkprimer(1) - preprocess input with m4 before invoking mkprimer
mctrl(1) - animation progress scrollbar
mkprimer-aut(1) - generate a torx primer for aut using autexp
mkprimer-cadp(1) - generate a torx primer for lotos, bcg, fc2 or aut using
mkprimer-jararaca(1) - generate a torx primer using jararaca
mkprimer-ltsa(1) - generate an fsp primer for torx using ltsa
mkprimer-mcrl(1) - generate a torx primer for mcrl using mcrl2 and mcrl
mkprimer-mcrl2(1) - generate a torx primer for mcrl2 using mcrl2
mkprimer-trojka(1) - generate a promela primer for torx using trojka
mkprimer(1) - generate a primer for torx
mscviewer(1) - view a Message Sequence Chart
partitioner(1) - weight-based test primitive selection for primer
preprocmkprimer(1) - preprocess input before invoking mkprimer
primer(1) - compute test primitives using explorer
primexp(1) - provide torx-explorer interface to torx primer
smileexp(1) - use smile as symbolic explorer for LOTOS
tcp(1) - tcp connection program
tmcs(1) - tcp multicast service
torx-hostname(1) - print hostname taken from network database
torx-logclient(1) - connect torx log monitor command to torx
torx-mans(1) - list TorX manual page file names
torx-querypr(1) - query the TkGnats database
torx-root(1) - report TorX installation directory
torx-sendpr(1) - problem report utility
torx(1) - execute test on-the-fly
torx_open(1) - run open/caesar tool on torx explorer program
udp(1) - udp connection program
unhexify(1) - translate from hexadecimal to ascii
xtorx-showmsc(1) - show a TorX run log as Message Sequence Chart
xtorx-showspec(1) - show a specification file
xtorx(1) - gui for the torx on-the-fly tester
torx-config(4) - configuration file for torx tester
torx-log(4) - log file generated by torx tester
mkprimer(5) - support specification language or toolkit
torx-adaptor(5) - a program that implements an interface to the SUT
torx-explorer(5) - interface to program to explore a labelled transition
torx-instantiator(5) - a program that implements an instantiator
torx-primer(5) - interface to program that derives test primitives from
xtorx-extension(n) - api to specify the Mutants, Primers and Guides menus
E TorX Website Updates

Table of Contents Next
Valid HTML 4.01! Chapter 1: Welcome to the TorX Test Tool website!