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 as you code 可在源代码视图中报告结果。当连接到 polyspace access 中央存储库时,它还可以将结果与开发基线比较并只突出显示新问题。
web 界面让开发人员和质量工程师能够就静态代码分析结果跨项目协作。从项目控制板到查找细节,团队成员可以监控质量趋势,并分析、审核软件漏洞、代码指标、关键运行时错误以及对编码标准的遵守情况,然后指定其负责人。与 jira 等项目管理工具的集成支持团队就代码质量进行协作。polyspace access 包括在本地托管或位于云端的中央存储库,它可与 ldap 等身份验证系统集成在一起,以控制对项目数据的访问。
在您的 ide 中识别 bug
在 visual studio®、visual studio code 或 eclipse 等 ide 中,借助 polyspace as you code 插件在编写或修改代码的同时识别 bug。使用 api 集成到其他 ide 和编辑器中。