• 文档
main content

持续集成期间在服务器端设置 code prover 分析 -凯发k8网页登录

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

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

dos/unix 命令

(dos/unix) manage polyspace access results and users at the command line
(dos/unix) run polyspace code prover on code implementation of autosar software components
(dos/unix) import matlab cluster profile to polyspace server commands
(dos/unix) 在服务器端从 windows、linux 或其他命令行运行 code prover 验证
(dos/unix) import review information from previous polyspace analysis
(dos/unix) create polyspace project from your build system at the dos or unix command line
(dos/unix) generate reports for polyspace analysis results stored locally or on polyspace access
(dos/unix) export polyspace results to external formats such as csv or json

matlab api

get polyspace installation folder
run polyspace code prover verification from matlab
create polyspace project from your build system at the matlab command line
run polyspace code prover on code implementation of autosar software components using matlab scripts
generate reports from polyspace analysis results
generate and package options files to run polyspace analysis on code generated from simulink model
integrate polyspace installation with simulink
run polyspace analysis on c and c code and read results
create a generic target configuration
create custom list of coding rules to check
read polyspace code prover results from matlab
customize polyspace analysis of handwritten code with options object properties

主题


  • 在提交后检查代码中是否存在运行时错误，并上传结果以便在 web 界面中审查。


  • 向开发人员发送电子邮件并在附件中包含指向 polyspace 结果的链接。


  • reuse build commands (makefiles) to configure the polyspace analysis.


  • 利用支持 jenkins 插件的示例脚本编写 polyspace 运行脚本可以事半功倍。


  • send analysis to dedicated server, download results after analysis and then upload to polyspace access for review.


  • run a post-installation step to link your polyspace and matlab® (simulink®) installations.

网站地图