Spinroot 在 16.04 上的安装

Question

我正在尝试安装 spin，spin 是一款流行的开源软件验证工具，全球有成千上万的人在使用。该工具可用于多线程软件应用程序的形式验证。

旋转网站

问题是我按照指南中的每个步骤进行操作，当我尝试运行 spin 程序时，ubuntu 弹出一条消息，说我必须安装“staden”才能运行 pml 文件，但 staden 是另一种与我尝试安装的程序无关的程序，如果有帮助，我已附上终端的屏幕截图。 安装过程截图

我尝试联系他们的论坛但论坛已关闭并仍在等待邀请。

先感谢您

Answer 1

我不知道你的说明是从哪里来的，但我相信你误解了这个过程，除非我也是。从那个网站，我下载了文件.gz并解压缩了它，说明如下：

1. 使用以下方法解压gunzip -d spin649_linux64.gz
2. 将文件重命名为spin mv spin649_linux64 spin并使其可执行sudo chmod +x spin

3. 将该文件放置在以下任意位置：

   /usr/local/bin, /usr/bin, /bin, 
   

   或搜索路径内的任何其他目录。

4. spin关闭并重新打开终端后，只需使用命令即可运行该文件

更新：现在环顾四周，我明白了你从哪里得到了这些说明，但是你错过了应该将构建的二进制文件放在系统路径中的部分。

使用以下步骤：

1. gunzip *.tar.gz
2. tar -xf *.tar
3. cd Src*
4. make

如果步骤 4 出现错误make: yacc: Command not found，则使用 安装bison并再次sudo apt install bison运行make命令。现在您将看到spin该文件夹​​中有一个文件，将其移动到以下任意路径：/usr/local/bin, /usr/bin, /bin。关闭并打开您的终端，现在您应该能够运行该spin命令。

更新2：

如果你像这样运行该命令

 ../Src6.4.9/spin hello.pml

由于spin二进制文件位于另一个文件夹中，因此您不会收到该错误。但请将spinSrc* 文件夹中的二进制文件移动到您的文件路径中，以便从任何地方启动 spin。