[ 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
  Next

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!
Distribution
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
Service
Protocol data units
The underlaying service
Protocol behaviour
11 Conference Protocol Formal Specifications
LOTOS
Promela
SDL
FSM/EFSM
12 Conference Protocol Implementations
Platform
Structure
Configuration
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
Bmsc(1)
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
anifsmsrv(1)
aniwait(1) - animate progressbar
aniwaitsrv(1)
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
mctrlsrv(1)
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!