[ 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-01-19
TorX Test Tool Information
Prev   Next

aut2fsmview(1) - translate Aldebaran (.aut) to FSMView input

Table of Contents

Name

aut2fsmview - translate Aldebaran (.aut) to FSMView input

Synopsis

aut2fsmview

Description

aut2fsmview reads an Aldebaran (.aut) file from standard input and writes corresponding input for FSMView on standard output. FSMView is a tool for interactive visualization of state transition systems.

The state information in the generated FSMView input only contains fan-in and fan-out.

If we use this to visualize a test run (so the Aldebaran (.aut) file is generated from a torx-log(4) file using log2aut(1)) then it could be interesting to generate the FSMView input directly from the torx-log(4) file and include more information from it like statistics about the state space exploration.

See Also

torx-intro(1), autexp(1), log2aut(1), torx-log(4)

FSMView home page: http://www.win.tue.nl/~fvham/fsm/ (papers, FSMView download for windows and linux)

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: aniwaitsrv(1) Valid HTML 4.01! Appendix D: TorX Manual Pages: autexp(1) - explore Aldebaran (.aut) automaton files