主要内容

polyspacePackNGo

生成和包选项文件来运行Polyspace分析代码生成金宝app模型

所有的页面崩溃

语法

archivePath = polyspacePackNGo (mdlName)
archivePath = polyspacePackNGo (mdlName psOpt)
archivePath = polyspacePackNGo (mdlName psOpt asModelRef)

描述

例子

archivePath= polyspacePackNGo (mdlName)探讨了仿真软件金宝app®模型mdlName,提取Polyspace®选择文件,和包的选项文件的zip文件位于archivePath。使用前polyspacePackNGo从你的仿真软件模型,生成代码。金宝app然后存档生成的代码,例如,通过使用packNGo。从仿真软件模型生成Polyspace选项文件,包括他们在代码归档中使用金宝apppolyspacePackNGo。在不同的开发环境,运行时的Polyspace分析生成的代码,使用选项文件包含在代码归档保存模型相关的信息,比如设计规范范围。你必须有嵌入式编码器®使用slbuild。

例子

archivePath= polyspacePackNGo (mdlName,psOpt)生成和包Polyspace选项生成文件根据规范psOpt。的对象psOpt必须Polyspace选项生成对象,通过使用吗pslinkoptions。使用psOpt,修改选项Polyspace分析。

例子

archivePath= polyspacePackNGo (mdlName,psOpt,asModelRef)通过使用生成和包Polyspace选项文件asModelRef指定是否为模型参考代码生成选项文件或独立的代码。

例子

全部折叠

生成和包Polyspace选项文件仿真软件模型,使用金宝apppolyspacePacknGo。

打开模型模型金宝apprtwdemo_counter并指定一个文件夹来存储生成的代码。

%让代码genration临时文件夹[TEMPDIR, CGDIR] = rtwdemodir ();%打开模型mdlName =“rtwdemo_counter”;open_system (mdlName);%为生成的代码指定一个文件夹codegenFolder =“rtwdemo_counter_ert_rtw”;

使包装在归档中生成的代码,设置选项PackageGeneratedCodeAndArtifacts来真正的。指定生成的代码归档文件的名称genCodeArchive.zip。

configSet = getActiveConfigSet (mdlName);set_param (configSet“PackageGeneratedCodeAndArtifacts”,真正的);set_param (configSet“PackageName”,“genCodeArchive.zip”);

使模型与Polyspace兼容,集SystemTargetFile来ert.tlc。

set_param (configSet“SystemTargetFile”,“ert.tlc”);

配置模型后,生成代码。

slbuild (mdlName)

因为PackageGeneratedCodeAndArtifacts被设置为真正的,生成的代码是挤进存档genCodeArchive.zip。

生成和包Polyspace选项文件。

zipFile = polyspacePackNGo (mdlName);
在代码归档中genCodeArchive.zipPolyspace选项文件打包的polyspace文件夹中。

指定Polyspace分析选择包装和生成选项文件时,使用pslinktoptions。

打开模型模型金宝apprtwdemo_counter和配置模型生成的代码归档与Polyspace兼容。

%让代码genration临时文件夹[TEMPDIR, CGDIR] = rtwdemodir ();%打开模型mdlName =“rtwdemo_counter”;open_system (mdlName);%为生成的代码指定一个文件夹codegenFolder =“rtwdemo_counter_ert_rtw”;configSet = getActiveConfigSet (mdlName);%使包装生成的代码到一个归档文件set_param (configSet“PackageGeneratedCodeAndArtifacts”,真正的);%指定代码归档文件的名称set_param (configSet“PackageName”,“genCodeArchive.zip”);% Polyspace兼容的配置模型set_param (configSet“SystemTargetFile”,“ert.tlc”);

配置模型后,生成代码。

slbuild (mdlName)

因为PackageGeneratedCodeAndArtifacts被设置为真正的,生成的代码是挤进存档genCodeArchive.zip。

指定的模型配置Polyspace分析,使用pslinkoptions对象。创建这个对象通过使用函数pslinkoptions。

psOpt = pslinkoptions (mdlName);
的对象psopt是一个字段的结构模型配置,您可以指定。

通过使用指定的模型配置psOpt对象。例如,设置InputRangeMode全系列。一个完整的选项列表,输入参数psOpt。

psOpt。InputRangeMode =“FullRange”;

生成和包Polyspace选项文件。使用psOpt对象作为第二个参数polyspacePacknGo。

zipFile = polyspacePackNGo (mdlName psOpt);
在代码归档中genCodeArchive.zipPolyspace选项文件打包的polyspace文件夹中。该文件optionsFile.txt包含指定的Polyspace分析选项。

加速模型模拟,调用引用模型模型作为仿真目标。金宝app从模型生成模型参考仿真目标模型,从模型中生成代码通过使用金宝appslbuild与指定的构建过程ModelReferenceCoderTarget。然后,包生成的代码通过使用packNGo。生成和包Polyspace选项文件分析这样的代码,使用函数polyspacePacknGo的可选参数asModelRef设置为真正的。

打开模型模型金宝apprtwdemo_counter和配置模型生成的代码归档与Polyspace兼容。

%让代码genration临时文件夹[TEMPDIR, CGDIR] = rtwdemodir ();%负荷模型mdlName =“rtwdemo_counter”;load_system (mdlName);configSet = getActiveConfigSet (mdlName);%使包装生成的代码到一个归档文件set_param (configSet“PackageGeneratedCodeAndArtifacts”,真正的);set_param (configSet“PackageName”,”);% Polyspace兼容的配置模型set_param (configSet“SystemTargetFile”,“ert.tlc”);

