Polyspace Access

 

Polyspace Access

识别编码缺陷,查看静态分析结果,并监控软件质量指标

在您的 IDE 中识别 Bug

在 Visual Studio®、Visual Studio Code 或 Eclipse 等 IDE 中,借助 Polyspace as You Code 插件在编写或修改代码的同时识别 Bug。使用 API 集成到其他 IDE 和编辑器中。

遵守编码标准和安全规则

在您编码时,强制执行已嵌入的软件编码规则,例如 MISRA C 和 MISRA C++、CERT C 和 CERT C++、AUTOSAR C++14、JSF++ 和自定义命名约定。

静态分析结果的审核与分类

在您的 Web 浏览器中查看 Polyspace 结果和与其相应的源代码。使用导航工具调查和分类结果。共享发现和注释以与团队成员协作。

监控项目软件质量

组织您的静态代码分析项目,以支持开发团队和工作流。使用项目控制板上显示的信息来监控软件质量、项目状态、缺陷数量和代码指标。

与您的软件工厂集成

将 Polyspace Access 集成到您的软件开发基础架构中,通过静态代码分析结果来为持续集成管道把关,并将代码验证结果与您的 Bug 跟踪工具和应用程序生命周期管理 (ALM) 链接起来。在本地或云中安装并运行 Polyspace Access Web 服务器,使其靠近您的工具链部署。

Polyspace 产品系列

Polyspace 产品通过在整个开发生命周期中测试和监控软件质量来保证关键代码的安全。

Polyspace Access

识别编码缺陷,查看静态分析结果,并监控软件质量指标

Polyspace Code Prover Server

证明软件中不存在运行时错误

Polyspace Bug Finder

运用静态分析找出软件 Bug

Polyspace Test

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

Polyspace Bug Finder Server

通过在服务器上运行的静态分析识别软件缺陷

Polyspace Client for Ada

证明源代码中不存在运行时错误

Polyspace Code Prover

证明软件中不存在运行时错误

Polyspace Server for Ada

在计算机集群上执行代码验证并发布指标

有兴趣了解 Polyspace Access?