主要内容

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

检查C/ c++代码是否存在Polyspace中的缺陷®用户界面或使用脚本

作为提交后测试的一部分，您可以使用代码验证器检查您的代码。设置脚本，以定期或基于新的提交运行代码验证程序分析。脚本可以在Polyspace Access 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 Access上
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对生成的代码进行分析万博1manbetx模型
polyspacesetup 集成Polyspace安装与万博1manbetx
polyspace。项目 运行Polyspace分析C和c++代码和读取结果
polyspace。GenericTargetOptions 创建通用目标配置
polyspace。CodingRulesOptions 创建要检查的编码规则的自定义列表
polyspace。CodeProverResults 读Polyspace代码验证结果MATLAB
polyspace.Project.Configuration属性 定制Polyspace分析带有选项对象属性的手写代码

主题