Polyspace的模块介绍

Polyspace由Bug Finder和Code Prover组成。Bug Finder使用语义分析的方法查找代码中的运行时错误、并发问题、安全漏洞和其他缺陷。Polyspace Code Prover使用抽象解释法证明源代码中不存在溢出、被零除、数组访问越界等运行时错误。

此外，Polyspace还有Server版本，分别是Polyspace Bug Finder Server和Polyspace Code Prover Server。他们是运行在服务器上，可以于CI系统集成的模块。

Polyspace Bug Finder Access和Polyspace Code Prover Access是对应分析结果的存储服务器，用于对分析结果的中心化管理，方便项目相关责任人查看项目质量情况。相关责任人可以通过网页浏览器直接查看分析结果。

1. 运用静态分析找出软件缺陷

2. 证明软件中不存在运行时错误

3. 检查代码对符合编码规范和认证要求

4. 代码度量

5. 持续和自动化验证

6. 验证结果中心化管理

Polyspace的模块介绍相关推荐

1. Polyspace工具基本介绍
文章目录 1. Polyspace工具基本介绍 1.1 Polyspace工具作用 1.2 Polyspace工程建立 1.3 Polyspace Bug Finder 分析及结果 1.4 Polys ...
爬虫之requests模块介绍
爬虫之requests模块介绍 requests文档http://docs.python-requests.org/zh_CN/latest/index.html [文档中包括的快速上手要精 ...
Zynq器件XADC模块介绍
1．前言赛灵思的7系列FPGA和Zynq器件创造性地在片上集成了模数转换器和相关的片上传感器(内置温度传感器和功耗传感器),这是相比赛灵思前一代产品来新增加的特性,可在系统设计中免去外置的ADC器件 ...
python模块介绍-locustio：性能测试工具locustio
转自:http://automationtesting.sinaapp.com/blog/m_locustio_doc python测试文章 http://weibo.com/cizhenshi?is ...
【收藏】GeoMesa整体架构模块介绍、创建Schema并导入数据
geomesa-accumulo:基于 Apache Accumulo的DataStore 实现 geomesa-archetypes: Maven构建模板 geomesa-arrow: 基于 Apa ...
两款【linux字符界面下】显示【菜单】，【选项】的powershell脚本模块介绍
两款[linux字符界面下]显示[菜单],[选项]的powershell脚本模块介绍 powershell linux ps1 menu choice Multiselect 传教士菜单 powe ...
Spring之旅—Spring模块介绍
1.0 Spring模块介绍核心容器(Spring Core) 核心容器提供Spring框架的基本功能.Spring以bean的方式组织和管理Java应用中的各个组件及其关系.Spring使用Be ...
EBS模块介绍和概念解释
Oracle模块介绍和概念解释 Oracle重要模块简介账套会议科目表记账本位币会议日历的财务报告实体组织业务组公司的最高部门法人实体提交财务和税务报表的法人公司经营单位 orac ...
python url模块介绍_python 中 urlparse 模块介绍
urlparse模块主要是用于解析url中的参数对url按照一定格式进行拆分或拼接 1.urlparse.urlparse 将url分为6个部分,返回一个包含6个字符串项目的元组:协议.位置.路 ...

Polyspace的模块介绍

Polyspace的模块介绍相关推荐

最新文章

热门文章