配置模型后,生成一个模型参考模拟目标通过使用函数slbuild。指定的选项ModelReferenceCoderTarget。看到slbuild。

slbuild (mdlName“ModelReferenceCoderTarget”);
生成的代码存储在文件夹中slprj。

包生成的代码作为参考模型,使用函数packNGo。找到该文件buildinfo.mat在<工作目录>/ slprj ert / rtwdemo_counter并使用它作为输入的完整路径packNGo。这个命令生成一个存档包含生成的代码和对象buildinfo.mat。看到packNGo(嵌入式编码)。

%定位buildinfo并生成代码归档buildinfo = fullfile (pwd,“slprj”,“导”mdlName,“buildinfo.mat”);packNGo (buildinfo)

生成和包Polyspace选项文件。省略可选的第二个参数。第三个参数设置asModelRef来真正的。

zipFile = polyspacePackNGo (mdlName,[],真);
在代码归档中rtwdemo_counter.zipPolyspace选项文件打包的polyspace文件夹中。

输入参数

全部折叠

一个字符数组,其中包含的名字你想生成的模型和包Polyspace选项文件。

例子:polyspacePackNGo (“rtwdemo_roll”)

数据类型:字符

指定的模型配置Polyspace分析使用pslinkoptions对象。您可以修改通过修改某些分析选项psOpt,这是一个结构,单个字段代表分析选项。填充选项列表,您可以修改,见表Polyspace分析支持的选项金宝apppolyspacePacknGo。

Polyspace分析选项支持的金宝apppolyspacePacknGo

财产 价值 描述
EnableAdditionalFileList:允许一个额外的文件列表分析,指定为真正的或假。使用AdditionalFileList选择。 真正的 Polyspace验证附加文件中指定AdditionalFileList选择。
假(默认) Polyspace不确认附加文件。
AdditionalFileList:指定要分析的附加文件列表作为一个单元阵列的文件。将这些文件添加到分析,使用EnableAdditionalFileList选择。 单元阵列 为验证Polyspace认为上市文件。
InputRangeMode:指定了输入变量的范围。 “DesignMinMax”(默认) Polyspace使用工作区或一块中定义的输入范围。
“Fullrange” Polyspace使用全部输入。
ParamRangeMode:指定常量参数的范围。 “DesignMinmax” Polyspace使用常数参数范围中定义的工作区或在一块。
“没有”(默认) Polyspace使用代码中指定参数的值。
OutputRangeMode:指定输出的断言。 “DesignMinMax” Polyspace断言适用于输出通过使用范围定义在一个块或工作区。
“没有”(默认) Polyspace不适用断言到输出变量。
ModelRefVerifDepth:指定的深度分析模型,引用的当前模式。 目前的模式只(默认) Polyspace只分析模型没有被引用的模型分析。使用这个选项,当你参考模型,不需要分析,如库模型。
' 1 ' | ' 2 ' | ' 3 ' Polyspace分析引用模型引用中指定的深度层次结构。分析模型,引用的模型顶部,指定属性ModelRefVerifDepth作为' 1 '。分析模型,由第一级的引用,引用指定这个属性' 2 '。
“所有” Polyspace验证所有引用的模型。
ModelRefByModelRefVerif:指定是否要分析所有引用的模型一起或单独。 真正的 Polyspace一起分析模型和被引用的模型。使用这个选项来检查集成或扩展问题。
假(默认) Polyspace分析模型和顶部分别被引用的模型。
AutoStubLUT:指定如何使用查找表。 真正的(默认) Polyspace存根查找表和验证模型没有分析查找表的代码。
假 Polyspace包括查找表代码分析。
CheckConfigBeforeAnalysis:指定的配置检查Polyspace分析开始之前完成。 “关闭” Polyspace只检查错误。如果发现错误,分析停止。
“OnWarn”(默认) Polyspace停止分析时发现错误和警告被发现时显示一条消息。
“OnHalt” Polyspace停止分析,当发现错误或警告。

例子:polyspacePackNGo (rtwdemo_roll, psOpt),在那里ps_opt通过调用创建的是一个选择对象吗pslinkoptions

模型参考指标分析,指定为真正的或假。

  • 如果asModelRef是假(默认),函数生成选项文件以便Polyspace分析生成的代码作为独立的代码。

  • 如果asModelRef是真正的,函数生成选项文件以便Polyspace分析生成的代码作为模型的参考代码。

    请注意

    如果你设置asModelRef来真正的,使用slbuild生成的代码。

例子:psOpt polyspacePackNGo (“rtwdemo_roll”,真的)

数据类型:逻辑

输出参数

全部折叠

一个字符数组,其中包含的路径生成的档案。选择文件位于polyspace文件夹中存档。的polyspace文件夹包含这些选项文件:

  • optionsFile.txt:一个文本文件包含Polyspace选项需要运行一个Polyspace分析生成的代码在不损失模型相关的信息,比如设计规范范围。

  • 模型_drs.xml:一个文件包含设计模型的规范范围。

  • linkdata.xml:一个链接文件生成的代码的组件模型。

运行Polyspace分析生成的代码在一个不同的环境环境模型的代码生成模型,使用这些文件。金宝app

数据类型:字符

版本历史

介绍了R2020b

另请参阅

|

主题