主要内容

在持续集成服务器上设置代码验证分析

检查C / c++代码Polyspace缺陷®用户界面或使用脚本

你可以检查你的代码和代码验证作为post提交测试的一部分。设置脚本,运行代码验证分析定期或根据新提交。脚本可以上传的回顾分析结果Polyspace访问web接口和发送电子邮件和Polyspace发现源文件的所有者。

DOS / UNIX命令

polyspace-access (DOS / UNIX)管理Polyspace访问结果和用户在命令行
polyspace-autosar (DOS / UNIX)Polyspace代码验证AUTOSAR软件组件的代码实现
polyspace-cluster-profile-manager (DOS / UNIX)导入MATLAB集群配置文件Polyspace服务器命令
polyspace-code-prover-server (DOS / UNIX)运行代码验证验证服务器上窗户,Linux或其他命令行
polyspace-comments-import (DOS / UNIX)进口从先前的评论信息Polyspace分析
polyspace-configure (DOS / UNIX)创建Polyspace项目从你在DOS或UNIX命令行构建系统
polyspace-report-generator (DOS / UNIX)生成报告Polyspace分析结果存储在本地或在Polyspace访问
polyspace-results-export (DOS / UNIX)出口Polyspace结果外部格式如CSV或JSON

MATLAB API

全部展开

polyspaceroot 得到Polyspace安装文件夹
polyspaceCodeProverServer 运行Polyspace代码验证验证从MATLAB
polyspaceConfigure 创建Polyspace从构建系统的项目MATLAB命令行
polyspaceAutosar 运行Polyspace代码验证AUTOSAR软件组件使用的代码实现MATLAB脚本
polyspace_report 生成的报告Polyspace分析结果
polyspacePackNGo 生成和包选项文件来运行Polyspace分析代码生成金宝app模型
polyspacesetup 集成Polyspace安装与金宝app
polyspace.Project 运行Polyspace分析C和c++代码和阅读的结果
polyspace.GenericTargetOptions 创建一个通用目标配置
polyspace.CodingRulesOptions 创建自定义编码规则检查列表
polyspace.CodeProverResults 读Polyspace代码验证结果MATLAB
polyspace.Project。配置属性 定制Polyspace手写的代码与选择对象属性的分析

主题