2. Polyspace工程Configuaration配置
文章目录
- 2. Polyspace工程Configuaration配置
- 2.1 Target & Compiler
- 2.2 Input & Stubbing
- 2.3 Multitasking
- 2.4 Coding Standards & Code Metrics
- 2.5 Bug Finder Analysis
- 2.6 Code Prover Verification
- 2.7 Reporting
- 2.8 Run Setting
专题目录
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
:设置在远程服务器上仿真运行
感谢阅读 若有错误 敬请见谅!!!
2. Polyspace工程Configuaration配置相关推荐
- maven工程插件配置
1 <build> 2 <!-- 该级工程会加载插件,放在父工程里 --> 3 <plugins> 4 <!-- 资源文件拷贝插件 --> 5 < ...
- 检测xcode工程中配置信息是否正确
一.解决问题:在某些情况下,xcode工程的配置信息没太注意,导致编译的应用程序不正确:通过脚本,可以放在自动构建中,可以自动检测 配置哪里出了问题. 二.感谢: 张晓 三.脚本如下: #!/bin/ ...
- Eclipse3.2下JFace和SWT工程环境配置方法
Eclipse3.2下JFace和SWT工程环境配置方法 Java的Web开发环境布置向来很烦琐,还记得在做本科毕业设计时配置JBuilder2005+Weblogic8.1+SQL2k整合环境时的痛 ...
- linux下svn(subversion)服务端添加工程及配置权限
linux下svn(subversion)服务端添加工程及配置权限 转载请注明源地址:http://www.cnblogs.com/funnyzpc/p/9010507.html 此篇我只是将所做过的 ...
- App开发流程之创建项目和工程基本配置
我的开发环境为:Mac OS X EI Capitan(10.11.6),Xcode 7.3.1 首先说明一下这个项目的初衷,我并非要创建一个完整的上架应用,旨在创建一个可运行的,通用配置.架构,提供 ...
- 【IOS自动化解放双手系列一】unity3D导出xcode 工程并配置各种权限
打包是程序员必经之路.如何实现自动化是一个程序员的基本素质.(都是因为我懒,哈哈哈). 使用环境 :unity3D 2017.4.7 Mac Pro 打包分一下几个部分 : 1.unity3D导出xc ...
- cisco 模拟器安装及交换机的基本配置实验心得_软考网络工程师级配置题总结 | 交换机配置、路由器配置、广域网接入配置、L2TP配置、IPSec配置、PIX防火墙配置...
软考网络工程师级配置题总结 一. 交换机配置 1. 交换机的基本配置 Enable 进入特权模式 Config terminal 进入配置模式 Enable password cisco 设置enab ...
- C++:VS2017基本操作、番茄助手的重构功能以及C++的项目工程基本配置
一.VS2017 IDE环境基本配置 窗口布局:在视图中选择"类视图"."资源视图"."解决方案资源管理器"."输出窗口" ...
- 计算机网络vtp,计算机软考网络工程:配置交换机VTP协议
首先我们来认识一下什么是VTP VLAN可以使用Trunk技术跨交换机实现,也就是将交换机A与B之间的链路配置成Trunk,这样,连接在交换机A与交换机B上的相同VLAN号的主机就可以通信. 在一台或 ...
最新文章
- C++知识点杂记1——typedef、static_cast、const_cast、遍历二维数组、聚合类
- 程序员也要多读些专业之外的书
- windows下网络丢包模拟软件(Network Emulator for Windows Toolkit)
- elasticsearch api中的Bulk API操作
- Web服务器 - Nginx配置介绍
- 【转贴】龙芯内核发展策略 已经支持k8s
- 嬴彻首款L3自动驾驶样车发布:自研全栈系统,满足高速全场景工况
- [转载] c++与python 数据类型对应
- 斐讯 N1 降级、刷机及 Armbian 安装 [2019.7.23]
- ASUS TUF Gaming B460M PLUS+RX570+BCM94360CD黑苹果EFI引导文件
- IIS 部署的网站无法启动
- 哪些因素决定了CRM客户管理系统的价格?
- asterisk android代码,Asterisk + Vtiger CRM 5.1 电击拨号 实现来电弹屏
- Command python setup.py egg_info failed with error code 1 in /private/var/folders/14/4hz051qx0wqd3
- C#基础语法————变量
- python中temp的用法_python temp是什么
- c++镇国之争游戏(带存档,无bug)
- iPhone通话质量和基带有关?2招教你检测手机是什么基带!
- esphome 在添加设备是出现错误
- 谷歌相机第一个版本_您的第一个Google地图