Import/Export Checks/Comments Using PolySpace R2009b

2 次查看（过去 30 天）
Andreas Schweiger
Andreas Schweiger 2015-1-19
评论： Alexandre De Barros 2015-1-27
Dear all,
I am using PolySpace R2009b. In our project we are running PolySpace analyses and then commenting the results. After running the analysis for a later version of the developed software and before adding new comments, we would like to import the checks and comments from the previous run. I know that this can be done using the menu item File -> Export/Import Checks and Comments...
Does anybody know whether this import/export feature is available using the command line, as well? How does the command look like?
Cheers Andreas

请先登录，再回答此问题。

回答（1 个）

Alexandre De Barros
Hi Andreas!
You can try this command:
C:\PolySpace\PolySpaceForAda_<release>\Verifier\wbin\gui-api.exe -diff-rte <orig_rte> <dest_rte>
where orig_rte is the .rte file of results already commented, and dest_rte is the .rte file of results where comments have to be imported.
Under Linux, the folder is bin not wbin, and the command is gui-api.
Alex
  2 个评论
Andreas Schweiger
Andreas Schweiger 2015-1-19
Hi Alex,
Thank you very much for this fast answer. :-)
I did a search for the binary you have mentioned. Unfortunately, I could not find it in our installation. :-(
Could it be the case that the gui-api binary is available in a later version than the one we have? On our machine we installe version R2009b.
Take care Andreas
Alexandre De Barros
Alexandre De Barros 2015-1-27
Hi Andreas!
At that time, the import was very simple and was just the copy of the .rvw files (the internal files related to the review of checks) from one results folder to another one. So basically you can implement a command-line version of the import feature by creating a script that copy the .rvw files (located in the < results_folder >\ALL\PASS4 folder) from the commented results to the uncommented one.
Best regards,
Alexandre

请先登录，再进行评论。

类别

在 Help Center 和 File Exchange 中查找有关 Get Started with Polyspace Access 的更多信息

标签

产品

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by