Zenn
📝

SPINインストール手順

2016/06/05に公開
形式手法
spin
promela
tech

概要

形式手法のツールの1つ CUIツールの SPIN 及びGUIツールの iSpin のインストール手順をまとめる。

前提条件

  1. 環境
    2. Mint Linuxとする。（おそらくUbuntuでも同様の手順で可）
  2. 必要なパッケージ
    以下のパッケージが事前にインストールされていること。（Mint Linuxではデフォルトで入ってました。）
    3. Tcl/Tk
    4. gcc
  3. SPINのバージョン
    6. Version 6.4とする。

手順

1. ダウンロード

公式サイトからFull distribution, with sourcesのspin***.tar.gzファイルをダウンロードし、適当なワーキングディレクトリ（以降では、/home/workとする）に保存する。

2. SPINインストール

  • インストール
    以下のシェルコマンドを実行する。
spin_install.sh
# ワーキングディレクトリに移動
cd /home/work

# 解凍
sudo gunzip *.tar.gz
sudo tar -xf *.tar

# ソースコードファイルに移動
sudo cd Spin/Src*

# ビルド
sudo make

# ビルドで生成した実行ファイルを配置
sudo cp spin /usr/local/bin
  • 動作確認
    以下のコマンドを実行し、バージョン情報が表示されることを確認する。
spin_check.sh
spin -V

3. iSpinインストール

  • インストール
    以下のコマンドを実行し、iSpinをインストールする。
ispin_install.sh
# iSpinのディレクトリに移動する
cd /home/work/Spin/iSpin

# インストールシェルに実行権限付与
chmod 777 install.sh

# インストールシェルを実行
sudo ./install.sh
  • 動作確認
    以下のコマンドを実行し、iSpinのGUI画面が表示されることを確認する。
ispin

以上

Discussion