主要内容

Polyspace代码验证访问

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

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

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

开始

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

在多空间代码验证程序访问中审查结果

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

管理Polyspace代码验证访问软件

软件安装、license管理、服务配置