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

mkprimer-jararaca(1) - generate a torx primer using jararaca

Table of Contents

Name

mkprimer-jararaca - generate a torx primer using jararaca

Synopsis

mkprimer [ options ... ] specification.tp mkprimer [ options ... ] specification.jrrc

Description

From the specification file mkprimer(1) generates a torx-primer(5) program. In this manual page we describe specific features of primers generated using jararaca(1).

When mkprimer(1) is invoked on a specification file with a .tp suffix, or when the command line option --language TP is given, the specification file is interpreted as a jararaca test purpose specification file, to be used in the role of 'guide' with an intersector(1). In particular, an epsilon selfloop is added to the accept state, to help the intersector(1) to detect when the test purpose (guide) has arrived in its accept state.

When mkprimer(1) is invoked on a specification file with a .jrrc suffix, or when the command line option --language JARARACA is given, the specification file is interpreted as a jararaca specification file, to be used as specification. In particular, no epsilon selfloop is added to the accept state.

In both cases, from the specification file mkprimer(1) generates a torx-primer(5) program: a shell-script that invokes the primer(1) and via it the explorer jararaca(1).

Logfile

A jararaca(1) Primer generates a STATEID torx-log(4) line containing the following whitespace-separated name value pairs:
super nr
where nr is just an integer number representing a superstate state set
init state-list
where state-list is a list of comma-separated state identifiers, of the states that are present in the superstate state set, by the last transition done.
trans state-list
is a list of comma-separated state identifiers, of the states that are present in the superstate state set, by expansion of the state-list given in the init field.

The state identifiers in the init and trans fields have the following form: nodeid_edgeid.number where the nodeid and edgeid correspond to node names and edge names in the .dot file that can be generated by jararaca(1), and number represent a state.

See Also

torx-intro(1), mkprimer(1), intersector(1), torx-primer(5), torx-adaptor(5), torx-log(4)

Contact

By Email: <torx_support@cs.utwente.nl>

Version

This manual page documents version 3.9.0 of torx.


Table of Contents


Prev Table of Contents Next
Appendix D: TorX Manual Pages: mkprimer-cadp(1) - generate a torx primer for lotos, bcg, fc2 or aut using Valid HTML 4.01! Appendix D: TorX Manual Pages: mkprimer-ltsa(1) - generate an fsp primer for torx using ltsa