主要内容

PolySpace代码抄本访问

查看码证明结果和监控软件质量指标

波尔盖斯®代码Prover™Access™为PolySpace代码验证结果提供Web浏览器界面,证明源代码中的严重运行时错误。它包括一个用于分析结果的中央存储库,其支持基于团队的协作。由于。。。导致的结果PolySpace Code Prover Server™可以发布PolySpace代码抄本访问进行分类和解决方案。和PolySpace代码抄本访问您可以在缺陷跟踪系统中创建和指定诸如JIRA的票据。

PolySpace代码抄本访问仪表板显示您可以用于监控软件质量的信息。仪表板可以在运行时误差方面以绘制整体项目状态,并衡量软件质量目标(SQO)阈值的进度。

开始

了解PolySpace代码抄本访问的基础知识

PolySpace Code Prover Access的审查结果

审查PolySpace代码箴言结果在Web浏览器上,添加注释并创建票证,下载和上载结果,生成报告

管理PolySpace Code Prover Access软件

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