是的,可以使用Polyspace码头工人。
本文的其余部分,我们在这里假设你已经知道如何创建一个码头工人图像文件并创建一个容器。
我们描述一个可能的场景,Polyspace结果在Windows主机上生成一个基于linux的码头工人的形象。
在这个场景中,集装箱码头工人只用于生成结果(代码验证或错误发现者)。Polyspace启动命令行,和源文件,选择文件和结果将只在主机上写的。没有什么是写在容器本身。
我们假设并发使用许可证,许可证服务器上运行外部服务器。
创建图像的
为图像操作系统层,使用一个支持的Linux版本,例如Ubun金宝apptu 17.10或Debian 9。
查看系统要求< //www.tatmou.com/support/sysreq.html >金宝app。
在一台机器上安装Polyspace这个Linux发行版安装运行和码头工人。
安装这些产品(例如,在MAT下载188bet金宝搏LAB /地方/ / R2018a): MATLAB, Polyspace错误发现者,Polyspace代码验证。
这个安装所需的空间大约是2 gb。
安装完成后,检查本地分析可以执行和许可证服务器联系。
这两条线附加到你的Dockerfile MATLAB安装你的形象将包含在文件夹/程序:
WORKDIR/应用程序
复制/地方/ MATLAB / R2018a / /应用程序
现在可以建立形象。去文件夹Dockerfile和启动构建:
sudo码头工人建造- t polyspace_docker。
你可以测试你的码头工人形象:
sudo码头工人运行——polyspace_docker
Polyspace正在和测试:
sudo码头工人运行polyspace_docker / app / polyspace / bin / polyspace - version
现在保存图片:
sudo码头工人拯救- o / tmp / polyspace_docker。焦油polyspace_docker
使用Windows下的图像
polyspace_docker复制图像。焦油的Windows主机,码头工人也安装和运行。
安装图片:
码头工人负载- polyspace_docker.container
,使一个测试
码头工人运行- polyspace_docker / app / polyspace / bin / polyspace - version
假设你源文件在一个文件夹的文件夹C: \项目和Polyspace分析选项在一个文本文件在这个文件夹中。您必须安装文件夹C: \项目的文件夹/ tmp /项目Polyspace运行时容器。Polyspace选项的文本文件也必须参考文件夹/ tmp /项目来源和结果。
这是一个示例选择文件:
来源/ tmp /项目/ / initialisations.c来源
来源/ tmp /项目/资源/ c
来源/ tmp /项目/ / example.c来源
来源/ tmp /项目/ / single_file_analysis.c来源
来源/ tmp /项目/ / tasks1.c来源
来源/ tmp /项目/ / tasks2.c来源
- 02
编译器通用
-do-not-generate-results -为所有标头
入口点proc1、proc2 server1, server2 tregulate
-results-dir / tmp /项目/ results_dir
发射Polyspace代码验证这些选项保存在文件options_list选项。txt / tmp /项目:
码头工人运行- v C: \项目:/ tmp /项目polyspace_docker / app / polyspace / bin / polyspace-code-prover-nodesktop选项文件/ tmp /项目/ options_list.txt
码头工人选项- v挂载本地文件夹C: \ / tmp /项目。当您运行这个命令的容器,Polyspace被安装的源文件文件夹/ tmp /项目选项文件中指定,将结果写在文件夹/ tmp /项目/ results_dir项目(例如C: \ \ results_dir在Windows机器上)。
特征码服务器应该可以从Windows机器上,因为它是由容器联系。
