Polyspace Bug Finder.

使用静态分析识别软件错误

PolySpace Bug Finder™识别C和C ++嵌入式软件中的运行时错误,并发问题,安全漏洞和其他缺陷。使用静态分析,包括语义分析,PolySpace Bug Finder分析软件控制,数据流和移植物行为。通过在检测到后立即突出显示缺陷,它可以让您在开发过程中提前进行分类并修复错误。

PolySpace Bug Finder检查遵守编码规则标准,如Misra C.®,Misra C ++,Autosar C ++ 14,Cert®C,证书®C ++,以及自定义命名约定。它生成由发现错误,代码规则违规和代码质量指标组成的报告,包括循环复杂性。PolySpace Bug Finder可以与Eclipse™IDE一起使用,以分析桌面上的代码。

用于自动生成的代码,PolySpace®结果可以追溯到Simulink金宝app®模型和dspace.®targetlink.®块。

金宝app通过IEC认证套件(适用于ISO 26262和IEC 61508),可获得对行业标准的支持,并进行资格套件(对于DO-178)。

开始:

在发布早期发现错误

一旦代码写入或修改,就识别数百类错误。

找到复杂错误的根本原因

在使用事件跟踪,变量值和调用树中,请参阅类似调试器的视图中的代码。

创建自己的导航路径。

在您的代码中识别来自IDE中的错误

通过使用代码或修改代码后,查找错误波尔盖斯在IDE中的代码,如Visual Studio®,Visual Studio代码或Eclipse。

在Visual Studio中使用PolySpace时使用PolySpace。

跟踪代码分析Simulink模型金宝app

在生成的代码上运行分析并将您的发现跟踪到源模型块。

跟踪代码分析到模型。

配置任何运行时环境

将PolySpace Bug Finder与任何编译器,目标处理器和RTOS环境集成。

设置编译器和目标选项。

使您的代码安全安全

跟踪工业标准的质量。

符合编码规则和认证要求

Enforce Misra C,Misra C ++,AutoSAR C ++ 14,JSF ++和自定义规则。符合ISO 26262,DO-178,IEC 61508,EN 50128,IEC 62304等。

金宝app支持的功能安全标准。

满足安全要求

遵守CERT C / C ++,ISO 17961和Misra C:2012修正案1。

配置编码规则检查。

监控项目的软件质量

将分析结果与质量阈值进行比较,因此您的软件团队可以更轻松地协作并监控项目里程碑。

过滤结果。

使用PolySpace Bug Finder Server自动执行代码分析

通过在提前常见的代码变化的分析来实现连续集成。

分析综合构建

在服务器类机上运行PolySpace Bug Finder Server™静态分析引擎,具有构建自动化工具,如Jenkins和Bamboo。

将PolySpace产品集成到您的持续集成环下载188bet金宝搏境中。

用于协作审查的通知和上传结果

自动将缺陷分配给组件所有者,发送电子邮件通知,并将结果上传到PolySpace Bug Finder Access™,以便您可以进行分类和解决问题。

通过PolySpace Bug Finder结果发送电子邮件通知。

使用Polyspace Bug Finder访问的协作审查

用软件开发团队分享分析结果和质量指标。

查看分析结果,因此您可以尝试和解决问题

PolySpace Bug Finder Access为PolySpace静态代码分析结果和存储在中央存储库中的质量指标提供了一个Web浏览器界面。用于调查静态分析结果的导航工具与代码一起显示。

结果详细信息窗口。

监控项目质量和软件质量指标

仪表板显示可以用于监控软件质量,项目状态,缺陷数量和代码指标的信息。

项目概述仪表板。

与已使用的错误跟踪工具集成

使用Web浏览器界面在Bug跟踪工具中创建和分配票证,如Jira。

创造门票。

其他PolySpace Bug Finder资源

Polyspace公告

阅读有关PolySpace产品中的新功能和增强功能,以改善您的软件开发和验证工作流程。下载188bet金宝搏