windows下协议验证工具spin6.4.9安装(Cygwin安装)

1、下载安装activetcl 

https://www.activestate.com/products/activetcl/downloads/

2、安装Cygwin

Cygwin官网地址:https://www.cygwin.com/

Cygwin包括了一套库,该库在Win32系统下实现了POSIX系统调用的API;还有一套GNU开发工具集(比如GCC、GDB)还有一些UNIX系统下的常见程序。另外还有一个名为MinGW的库,可以跟Windows本地的MSVCRT库(Windows API)一起工作。Cygwin库遵守GNU通用公共许可证,但也可以跟匹配开源定义的自由软件链接。

简单的讲,Cygwin就是在windows下能够运行Linux命令

安装时长大概一到几个小时不等,不如直接在Linux虚拟机下直接下载spin和ispin.tcl运行

打开安装程序选择从互联网安装

windows下协议验证工具spin6.4.9安装(Cygwin安装)_第1张图片

考虑到网络的一些问题,选用系统代理,用163的镜像源

windows下协议验证工具spin6.4.9安装(Cygwin安装)_第2张图片

163源为:http://mirrors.163.com/cygwin

组件的安装参考https://wenku.baidu.com/view/64030f461711cc7931b71651?pcf=2文档中的组件

安装完成之后在Cygwin/bin中有Cygwin1.dll,组件中有gcc,将其添加到系统环境变量

3、安装spin

下载http://spinroot.com/spin/Bin/中的windows系列exe安装包

将spinXXX.exe解压到某目录,并重命名为spin.exe

将gcc和spin所在目录添加到Path环境变量中(确保Activetcl和Cygwin的bin目录都在环境变量中)

使用cmd下gcc和spin命令测试

windows下协议验证工具spin6.4.9安装(Cygwin安装)_第3张图片

ipsin官网下载地址:http://spinroot.com/spin/Src/ispin.tcl

打开运行出现蓝色IDE界面

windows下协议验证工具spin6.4.9安装(Cygwin安装)_第4张图片

 图中的Automata View功能需要安装dot.exe

http://www.graphviz.org/

对于spin的联系参考下面网页

http://spinroot.com/spin/Man/Exercises.html

你可能感兴趣的:(spin)