多边形空间

测试软件并评估代码质量

请求免费试用

请求报价

有问题吗？联系销售人员.

Polyspace用于软件测试和代码分析

Polyspace产品为在整个开发生命周期中管理、测量和监控软件质量提供了统一的解决方案。

彻底验证最关键的C、C++和Ada代码语句。
识别数百个C/C++代码漏洞。
检查编码规则，包括MISRA C™2012、AUTOSAR C++14和CERT^®C/C++。
编写、管理和执行测试用例和度量代码覆盖率在主机和硬件目标上。
分析软件架构实现。

Polyspace用于安全、可靠和高性能的软件

Polyspace产品提供测试和代码验证功能，帮助软件工程团队在单一环境中实现这些质量要求。

通过评估代码质量来确保软件的可靠性。
通过识别关键漏洞提高软件安全性。
通过实现基于需求的测试来提高软件功能的正确性。
通过分析执行情况和识别次优代码来开发高性能软件。
支持安全和安保标准，如DO-178C公司,IEC 61508， ISO 26262标准,ISO/SAE 21434标准.

“使用Polyspace，我们可以通过在每次代码合并之前识别和修复关键的运行时错误来确保软件的安全性和质量。”
沃尔沃汽车公司Johannes Foufas

多空间适用于每个开发过程

Polyspace产品可以通过许多开发工具（如Jira或GitHub）集成到软件工厂中，从IDE到持续集成（CI）管道，无论是在云中还是在本地，都可以有效地管理质量问题。

检查代码质量在IDE中.
使用xUnit测试API转向测试驱动开发（TDD）。
测试和验证自动生成的和人工编写的软件。
自动化测试执行和代码验证CI管道.
在供应链中应用标准软件质量标准。

Polyspace适合高效的软件工程团队

Polyspace产品通过全面的文档、修复建议和软件质量协作，帮助软件工程师提高编码和测试技能。

通过学习IDE中的编码缺陷，提高软件开发人员的编码技能。
为质量工程师配备一个统一的平台，以测量代码质量并达到测试要求。
使软件架构师能够验证架构设计的代码实现。
支持DevOps工程师将软件质量工具集成到他们的软件工厂中。
为软件工程经理提供项目质量的统一视图。

通过多空间静态代码分析简化对ASPICE、ISO 26262和ISO/SAE 21434的遵从性

“Polyspace帮助我们实现了质量目标，同时提高或至少保持了效率。”
大卫·图塞特（David Tuset），菲科萨国际

Polyspace支持跨行业的嵌入式项目

汽车

确保汽车供应链中所有汽车零部件的软件质量一致。验证与所有领域相关的嵌入式软件质量，包括底盘、被动或主动安全、动力总成和EV/BMS。

HL Klemove使用Polyspace Bug Finder提高高级驾驶辅助系统的代码质量

航空航天与国防

评估嵌入卫星、飞机、直升机和其他防御系统的软件的可靠性，这对任务成功至关重要。

Leonardo加快雷达导航软件的开发并符合DO-178C

医疗器械

确认输液泵、植入治疗系统、机器人平台和其他生命关键医疗设备的嵌入式软件的质量。完成IEC 62304标准学分，达到III级设备。

Miracor消除了三类医疗设备软件的运行时错误并缩短了测试时间

半导体与通信

验证业务关键型系统的健壮性，并使用高质量软件最小化攻击面。

Miele证明其整个生产线的控制软件中不存在运行时错误

查看更多客户案例

Polyspace适合您

Polyspace产品系列使关键代码安全可靠。

多空间访问

识别编码缺陷，审查静态分析结果，并监控软件质量度量。

Polyspace代码验证程序服务器

持续彻底地验证CI管道中的关键C和C++代码语句。

Polyspace Bug查找器

检查编码规则、安全标准和代码度量，并发现错误。

多空间测试

开发、管理和执行嵌入式系统中C和C++代码的测试。

Polyspace Bug Finder服务器

确定软件缺陷并在CI管道中强制执行编码规则。

Ada的Polyspace客户端

使用形式化方法彻底验证关键Ada语句单元。

多空间代码校准器

使用形式化方法彻底验证最关键的C和C++语句。

Ada的Polyspace服务器

持续彻底地验证CI管道中的关键Ada代码语句。

对Polyspace感兴趣吗？

请求试用

请求报价

有问题吗？

联系Polyspace技术团队。