主要内容

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

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

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

系统命令

polyspace-access (Polyspace Access)
polyspace-autosar(System Command) Run Polyspace Code Prover on code implementation of AUTOSAR software components
polyspace-cluster-profile-manager(System Command) Import MATLAB cluster profile to Polyspace Server commands
polyspace-code-prover-server(DOS/UNIX) 在服务器端从 WindowsLinux 或其他命令行运行 Code Prover 验证
polyspace-comments-import(System Command) Import review information from previous Polyspace analysis
polyspace-configure(System Command) Create Polyspace project from your build system at the DOS or UNIX command line
polyspace-report-generator(System Command) Generate reports from Polyspace analysis results stored locally or on Polyspace Access
polyspace-results-export(System Command) 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.CodeProverResultsMATLAB 读取 Polyspace Code Prover 结果
polyspace.Project.Configuration PropertiesCustomize Polyspace analysis of handwritten code with options object properties

主题