Polyspace

测试软件并评估代码质量

索取免费试用版

索取报价

有疑问吗？请联系销售人员。

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 助力各种开发过程

Polyspace 产品可以集成到软件工厂中，从 IDE 到持续集成 (CI) 管道，在云端或本地，配合使用许多开发工具，如 Jira 或 GitHub，以高效地管理质量问题。

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

Polyspace 助力高效的软件工程团队

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

使用 IDE 通过编码缺陷吸取经验教训来提高软件开发人员的编码技能。
为质量工程师配备统一的平台来衡量代码质量并达到测试要求。
使软件架构师能够验证架构设计的代码实现。
支持开发运营一体化工程师将软件质量工具集成到软件工厂中。
为软件工程经理提供统一的工程质量视图。

通过 Polyspace 静态代码分析简化 ASPICE、ISO 26262 和 ISO/SAE 21434 的遵循过程

“Polyspace 帮助我们实现了质量目标，同时提高了效率（或至少保持效率不变）。”
David Tuset，Ficosa International

Polyspace 助力跨行业的嵌入式项目

汽车

确保整个汽车供应链中所有汽车组件的软件质量一致。验证与所有领域相关的嵌入式软件质量，包括底盘、被动或主动安全、动力总成系统和电动汽车/电池管理系统。

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

航空航天和国防

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

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

医疗设备

确认用于输液泵、植入式治疗系统、机器人平台和其他生命关键型医疗设备的嵌入式软件的质量。满足 IEC 62304 标准，最高可用于三类设备。

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

半导体和通信

验证业务关键型系统是否可靠，并使用高质量软件最大限度地减少攻击面。

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

查看更多客户案例

Polyspace 产品系列

Polyspace 产品通过在整个开发生命周期中测试和监控软件质量来保证关键代码的安全。

Polyspace Access

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

Polyspace Code Prover Server

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

Polyspace Bug Finder

检查编码规则、安全标准和代码指标并找出 Bug。

Polyspace Test

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

Polyspace Bug Finder Server

在 CI 管道中识别软件缺陷并贯彻编码规则。

Polyspace Client for Ada

使用形式化方法详尽验证关键的 Ada 语句单元。

Polyspace Code Prover

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

Polyspace Server for Ada

持续并详尽地验证 CI 管道中的关键 Ada 代码语句。

对 Polyspace 感兴趣？

索取试用版