Main Content

Polyspace Access

识别编码缺陷、审查静态分析结果并监控软件质量度量

使用 Polyspace® Access™,软件工程团队可以在软件开发生命周期中检查其代码质量。它包括 Polyspace as You Code,这是一个 IDE 插件,开发人员可以使用它在提交代码进行集成之前检测代码合规性偏差、软件缺陷和安全漏洞。还可以通过它来访问一个 Web 界面,审查由 Polyspace Bug Finder™ Server™Polyspace Code Prover™ Server 产生的集成源代码的静态代码分析结果。

Polyspace as You Code 可检测严重缺陷和安全漏洞,并检查代码是否符合各种编码规则标准,例如 MISRA C™、MISRA™ C++、AUTOSAR C++14、CERT® C、CERT C++ 以及自定义命名约定。我们会将其作为插件集成到开发人员 IDE(例如 Visual Studio®Visual Studio Code 或 Eclipse™)中,用于在源代码视图中报告检查结果。当连接到 Polyspace Access 中央存储库时,它可以与开发基线比较并只突出显示由开发人员引入的的新问题。

利用该 Web 界面,开发人员和质量工程师可以针对静态代码分析结果进行跨工程协作。通过从工程仪表板了解检查结果详细信息,团队成员可以监控质量趋势并分析、审查软件漏洞、代码度量、严重的运行时错误以及是否遵守各种编码标准,并分配责任人。与工程管理工具(例如 JIRA)集成实现了代码质量的团队协作。Polyspace Access 包括一个中央存储库(托管在本地或基于云),该存储库与身份验证系统(例如 LDAP)集成来控制对工程数据的访问。

Polyspace Access 快速入门

Polyspace Access 基础知识学习

安装 Polyspace Access

在服务器端或 IDE 上安装 Polyspace 产品

在 IDE 中设置 Polyspace 分析

在 IDE(例如 Eclipse、Visual Studio 和 Visual Studio Code)中检查 C/C++ 代码中是否存在缺陷

审查分析结果

在 Web 浏览器或 IDE 中审查 Polyspace 结果

Polyspace Access 示例

用于从不同环境运行 Polyspace 的示例脚本和模板,显示 Bug 和编码违规的 C/C++ 代码示例