文章目录
2. Polyspace工程Configuaration配置
2.1 Target & Compiler
-
Target Language: 设置分析工程的语言（C/C++）以及对应的标准版本，一般选择根据编译器来选择语言版本 -
Target Enviroment: 编译器环境以及数据类型长度定义，可以自已配置：选择大小端、数据类型长度等 -
Compiler Behavior: 编译特殊处理设置，比如对除法运算规则，结构体地址存储连续字长等设置，一般按默认设置即可 -
Tip: 将鼠标发在设置选项上，会弹出提示信息，根据帮助信息可以了解设置项的具体含义 -
Macros：宏相关定义，用于宏定义和屏蔽宏，相当于代码中是否定义了该宏 -
Enviroment Settings环境设置
-
Code from DOS or Windows file system(-dos) 表示代码来源，由于是window系统，此项需要勾选 -
Stop analysis if a file does not compile表示如果编译不通过，则分析中止，此项也要勾选上
2.2 Input & Stubbing
-
Inputs&Stubbing：输入和插桩，这一项可以限制变量范围，插桩等
1）测试函数中调用的外部函数、全局变量，该函数的返回值范围或者全局变量的范围会对代码检查结果产生影响，如果知道其范围，则在此处设置其范围，示例中设置了extFunc()函数的返回值为1到28。
2）可勾选忽略全局变量的初始值，按其变量的数据类型范围来检查
3）stubbing：调用的函数存在，但是忽略该函数的计算过程，按照该函数输入、输出类型全范围来仿真检查加粗样式
2.3 Multitasking
- 函数任务执行等设置，高级用法尚未使用过。。。
2.4 Coding Standards & Code Metrics
-
Coding Rules&Coding Metrix检查代码规范
1）导入自定义代码规范文件进行检查
2）勾选需要检查的代码规范标准
3）勾选Metrix生成代码规范报告
2.5 Bug Finder Analysis
-
Bug Finder检查项设置 -
Bug Finder Analysis：勾选设置所有检查项，并且可以选择custom来自定义检查项
2.6 Code Prover Verification
-
Code Prover检查项设置
1） 动态检查从那个函数开始运行：从main函数开始运行，自动生成打桩main函数，添加初始化函数等
2）Check Behavior: 检查项自定义设置
2.7 Reporting
-
Reporting：勾选才会生产报告，可设置生成报告内容，格式等选项
2.8 Run Setting
-
Metrics: 远程服务器设置 -
Run Setting：设置在远程服务器上仿真运行
感谢阅读 若有错误 敬请见谅！！！