MATLAB的答案

如何打开polyspace R2016b项目polyspace R2012 b版本?

4视图(30天)
Indraja娜迦赛Boorlagadda
Indraja娜迦赛Boorlagadda 2018年12月4日
回答: Alexandre De Barros 2018年12月5日
你好
请让我知道如何打开polyspace 2016 b projetc polyspace 2012 b版本。
你也可以建议如何生成综合报告2016年b类似2012年我们生成b。
合成文件shpuld包含 全局数据字典 表(包含全局变量的列表,W。T, R。T,用法,详细类型等)
2的评论
显示 1年长的评论
Indraja娜迦赛Boorlagadda
Indraja娜迦赛Boorlagadda 2018年12月4日
不,是两个问题
1。如何打开Polypace polyspace 2012 b的2016 b项目。
2。如何创建详细的合成报道Polspace 2016 b有相同的格式 ( 全局变量的列表,W。T, R。T,用法,详细的类型等 ) polyspace生成综合报告的2012 b

登录置评。

在回答这个问题。

答案(1)

Alexandre De Barros
Alexandre De Barros 2018年12月5日
你好,
  1. 您可以打开R2012b项目文件与Polyspace R2016b,但是在打开文件对话框中你必须切换到. cfg扩展(见“文件类型”)看到你12 b项目。
  2. 详细的合成取代了出口tsv格式的功能。看到//www.tianjin-qmedu.com/help/releases/R2016b/codeprover/ug/export-results-to-text-file.html。请注意,在16 b信息全局变量不出口。你必须使用R2018a版本。R2016b一样,您可以生成一个报告(使用的模板变量)的全局变量的信息。
最好的问候,
亚历山大

翻译的