登录 | 注册 | English

研发工具

yzc88网页版登录  >  研发工具  >  V流程仿真及测试阶段  >  PolySpace-嵌入式App运行时静态检查工具

PolySpace-嵌入式App运行时静态检查工具

概述      

        PolySpace 是MathWorks 企业产品, 主要用于分析App运行时分析工具。它包括PolySpace Bug Finder 和PolySpace Code Prover 两个模块。

 
产品先容
1. PolySpace Bug Finder
        PolySpace Bug Finder 是静态代码分析App,可以发现C/C++ 代码中的各类缺陷,包括运行时错误,数据流问题,编程问题等各类代码缺陷。PolySpace Bug Finder 使用静态分析的方法分析App控制,数据流和过程间的行为。可以在App开发阶段就帮助开发人员发现并修正App缺陷。
        PolySpace Bug Finder 可以生成App代码静态度量报告,包括发现的缺陷,编码规范不合规项和代码质量信息比如圈复杂度。为了方便使用,PolySpace Bug Finder 还提供了和Eclipse IDE 开发环境及用户的构建系统集成的功能。
        通过IEC Certification Kit(IEC 61508和ISO 26262)和DO Qualification Kit(DO178),PolySpace 提供对相关工业标准认证的支撑。同时,PolySpace 支撑Ada 语言的代码检查。
 

 

2. PolySpace Code Prover

        PolySpace Code Prover 证明C/C++ 代码中不含有溢出,除零,数组越界等特定的运行时错误。它不需要运行代码,代码插装和测试用例。PolySpace Code Prover 使用静态分析和形式化的抽象说明方法,适用于手写代码,自动生成代码和两者都有的混合代码。结果采用颜色表示代码中是否没有运行时错误,被证明的错误,不可达代码和未经证明的代码。
        PolySpace Code Prover 使用抽象说明和静态分析方法来证明,识别和分析运行时错误,例如溢出,除零和指针的越界。这个技术综合完整的验证所有的运行条件并自动的证明代码是被证明的(安全的,错误的,不可达的)和未经证明的。PolySpace CodeProver 的检查结果用颜色来标识。

 

        能够发现的错误包括:

• 溢出,除零及其它的数学错误
• 数组访问越界和非法的指针取消引用
• 总是True/False的语句
• 类成员无初始化(C++)
• 读取未初始化的数据
• 访问null this 指针(C++)
• 死代码
• 与面向对象编程,继承和错误处理有关的动态错误(C++)

 

关于恒润
企业概况
企业理念
企业资质
资讯中心
恒润在全球
诚聘英才
校园招聘
实习生招聘
社会招聘
走进恒润
常见问题
市场活动
在线研讨会
线下活动
微信课堂
用户社区
资料下载
恒润月刊
用户留言
个人中心
相关链接
达索企业
IBM-中国
联系大家
电话:010-64840808
邮箱:market_dept@hirain.com
版权所有 ? yzc88网页版登录 京ICP备18000642号-1 京公网安备11010802017344号 网站地图 | 招聘信息 | 法律声明 | 隐私保护
XML 地图 | Sitemap 地图