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

教程

• 在 Polyspace 平台用户界面中编写 C/C++ 单元测试
  

  在 Polyspace 平台用户界面中对工程运行 Polyspace Test 快速入门。

• 使用 Polyspace Test xUnit API 编写 C/C++ 测试并通过命令行运行测试
  

  使用 Polyspace Test API 中的预定义宏编写基于 xUnit 的 C/C++ 测试快速入门。

• Get Started with Polyspace Test Using Example Project
  

  Explore graphical test authoring, code coverage calculation, automatic test generation, linking to requirements, and other Polyspace Test capabilities using example project.

• 在目标上执行 C/C++ 测试快速入门
  

  创建第一个目标注册文件、注册目标、在目标上运行测试、计算目标上执行的代码覆盖率。

部署

• Polyspace 平台：用于静态分析和动态测试的统一平台
  

  Polyspace 平台是一个使用 Polyspace 产品对 C/C++ 代码进行静态分析和测试的集成环境。

• Polyspace 产品和软件开发工作流
  

  了解可以在软件开发生命周期中使用的 Polyspace 产品。