How to open polyspace R2016b project in polyspace R2012 b version?

1 次查看（过去 30 天）
Indraja Naga Sai Boorlagadda
回答： Alexandre De Barros 2018-12-5
Hello
please let me know how to open polyspace 2016b projetc in polyspace 2012 b version.
Also could you suggest how to generate synthesis Report in 2016b similar to one we generate in 2012b.
The synthesis file shpuld contain Global Data Dictionary sheet(which contains the list of global variables, W.T, R.T, usage, Detailed type etc)
  2 个评论
Indraja Naga Sai Boorlagadda
Indraja Naga Sai Boorlagadda 2018-12-4
No , the two questions are
1. How to open Polypace 2016b project in polyspace 2012b .
2. How to create detailed synthesis report in Polspace 2016b which having the same format (list of global variables, W.T, R.T, usage, Detailed type etc) of synthesis report that was generated in the polyspace 2012b

请先登录，再进行评论。

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

回答（1 个）

Alexandre De Barros
Hello,
  1. You can open R2012b project file with Polyspace R2016b, but in the Open File dialog you have to switch to the .cfg extension (see "Files of type") to see your 12b project.
  2. the detailed synthesis has been replaced by the Export feature in tsv format. Seehttps://www.mathworks.com/help/releases/R2016b/codeprover/ug/export-results-to-text-file.html. Please note that in 16b the information on global Variables is not exported. You have to use the version R2018a for that. With R2016b, you can generate a report (use the template for Variables) to get the information on global variables.
Best regards,
Alexandre

类别

在 Help Center 和 File Exchange 中查找有关 Generate Reports in Polyspace Platform User Interface 的更多信息

标签

产品


版本

R2016b

Community Treasure Hunt

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

Start Hunting!

Translated by