Search Results for "tcl"

Autotestnet is a network test frame, it provides GUI to setup/run test, internally it's based on CLI to communicate with devices. It is a kind of a script-free test platform, could be used without any script knowledge. It can help you to arrange test cases, setup commands to devices ,run commands to check results and record test results. It provides linux version(32bit and 64bit ) only right now, you can get appropriate file in v2.0 directory . Windows version is still on the way.

Expect-lite is an quick and easy command line automation tool. Basic expect-lite scripts can be created by simply cutting and pasting text from a terminal window into a script, and adding '>' '<' characters. No knowledge of expect is required!

PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)