多空间码验证器访问

检查代码证明结果并监控软件质量度量

Polyspace®代码验证™访问™提供一个web浏览器界面,用于Polyspace代码验证结果,证明源代码中没有关键的运行时错误。它包括一个用于分析结果的中央存储库,支持基于团队的协作。结果Polyspace代码验证服务器™可刊登于多空间码验证器访问用于分类和解决问题。与多空间码验证器访问您可以在Jira等缺陷跟踪系统中创建和分配票据。

多空间码验证器访问仪表板显示可以用来监视软件质量的信息。仪表板帮助您图形化地跟踪整个项目的运行时错误状态,并根据软件质量目标(SQO)阈值度量进度。

开始

学习Polyspace代码验证程序访问的基础知识

在Polyspace代码验证程序访问中检查结果

审查Polyspace代码验证在web浏览器上的结果,添加评论和创建票据,下载和上传结果,生成报告

管理Polyspace代码验证访问软件

软件安装、许可证管理、服务配置