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）集成。
将测试与软件需求链接起来
将用户界面中的 C 和 C++ 测试链接到在外部编辑器或工具（例如 IBM® DOORS®、IBM DOORS Next、Microsoft® Word 或 Microsoft Excel®）中编写的测试需求。
认证支持
创建完成行业标准认证过程所需的交付物。Polyspace Test 已经过 TÜV 南德认证，符合 IEC 61508 和 ISO 26262 标准。使用为 DO-178C 流程准备的报告和交付物。
自动化并集成到开发运营一体化中
通过将 Polyspace Test 插入现有开发运营一体化工作流和自动化流程支持现代软件开发实践。Polyspace Test 支持常见的持续集成工具，包括 Jenkins 和 Bamboo®。
产品资源：
Polyspace 产品系列
Polyspace 产品通过在整个开发生命周期中测试和监控软件质量来保证关键代码的安全。
Polyspace Access
识别编码缺陷，查看静态分析结果，并监控软件质量指标
Polyspace Code Prover Server
证明软件中不存在运行时错误
Polyspace Bug Finder
运用静态分析找出软件 Bug
Polyspace Test
开发、管理和执行嵌入式系统中 C 和 C++ 代码的测试
Polyspace Bug Finder Server
通过在服务器上运行的静态分析识别软件缺陷
Polyspace Client for Ada
证明源代码中不存在运行时错误
Polyspace Code Prover
证明软件中不存在运行时错误
Polyspace Server for Ada
在计算机集群上执行代码验证并发布指标
