主要内容

Polyspace代码验证器访问

检查证明结果的代码,并监控软件质量指标

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

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

开始

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

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

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

管理Polyspace代码验证访问软件

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