Main Content

本页翻译不是最新的。点击此处可查看最新英文版本。

持续集成期间在服务器端设置 Code Prover 分析

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

您可以将用 Code Prover 检查代码作为代码提交后的测试过程的一部分。设置脚本,以按固定间隔或基于新代码提交运行 Code Prover 分析。这些脚本可以上传分析结果,以便在 Polyspace Access Web 界面中进行审查,并且可以通过电子邮件向源文件的所有者发送 Polyspace 的检查结果。

DOS/UNIX 命令

polyspace-access (Polyspace Access)(DOS/UNIX) Manage Polyspace Access results and users at the command line
polyspace-autosar(DOS/UNIX) Run Polyspace Code Prover on code implementation of AUTOSAR software components
polyspace-cluster-profile-manager(DOS/UNIX) Import MATLAB cluster profile to Polyspace Server commands
polyspace-code-prover-server(DOS/UNIX) 在服务器端从 WindowsLinux 或其他命令行运行 Code Prover 验证
polyspace-comments-import(DOS/UNIX) Import review information from previous Polyspace analysis
polyspace-configure(DOS/UNIX) Create Polyspace project from your build system at the DOS or UNIX command line
polyspace-report-generator(DOS/UNIX) Generate reports for Polyspace analysis results stored locally or on Polyspace Access
polyspace-results-export(DOS/UNIX) Export Polyspace results to external formats such as CSV or JSON

MATLAB API

全部展开

polyspacerootGet Polyspace installation folder
polyspaceCodeProverServerRun Polyspace Code Prover verification from MATLAB
polyspaceConfigureCreate Polyspace project from your build system at the MATLAB command line
polyspaceAutosarRun Polyspace Code Prover on code implementation of AUTOSAR software components using MATLAB scripts
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 Run Polyspace analysis on C and C++ code and read results
polyspace.GenericTargetOptionsCreate a generic target configuration
polyspace.CodingRulesOptionsCreate custom list of coding rules to check
polyspace.CodeProverResultsRead Polyspace Code Prover results from MATLAB
polyspace.Project.Configuration PropertiesCustomize Polyspace analysis of handwritten code with options object properties

主题