Polyspace Test 提供相关工具，用于为嵌入式系统中的 C/C++ 代码开发、管理和执行单元测试与集成测试，以及分析结构覆盖率。您可以使用 Polyspace xUnit API 或图形化测试编写编辑器创建测试，并使用桩件或仿件隔离和验证在测代码。Polyspace Test 支持您在主机或嵌入式目标上执行测试、自动化测试执行，以及将测试与需求链接起来以实现可追溯性。
您可以执行代码覆盖率分析，用如决策、条件和修正条件/决策覆盖率 (MC/DC) 等度量来测量测试的完整性，还可以使用自动测试生成来实现需要的代码覆盖率、测试边界值，并扩展基于需求的测试用例。
Polyspace Test 包括通用用户界面，让您能够配置、运行和查看各种 Polyspace 静态分析工具生成的结果。您可以使用这些结果来申述缺失代码覆盖率并验证测试的稳健性。
配合 IEC Certification Kit (for ISO 26262 and IEC 61508) 和 DO Qualification Kit (for DO-178)，还可实现对行业标准的支持。
开发和执行单元测试与集成测试
您可以使用 Polyspace Test xUnit API 为 C/C++ 代码开发并运行测试，也可以通过图形化测试编写编辑器以交互方式进行操作。创建桩函数和模拟件以隔离待测组件，并集成 gMock 等第三方 mocking 库。
将测试与软件需求链接起来
在用户界面中将 C/C++ 测试与外部编辑器或工具（例如 IBM® DOORS®、IBM DOORS Next、Microsoft® Word 或 Microsoft Excel®）中编写的测试需求进行关联。
符合认证标准
创建完成行业标准认证过程所需的交付物。Polyspace Test 已通过 TÜV 南德认证，可用于 IEC 61508 和 ISO 26262 标准。将报告和交付物用于 DO-178C 流程。
实现自动化并集成到 DevOps 工作流
将 Polyspace Test 集成到现有的 DevOps 工作流和自动化流程中，支持现代软件开发实践。Polyspace Test 支持常见的持续集成工具，包括 Jenkins 和 Bamboo®。
统一静态分析和动态测试
在统一的界面中管理静态分析（通过 Polyspace Bug Finder 或 Polyspace Code Prover）和测试（通过 Polyspace Test），包括项目配置、执行和审查。使用代码分析工作流来识别有问题的测试、说明不可达代码分支的合理性，或满足复杂的代码覆盖率要求。
产品资源：
Polyspace 产品系列
Polyspace 产品通过在整个开发生命周期中测试和监控软件质量来保证关键代码的安全。
Polyspace Access
识别编码缺陷，查看静态分析结果，并监控软件质量指标。
Polyspace Copilot
专为 Polyspace 优化的 AI 助手。
Polyspace Test
开发、管理和执行嵌入式系统中 C 和 C++ 代码的测试。
Polyspace as You Code
在您的 IDE 中识别编码标准违规和软件漏洞。
Polyspace Bug Finder
检查编码规则、安全标准和代码指标并找出 Bug。
Polyspace Code Prover Server
在 CI 管道中持续并详尽地验证关键的 C 和 C++ 代码语句。
Polyspace Bug Finder Server
在 CI 管道中识别软件缺陷并贯彻编码规则。
Polyspace Client for Ada
使用形式化方法详尽验证关键的 Ada 语句单元。
Polyspace Code Prover
使用形式化方法详尽验证最关键的 C 和 C++ 语句。
Polyspace Server for Ada
持续并详尽地验证 CI 管道中的关键 Ada 代码语句。
