torx-intro(1) - introduction to the Cote de Resyste testing tool torx
Table of Contents
torx-intro - introduction to the Cote de Resyste testing tool torx
This
page briefly discusses TorX terminology that might confuse readers coming
from a different background. In addition, it gives an overview of the commands
offered by torx, together with its utilities, interfaces, etc.
Here
we discuss a concept that might cause confusion.
The concept channel is
used in TorX in two places: in the promela specification language that
is used as input for the promela primer, and elswhere in TorX, e.g. in interfaces
and configuration files of TorX tool components. It is important to understand
that the only place in TorX where channel is used with the meaning that
it has in promela, is in the promela specifications. Everywhere else in
TorX the concept channel is interpreted as in the MIOCO extension of the
IOCO testing theory, where a channel is a (group of) point(s) to interact
(interface) with the implementation. A channel is unidirectional. This means
in particular that multiple promela channels can belong to a single TorX
(MIOCO) channel. Currently, when we use the IOCO testing theory, in all
cases we use exactely two (MIOCO) channels, one for input (in) and one
for output (out). A theoretical definition can be found on page 34 of Lex
Heerink's PhD thesis "Ins and Outs in Refusal Testing".
The Explorer component
in TorX gives access to a Labelled Transition System (LTS) representation
of the specification (model) fed into it. In the specification, the LTS
may be present explicitly (as is the case for the Aldebaran (.aut) files)
in which case it will be finite, or implicitly (as is the case for, for
example, LOTOS), in which case it (the number of states and/or transitions)
may be infinite.
The Primer uses the LTS offered by an Explorer and partitions
the transitions into inputs and outputs (stimuli and observations), adds
quiescent transitions, and (lazily) determinizes it. The result of this
can be seen again as a LTS, which can be explored using primexp(1).
There is a ``bi-directional'' connection with the CADP
toolkit via the open/caesar interface. Via mkprimer(1) TorX can be a user
of the open/caesar interface to be able to use CADP ``explorers'', and it can
also via torx_open(1) be a provider of the open/caesar interface to allow
CADP tools (simulators, state space generators, etc.) to use the TorX ``explorers'',
or even to explore the LTS offered by TorX ``primers'' (by using primexp(1)
in combination with torx_open(1)).
TorX can explore mucrl specifications
using the program mucrl from the mucrl toolkit and the programs tbf2lpe
and lpe2torx from the mcrl2 toolkit.
TorX can explore mcrl2 specifications
using the programs mcrl2 and lpe2torx from the mcrl2 toolkit.
TorX can
explore fsp specifications using the ltsaexp(1) explorer that builds on
the fsp ``explorer'' that is present in the LTSA tool.
The graphviz
toolkit is used for visualization (using graphviz program dot) and animation
(using graphiz tcl extension tcldot) of graphs, automata etc.
The
commands are grouped below as follows: for each of the components (modules)
in the TorX architecture (driver, primer, explorer, adapter) there is a
corresponding command group. The other commands consist of utilities of
various kinds, most notably visualization and file format conversion.
- Name
- Description
- pui(1)
- simple primer user interface
- xtorx(1)
- graphical user interface for torx(1)
- Name
- Description
- torx-logclient(1)
- connect torx log monitor command to torx
- torx-querypr(1)
- query torx problem report database
- torx-sendpr(1)
- submit torx problem report
- xtorx-showmsc(1)
- show a TorX run log as Message Sequence Chart
- xtorx-showspec(1)
- show the specification (source) of a primer or mutant
- Name
- Description
- torx_open(1)
- offer open/caesar API access
to (LTS of) TorX explorer program and via primexp(1) to (LTS of) TorX primer
program
- Name
- Description
- torx(1)
- execute test on the fly
- Name
- Description
- autexp(1)
- explore Aldebaran (.aut) automaton files
- jararaca(1)
- explore traces generated from regular expressions
- ltsaexp(1)
- use ltsa as
torx-explorer(5) for the language fsp
- smileexp(1)
- use smile as symbolic
torx-explorer(5) for LOTOS
- primexp(1)
- provide torx-explorer interface to
torx primer
- Name
- Description
- primer(1)
- compute test primitives using
explorer
- intersector(1)
- combine multiple torx primers
- Name
- Description
- mkprimer(1)
- generate a primer
- mkprimer-aut(1)
- generate a AUT
primer that uses autexp(1)
- mkprimer-cadp(1)
- generate a LOTOS, BCG, FC2 or
AUT primer using CADP
- mkprimer-jararaca(1)
- generate a TP or JARARACA primer
that uses jararaca(1)
- mkprimer-ltsa(1)
- generate an FSP primer that uses
ltsaexp(1)
- mkprimer-mcrl(1)
- generate a mCRL primer
- mkprimer-mcrl2(1)
- generate
a mCRL2 primer
- mkprimer-trojka(1)
- generate a promela primer using trojka
- preprocmkprimer(1)
- preprocess input before invoking mkprimer(1)
- cppmkprimer(1)
- preprocess input with cpp(1) before invoking mkprimer(1)
- m4mkprimer(1)
- preprocess input with m4(1) before invoking mkprimer(1)
- Name
- Description
- adaptor(1)
- default TorX program to interface to the SUT
- adaptlog(1)
- TorX
program to interface to a torx-log(4) log file used as SUT
- adaptsim(1)
- TorX
program to interface to a torx-primer(5) used as SUT
- Name
- Description
- tcp(1)
- connection program for tcp
- udp(1)
- connection program
for udp
- hexcontext(1)
- hex encode/decode stdio of (IUT) program
- unhexify(1)
- translate from hexadecimal to ascii
- Name
- Description
- instantiator(1)
- instantiate free variables for torx
- iochooser(1)
- suggest
by probabilities to stimulate or observe
- partitioner(1)
- weight-based test
primitive selection for primer
- Name
- Description
- anifsm(1)
- animate and edit graph in dot format and write Aldebaran (.aut) automaton
- aniwait(1)
- animate progressbar
- jararacy(1)
- animate jararaca(1) trace using
lefty(1)
- mctrl(1)
- animation progress scrollbar
- mscviewer(1)
- view Message
Sequence Chart in window
- Bmsc(1)
- shell command to load Message Sequence
Chart file(s) into running mscviewer(1)
- Name
- Description
- tmcs(1)
- tcp multicast service program
- Name
- Description
- aut2fsmview(1)
- translate Aldebaran (.aut) to FSMView input
- jararacy2anifsm(1)
- translate from jararacy(1) to anifsm(1) input format
- log2anifsm(1)
- extract
info from torx-log(4) file for animation with anifsm(1)
- log2aniwait(1)
- extract
information for aniwait(1) from torx-log(4) file
- log2aut(1)
- extract states
and transitions from torx-log(4) file for autexp(1) and anifsm(1)
- log2jararacy(1)
- extract states and transitions from torx-log(4) file for jararacy(1) and
anifsm(1)
- log2mctrl(1)
- extract step numbers from torx-log(4) file for animation
with mctrl(1)
- log2msc(1)
- extract Message Sequence Chart from torx-log(4)
file
- log2primer(1)
- generate torx-primer(5) commands from torx-log(4) file
- Name
- Description
- autsimplify(1)
- simplify automaton Aldebaran (.aut)
file
- campaign(1)
- a very experimental tool (and language) to describe a
test campaign and populate a directory structure with Makefiles and configuration
files
- torx-mans(1)
- list TorX manual page file names
- torx-root(1)
- report torx
installation directory
- torx-hostname(1)
- print hostname taken from network
database
- Name
- Description
- mkprimer(5)
- (perl) API to
add support for a specification language or toolkit to mkprimer(1)
- torx-adaptor(5)
- (interface to) en/decoder and connector to system-under-test for torx(1)
- torx-explorer(5)
- (interface to) explore a labelled transition system for
torx(1)
- torx-instantiator(5)
- (interface to) instantiator program for torx(1)
- torx-primer(5)
- (interface to) primer (specification) program for torx(1)
- xtorx-extension(n)
- (tcl) API to specify Primers and/or Mutants menu for
xtorx(1)
- Name
- Description
- torx-config(4)
- configuration
file for torx(1)
- torx-log(4)
- test run log file generated by torx(1)
Lex Heerink, Ins and Outs in Refusal Testing, PhD thesis, University
of Twente, The Netherlands, 1998. ISBN 90-365-1128-3
By Email: <torx_support@cs.utwente.nl>
On the Web: <URL:http://www.purl.org/net/torx/>
This manual page documents
version 3.9.0 of torx.
Table of Contents