本页采用了机器翻译。点击此处可查看最新英文版本。

sldvmakeharness

生成框架模型

全页折叠

语法

[savedHarnessFilePath] = sldvmakeharness(model)
[savedHarnessFilePath] = sldvmakeharness(model, dataFile)
[savedHarnessFilePath] = sldvmakeharness(model, dataFile, harnessOpts)

说明

[savedHarnessFilePath] = sldvmakeharness(model) 从 model 生成测试框架，它是 Simulink® 模型的句柄或模型名称。sldvmakeharness 返回 savedHarnessFilePath 中生成的框架模型的路径和文件名。sldvmakeharness 创建一个空的框架模型。该测试框架包括一个默认测试用例，它指定了所有输入信号的默认值。

[savedHarnessFilePath] = sldvmakeharness(model, dataFile) 从数据文件 dataFile 生成测试框架。

[savedHarnessFilePath] = sldvmakeharness(model, dataFile, harnessOpts) 使用 model 和 dataFile 从 harnessOpts 生成测试框架，它指定了框架创建选项。如果 dataFile 不可用，则需要 '' 来实现 dataFile。

如果软件生成了框架，并不意味着您的模型与 Simulink Design Verifier™ 软件兼容。

示例

示例

全部折叠

使用默认选项为 sldvdemo_cruise_control 模型创建测试框架。

使用默认选项打开 sldvdemo_cruise_control 模型并创建框架模型：

openExample('sldv/CruiseControlTestGenerationExample',...
'supportingFile', 'sldvdemo_cruise_control');
harnessopts=sldvharnessopts();
[harnessfile] = sldvmakeharness('sldvdemo_cruise_control', '', harnessopts);

输入参数

全部折叠

Simulink 模型的句柄或模型名称。

sldvData 文件、结构体或电子表格的名称。

一个结构体，其字段为 sldvmakeharness 指定这些配置，如下表所列。

字段描述
harnessFilePath

指定创建框架模型的文件路径。如果指定了无效路径，sldvmakeharness 不会保存框架模型，但会创建并打开框架模型。如果不指定此选项，sldvmakeharness 将生成一个新的框架模型并将其保存在 MATLAB® 当前文件夹中。

默认值：''

modelRefHarness

生成包含 Model 模块中的模型的测试框架模型。当为 false 时，测试框架模型包含模型的副本。

默认值：true

usedSignalsOnly

当 harnessSource 参数设置为 Signal Editor 时，框架模型中的 Signal Editor 模块除了模型中的输入信号外，还包含未使用的总线信号。

当 true 时，框架模型中的 Signal Builder 模块仅具有针对模型中的输入信号的信号。模型必须与 Simulink Design Verifier 软件兼容才能检测这些输入信号。

默认值：false

harnessSource

当设置为 Signal Editor 时，Simulink Design Verifier 会生成以 Signal Editor 模块作为输入模块的框架模型。

默认值：Signal Editor

名称-值参数

全部折叠

以 Name1=Value1,...,NameN=ValueN 的形式指定可选参量对组，其中 Name 是参量名称，Value 是对应的值。名称-值参量必须出现在其他参量之后，但对各个参量对组的顺序没有要求。

在 R2021a 之前，使用逗号分隔每个名称和值，并用引号将 Name 引起来。

示例: 'Description','My new description.'

指定创建框架模型的文件路径。如果指定了无效路径，sldvmakeharness 不会保存框架模型，但会创建并打开框架模型。如果未指定此选项，sldvmakeharness 将生成一个新的框架模型并将其保存在 MATLAB 当前文件夹中。

默认值：''

生成在 Model 模块中包含 model 的测试框架模型。当为 false 时，测试框架模型包含 model 的副本。

默认值：true

当 true 时，框架模型中的 Signal Editor 模块仅具有模型中使用的输入信号。model 必须与软件兼容才能检测所使用的输入信号。

当 harnessSource 参数设置为 Signal Builder 时，框架模型中的 Signal Builder 模块除了模型中的输入信号外，还包含未使用的总线信号。

默认值：false

当设置为 Signal Editor 时，Simulink Design Verifier 会生成以 Signal Editor 模块作为输入模块的框架模型。

当设置为 Signal Builder 时，Simulink Design Verifier 会生成以 Signal Builder 模块作为输入模块的框架模型。

默认值：Signal Editor

输出参量

全部折叠

生成的框架模型的路径和文件名。

提示

要创建默认的 harnessOpts 对象，请使用 sldvharnessopts。

备选方法

sldvmakeharness 创建一个测试框架模型而不分析该模型。分析模型并创建测试框架：

  1. 打开模型。

  2. 在 Design Verifier 选项卡的准备部分中，从模式设置的下拉菜单中点击设置。

  3. 在“配置参数”对话框的Design Verifier > 结果窗格中，在框架模型选项中，设置所需的选项。

  4. 点击确定。

  5. 要执行测试生成分析，请在 Design Verifier 选项卡的模式部分中选择测试生成。

  6. 点击生成测试。

版本历史记录

在 R2009b 中推出

全部展开

另请参阅

| | | (Simulink Coverage) | (Simulink Coverage) | (Simulink Coverage)

主题