可以从IDE启动Polyspace IAR电子战以来您的项目允许自定义命令和菜单(也可以使用环境变量),因为在命令行编译器可以被称为。
下面描述这种集成将基于调用polyspace-configure创建一个选项文件从构建命令。第二个命令将用于发射使用这个选项文件错误发现者。
第一步是创建两个。bat文件,推出polyspace-configure和另一个叫Polyspace错误发现者。
这是第一个脚本的内容,我们叫它launch_configure.bat:
@echo掉
REM脚本,该脚本将启动对当前IAR polyspace-configure电子战项目。
快速眼动的第一个参数:路径项目(.ewp)
REM第二个参数:项目的配置(调试、释放…)
设置产品= E: \ \ MATLAB \ R2018a程序文件
设置BUILD_COMMAND = C: \程序文件(x86) \ IAR系统\ \常见\ bin \ IarBuild.exe 8.0嵌入式工作台
设置OPTIONS_FILE = \ options.opts
设置PROJECT_PATH = % 1
设置配置= % 2
REM构建命令是:
REM C:\Program Files (x86)\IAR系统\ \常见\ bin \ IarBuild 8.0嵌入式工作台。exe”路径\ \ the_project。恶”构建调试
回声(
回声* * * * * * * * * * * * * * * * * * * * * * * * * * *
回声*工作,请稍等…*
回声* * * * * * * * * * * * * * * * * * * * * * * * * * *
回声(
REM发射polyspace-configure在构建命令
“% % \ polyspace \ bin \ polyspace-configure产品。exe”-allow-overwrite -output-options-file“% OPTIONS_FILE % % BUILD_COMMAND %”% PROJECT_PATH %构建%配置%
回声(
* * * * * * * *
回声*了*
* * * * * * * *
退出/ B 0
这是第二个脚本的内容,我们叫它launch_bug_finder.bat:
@echo掉
设置产品= E: \ \ MATLAB \ R2018a程序文件
设置OPTIONS_FILE = \ options.opts
设置EXTRA_OPTIONS_FILE = \ extra_options.txt
设置RESULTS_DIR = E: \结果
REM发射错误发现者
“% % \ polyspace \ bin \ polyspace-bug-finder-nodesktop产品。exe”选项文件“% OPTIONS_FILE %”选项文件“% EXTRA_OPTIONS_FILE % % RESULTS_DIR %“-results-dir
快速眼动启动UI来查看结果
“% % \ polyspace \ bin \ polyspace产品。exe”-results-dir % RESULTS_DIR %
退出/ B 0
我们需要一个工作目录的脚本将位于和启动。假设是:C: \ EW_Integration。
适应环境的脚本,打开每个文件和改变这些变量的值:
- 产品:输入Polyspace安装文件夹。
- RESULTS_DIR:输入你想要的文件夹Polyspace结果得救。
下一步是创建两个项目工具菜单的IDE将调用这些脚本。
选择工具>配置工具。
创建两个新条目。每个条目。bat文件运行。
提供这个脚本路径< your_working_folder > \ launch_configure.bat。
输入以下:
菜单文字:
Polyspace配置
命令:
< your_working_folder > \ launch_configure.bat
论点:
PROJ_PATH CONFIG_NAME美元美元
初始目录:
< your_working_folder >
确保盒子重定向到输出窗口的选择。
的命令Polyspace错误发现者:
提供这个脚本路径< your_working_folder > \ launch_bug_finder.bat
输入以下:
菜单文字:
Polyspace错误发现者
命令:
< your_working_folder > \ launch_configure.bat
论点:
没有一个
初始目录:
< your_working_folder >
使用
现在添加了工具的命令,这是如何使用它们。
- 为Polyspace配置
打开你的IAR电子战项目。选择工具>Polyspace配置。该脚本使用polyspace-configure命令调用您的构建配置和构建您的项目。注意,比常规的构建过程操作需要更多的时间,因为额外的仪器。
如果polyspace-configure命令执行完成,你看到这个信息:
在工作目录中创建一个选项文件。选择文件包含源文件和编译器选项的信息。+你使用这个选项文件启动Polyspace错误发现者。
- 为Polyspace错误发现者
选择工具>Polyspace错误发现者。按照进度的分析工具输出窗口:
分析后,Polyspace结果自动打开。
分析使用默认错误发现者选项。
修改它们,在你的工作中使用文件extra_options文件夹。
默认的文件是空的。每行输入一个Polyspace Bug仪选项。
例如,使检查所需的强制性和子集MISRA-C: 2012条规则,增加这条线:
-misra3 mandatory-required
每次都重复这两个步骤你改变编译相关的东西,例如,当你添加或删除一个新文件或定义一个新的象征。
如果您修改现有的源文件,使用Polyspace错误发现者菜单项。
创建一个项目文件
如果你愿意改变Polyspace选项图形和启动分析Polyspace用户界面,创建第三个菜单项。
这个菜单项使用polyspace-configure命令-output-project选项,以便创建一个项目,而不是一个选项文件。
类似于前面的脚本,将一个新条目添加到工具菜单:
菜单文字:
创建Polyspace项目
命令:
< your_working_folder > \ create_project_file.bat
论点:
PROJ_PATH CONFIG_NAME美元美元
初始目录:
< your_working_folder >
当您选择工具>创建Polyspace项目,一个项目文件(扩展.psprj)在工作中创建文件夹。
打开这个项目文件Polyspace用户界面:
