文档

Polyspace代码验证访问

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

Polyspace®代码验证™访问™提供了一个web浏览器界面Polyspace代码验证结果证明缺乏关键运行时错误的源代码。它包括一个中央存储库的分析结果,使团队协作。结果Polyspace™代码验证服务器可以发布到Polyspace代码验证访问诊断和解决。与Polyspace代码验证访问您可以创建和分配门票Jira等缺陷跟踪系统中。

Polyspace代码验证访问仪表板显示信息,您可以使用监控软件质量。仪表板帮你整体图形跟踪项目状态运行时错误和衡量进展对软件质量目标(SQO)阈值。

开始

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

审查结果Polyspace代码验证访问

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

管理Polyspace代码验证访问软件

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