Polyspace Test Server 在自动化服务器上运行。它提供工具来管理和执行单元与集成测试,并分析自动化服务器上 C/C++ 嵌入式代码的结构覆盖率。您可以在 CI 服务器上执行基于主机或基于目标的测试。您可以执行代码覆盖率分析,使用诸如决策、条件和修正条件/决策覆盖率 (MC/DC) 等度量来测量测试的完整性。
自动测试生成可帮助您实现所需的代码覆盖率、对边界值进行测试,并通过 CI 驱动的自动化扩展基于需求的测试。您可以使用测试和覆盖率结果来申述缺失代码覆盖率并验证测试的稳健性。Polyspace Test Server 支持将测试和分析结果上传到 Polyspace Access 以供审核。
配合 IEC Certification Kit (for ISO 26262 and IEC 61508) 和 DO Qualification Kit (for DO-178),还可实现对行业标准的支持。
Polyspace 产品系列
Polyspace 产品通过在整个开发生命周期中测试和监控软件质量来保证关键代码的安全。
Polyspace Access
识别编码缺陷,查看静态分析结果,并监控软件质量指标。
Polyspace Copilot
专为 Polyspace 优化的 AI 助手。
Polyspace Test
开发、管理和执行嵌入式系统中 C 和 C++ 代码的测试。
Polyspace as You Code
在您的 IDE 中识别编码标准违规和软件漏洞。
Polyspace Test Server
在自动化服务器上执行测试并分析 C/C++ 代码的结构覆盖率。
Polyspace Code Prover Server
在 CI 管道中持续并详尽地验证关键的 C 和 C++ 代码语句。
Polyspace Bug Finder
检查编码规则、安全标准和代码指标并找出 Bug。
Polyspace Client for Ada
使用形式化方法详尽验证关键的 Ada 语句单元。
Polyspace Bug Finder Server
在 CI 管道中识别软件缺陷并贯彻编码规则。
Polyspace Server for Ada
持续并详尽地验证 CI 管道中的关键 Ada 代码语句。
Polyspace Code Prover
使用形式化方法详尽验证最关键的 C 和 C++ 语句。