模型检测工具配置文档

下载和配置spin

下载网址http://spinroot.com/spin/Bin/index.html，将spin安装在没有空格的路径下。安装后将其加入环境变量PATH中。

下载和配置gcc

下载网址http://sourceforge.net/projects/mingw/，将MinGW安装在没有空格的路径下。安装后将目录下的bin加入环境变量PATH中。

Jspin的配置

下载和配置JDK

下载网址http://java.com/en/download/index.jsp，安装后将目录下的jdk1.7.0_x/bin路径加入环境变量PATH中。

下载jspin-5.0

下载网址http://code.google.com/p/jspin/downloads/detail?name=jspin-5-0.exe&can=2&q

修改配置文件

修改目录下的config.cfg文件，将其中SPIN和C_COMPILER分别指向spin和gcc所在的路径，文件路径里的“\”全部改写成“\\”

运行

双击路径下的run.bat文件

Ispin的配置

下载ActiveTcl

下载网址http://www.activestate.com/activetcl/downloads。

配置ispin

用文本编辑器打开spin目录下的ispin文件，找到注释行“### Tools”，将spin和gcc的路径赋值给后面的SPIN和CC变量，路径中的“\”都改成“/”，如下

set SPIN    "D:/pc_spin623/spin.exe";

set CC      "D:/MinGW/bin/gcc.exe";

下载Graphviz（可选）

下载网址http://www.graphviz.org/Download..php。Graphviz用于画图，用文本编辑器打开spin目录下的ispin文件，将Graphviz的路径赋值给DOT变量路径中的“\”都改成“/”，如下

set DOT     "D:/Program Files/Graphviz 2.28/bin/dot.exe";

运行

双击spin目录下的ispin.tcl文件