|[ 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|
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.
FSMView home page: http://www.win.tue.nl/~fvham/fsm/ (papers, FSMView download for windows and linux)
Table of Contents
|Prev||Table of Contents||Next|
|Appendix D: TorX Manual Pages: aniwaitsrv(1)||Appendix D: TorX Manual Pages: autexp(1) - explore Aldebaran (.aut) automaton files|