Showing page 1 of 1.
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.17 weekly downloads
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)2 weekly downloads
FMG / FGT Test Script , running on linux(FC4, RH9), Windows NT2K0 weekly downloads