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 代码语句。
Polyspace Code Prover
Exhaustively verify the most critical C and C++ statements using formal methods.
Polyspace Test FAQs
Polyspace Test provides tools for developing, managing, and executing unit and integration tests and analyzing structural coverage for C and C++ code in embedded systems.
Polyspace Test supports C and C++ code in embedded systems.
You can create tests using the Polyspace xUnit API or interactively using a graphical test authoring editor, and create stubs and mocks to isolate components under test.
Yes, Polyspace Test lets you execute tests, collect code coverage metrics, and profile memory and execution on both host computers and target hardware.
Polyspace Test provides industry standard code coverage metrics including decision, condition, and modified condition/decision coverage (MC/DC).
Yes, Polyspace Test can automatically generate tests to augment manually created test cases, achieve desired code coverage, test boundary values, and extend requirements-based test cases.
Yes, you can link C and C++ tests to requirements authored in external tools such as IBM DOORS, IBM DOORS Next, Microsoft Word, or Microsoft Excel for traceability.
Yes, Polyspace Test has been certified by TÜV SÜD for use with IEC 61508 and ISO 26262 standards, and provides reports and artifacts for DO-178C processes through certification kits.
Yes, Polyspace Test works with popular continuous integration tools including Jenkins and Bamboo to support modern DevOps workflows and automated processes. Polyspace Test also includes a complete Python API that helps developers integrate with existing CI/CD infrastructure.
Polyspace Test includes a common user interface that enables you to configure, run, and review results from Polyspace Bug Finder and Polyspace Code Prover, and use static analysis results to justify missing code coverage, generate tests, and instrument for dynamic run-time error and memory checking.
