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，我们可以在每次代码合并之前识别并修复关键的运行时错误，从而确保软件的安全性和质量。”
Polyspace 助力高效的软件工程团队
Polyspace 产品通过全面的文档、补救建议和软件质量协作，帮助软件工程师提高其编码和测试技能。
- 使用 IDE 通过编码缺陷吸取经验教训来提高软件开发人员的编码技能。
- 为质量工程师配备统一的平台来衡量代码质量并达到测试要求。
- 使软件架构师能够验证架构设计的代码实现。
- 支持开发运营一体化工程师将软件质量工具集成到软件工厂中。
- 为软件工程经理提供统一的工程质量视图。
“Polyspace 帮助我们实现了质量目标，同时提高了效率（或至少保持效率不变）。”
Polyspace 助力跨行业的嵌入式项目
汽车
确保整个汽车供应链中所有汽车组件的软件质量一致。验证与所有领域相关的嵌入式软件质量，包括底盘、被动或主动安全、动力总成系统和电动汽车/电池管理系统。
医疗设备
确认用于输液泵、植入式治疗系统、机器人平台和其他生命关键型医疗设备的嵌入式软件的质量。满足 IEC 62304 标准，最高可用于三类设备。
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 代码语句。
