Polyspace Access 使软件工程团队能够在整个开发生命周期中管理其 C、C++ 和 Ada 软件的质量。它提供了一个存储库，用于集中管理来自 Polyspace Bug Finder Server、Polyspace Code Prover Server、Polyspace Server for Ada 和 Polyspace Test 的结果。通过其 Web 应用，您可以浏览项目组件和版本，以监控质量趋势、探索详细的发现并在问题分类上进行协作。
通过与项目管理工具和身份验证系统集成，Polyspace Access 支持在软件质量方面进行受控的、基于团队的协作。当与 Polyspace as You Code 连接时，Polyspace Access 会将持续集成 (CI) 中的发现与本地更改同步，使您能够专注于新的缺陷。
软件工厂集成
通过将 Polyspace Bug Finder Server、Code Prover Server、Polyspace Server for Ada 和 Polyspace Test 在 CI 流水线中生成的结果上传到 Polyspace Access 存储库以进行基于 Web 的审查，从而实现结果集中化。根据为您的项目定义的质量阈值来把控您的 CI 作业。
产品资源：
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 代码语句。
