Polyspace Test

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) 实现对行业标准的支持。