Polyspace Test

Polyspace Test

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

索取免费试用版

索取报价

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

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 控制板摘要显示静态代码分析结果、测试状态和代码覆盖率度量。

使用图形编辑器添加测试参数。

开发和执行单元测试与集成测试

使用 Polyspace Test xUnit API 或以交互方式使用图形测试编写编辑器开发和运行 C 和 C++ 代码测试。创建桩件和仿件来隔离在测组件，并与第三方模拟库（如 gMock）集成。

表格：显示可达和不可达代码以及源代码的代码覆盖率结果。

测量代码覆盖率以及分析执行

生成并审核行业标准度量的代码覆盖率，包括决策、条件和 MC/DC。使用代码执行分析运行测试，以确定需要改进内存和运行时性能的代码节。

用于将测试链接到软件需求的对话框。

将测试与软件需求链接起来

将用户界面中的 C 和 C++ 测试链接到在外部编辑器或工具（例如 IBM^® DOORS^®、IBM DOORS Next、Microsoft^® Word 或 Microsoft Excel^®）中编写的测试需求。

Polyspace 控制板，包含测试执行摘要和详细结果。

在主机和目标硬件上运行测试

在主机和目标硬件上执行测试，收集代码覆盖率度量并分析内存和执行情况。

对话框：显示生成覆盖率或边界值测试的选项。

生成测试以满足覆盖率和边界值目标

自动生成测试，以增强手动创建的测试用例，并解决不完整的代码覆盖率和边界值测试。

认证支持

创建完成行业标准认证过程所需的交付物。Polyspace Test 已经过 TÜV 南德认证，符合 IEC 61508 和 ISO 26262 标准。使用为 DO-178C 流程准备的报告和交付物。

自动化并集成到开发运营一体化中

通过将 Polyspace Test 插入现有开发运营一体化工作流和自动化流程支持现代软件开发实践。Polyspace Test 支持常见的持续集成工具，包括 Jenkins 和 Bamboo^®。

运行动态测试和静态代码分析的菜单。

集中管理静态分析和动态测试

使用同一用户界面配置、运行和查看 Polyspace Bug Finder、Polyspace Code Prover 和 Polyspace Test 的结果。

用户界面：显示 Polyspace Code Prover 的分析结果，用于申述缺失覆盖率。

使用静态分析来补充动态测试

申述由 Polyspace Code Prover 证明的不可达的代码所造成的代码覆盖缺失。通过分析测试来发现缺陷和运行时错误，从而确保其可靠性和一致性。

产品资源：

文档示例视频产品要求发行说明

有兴趣了解 Polyspace Test？

索取试用版索取报价

有疑问吗？

请联系 Polyspace Test 技术团队。