相关课程：协议分析与设计
一、前期准备
系统采用了Ubuntu 18.04.3 LTS
1、安装依赖
安装C语言编译器：
sudo apt install build-essential
2、安装tcl和tk：（可以在http://www.tcl-lang.org/ 查询最新版本安装）
sudo apt install tcl8.6 tk8.6
二、安装spin
1、下载spin（https://github.com/nimble-code/Spin）
2019年12月9日，最新版本为spin 6.5.2
2、解压zip文件，得到Spin-master文件夹
3、在文件夹内打开shell，确认当前目录为Spin-master文件夹
4、编译spin：
cd Src make
5、测试是否编译成功：
./Src/spin -V
如果输出spin版本信息，则安装成功
6、将spin放入usr/bin
sudo cp Src/spin /usr/bin/spin
7、在任意位置打开shell，测试spin能否使用：
spin -V
如果输出spin版本信息，则配置成功
三、使用ispin
ispin是spin的一个图形程序
1、在Spin-master文件夹内，打开optional_GUI文件夹
2、在option_GUI文件夹内打开shell
3、运行：
wish ispin.tcl
4、如果出现ispin界面，则操作成功