[ 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

torx_open(1) - run open/caesar tool on torx explorer program

Table of Contents

Name

torx_open - run open/caesar tool on torx explorer program

Synopsis

torx_open explorerprog-with-arguments [ c-options ] tool [.a|.o|.c] [ tool-options ]

torx_open applies Open/Caesar tool tool to the (state space made accessable by) TorX explorer (with optional arguments) explorerprog-with-arguments. The explorerprog is accessed via its standard input and output using the torx-explorer(5) interface. If explorerprog needs to be invoked with arguments then the whole string explorerprog-with-arguments must be put between quotes in the invocation of torx_open such that to torx_open it appears as a single command line argument, as shown below.

This allows the use of CADP tools with TorX explorers. For example, the CADP ocis(1) simulator can be run on program jararaca(1) with specification spec.jrrc as follows:

torx_open 'jararaca -s -e spec.jrrc' ocis

This allows the use of CADP tools with TorX primers using primexp(1). For example, the CADP ocis(1) simulator can be run on primer program primerprog (with arguments args ...) as follows:

torx_open 'primexp primerprog args ...' ocis

The automaton of the tester of primerprog (with arguments args ...) can be generated in bcg format as file tester.bcg as follows:

torx_open 'primexp primerprog args ...' generator tester.bcg

Name
Synopsis
Description
Bugs
Note
See Also
Contact
Version

Prev	Table of Contents	Next
Appendix D: TorX Manual Pages: torx(1) - execute test on-the-fly		Appendix D: TorX Manual Pages: udp(1) - udp connection program