主要内容

持续集成

运行 Bug Finder Server,以在 CI 服务器上进行自动代码检查

您可以将用 Polyspace® Bug Finder™ Server™ 检查代码作为代码提交后的检查过程的一部分。设置脚本,以按固定间隔定期运行或基于新的提交运行 Bug Finder 分析。这些脚本可以将分析结果上传到 Polyspace Access™ Web 服务器以供审查,还可通过电子邮件向源文件的所有者发送 Polyspace 检查结果。

系统命令

polyspace-bug-finder-server(系统命令)在服务器端从 WindowsLinux 或其他命令行运行 Bug Finder 分析
polyspace-cluster-profile-manager(System Command) Import MATLAB cluster profile to Polyspace Server commands
polyspace-comments-import(System Command) Import review information from previous Polyspace analysis
polyspace-configure(系统命令)从 DOS 或 UNIX 命令行中的编译系统创建 Polyspace 工程
polyspace-report-generator(系统命令)从本地或 Polyspace Access 上存储的 Polyspace 分析结果生成报告。
polyspace-results-export(系统命令)将 Polyspace 结果导出为 CSV 或 JSON 等外部格式

MATLAB API

全部展开

polyspaceroot获取 Polyspace 安装文件夹
polyspaceBugFinderServer使用 MATLAB 脚本运行 Polyspace Bug Finder Server 分析
polyspaceConfigureCreate Polyspace Platform project, workspace, or options file from build command or compilation database
polyspace_reportGenerate reports from Polyspace analysis results
polyspacePackNGoGenerate and package options files to run Polyspace analysis on code generated from Simulink model
polyspacesetupPolyspace 安装与 Simulink 集成
polyspace.Project 对 C 和 C++ 代码运行 Polyspace 分析并查看结果
polyspace.GenericTargetOptionsCreate a generic target configuration
polyspace.DefectsOptionsCreate custom list of defects to check
polyspace.CodingRulesOptionsCreate custom list of coding rules to check
polyspace.BugFinderResultsMATLAB 读取 Polyspace Bug Finder 结果
polyspace.Project.Configuration PropertiesCustomize Polyspace analysis of handwritten code with options object properties

主题