主要内容

sldvruntest

使用输入数据模拟模型

折叠所有页面

语法

outData = sldvruntest(model, dataFile)
outData = sldvruntest(model, dataFile, runnopts)
[outData，covData]=sldvruntest（模型，数据文件，runOpts）

描述

输出数据=sldvruntest(模型，数据文件）模拟了模型通过使用数据文件．输出数据是万博1manbetx仿真软件。SimulationOutput对象。每个数组元素包含相应测试用例的仿真输出数据。

例子

输出数据=sldvruntest(模型，数据文件，runOpts）模拟了模型通过使用数据文件．runOpts定义用于模拟测试用例的选项。

［输出数据，covData) = sldvruntest (模型，数据文件，runOpts）模拟了模型的测试用例数据文件．当runOpts场coverageEnabled是符合事实的,万博1manbetx®新闻报道™软件在模拟过程中收集模型覆盖信息。sldvruntest中的覆盖率数据cvdata对象covData．

例子

全部折叠

分析sldvdemo\u巡航控制模型。通过使用来自三个测试用例的数据来模拟模型。使用模拟数据检查器检查信号测井数据。

打开sldvdemo\u巡航控制模型的例子。

开放式系统(“sldvdemo\u巡航控制”）;

设置sldvoptions并分析模型。

选择= sldvoptions;选择。模式=“测试生成”；选择。SaveHarnessModel =“上”；选择保存报告=“关”；[status, files] = sldvrun(“sldvdemo\u巡航控制”、选择);

通过使用来自三个测试用例的数据来模拟模型。使用模拟数据检查器检查信号测井数据。

runOpts=sldvruntestopts；[outData]=sldvruntest(“sldvdemo\u巡航控制”，．．．文件。丢失,runOpts);万博1manbetxSimulink.sdi.createRun ('测试用例1输出'，“namevalue”，．．．｛“输出”}, {outData (1) (“logsout_sldvruntest”)});万博1manbetxSimulink.sdi.createRun (“测试用例2输出”，“namevalue”，．．．｛“输出”}，{outData（2）。查找(“logsout_sldvruntest”)});万博1manbetxSimulink.sdi.createRun ('测试用例3输出'，“namevalue”，．．．｛“输出”}，{outData（3）。查找(“logsout_sldvruntest”)})；S万博1manbetximulink.sdi.view；

通过模拟测试用例生成覆盖率报告sldvdemo\u巡航控制模型。

打开sldvdemo\u巡航控制模型的例子。

开放式系统(“sldvdemo\u巡航控制”）;

设置sldvoptions并分析模型。

选择= sldvoptions;选择。模式=“测试生成”；选择。SaveHarnessModel =“上”；选择保存报告=“关”；[status, files] = sldvrun(“sldvdemo\u巡航控制”、选择);

启用收集模型覆盖数据的选项，并使用数据模拟模型。然后，通过使用cvhtml(万博1manbetx仿真软件覆盖)．

runOpts=sldvruntestopts；runOpts.coverageEnabled=true；[outData，covData]=sldvruntest(“sldvdemo\u巡航控制”，．．．DataFile，runOpts）；cvhtml(“coverageReport”, covData);

输入参数

全部折叠

要模拟的Simulink模型的名称或句柄。万博1manbetx

包含输入数据的数据文件或结构的名称。您可以生成数据文件通过使用万博1manbetx仿真软件设计校验™分析或运行sldvlogsignals函数。有关更多信息，请参见万博1manbetxSimulink设计验证程序数据文件．

一种结构，其字段指定sldvruntest．

场 描述

睾丸

要从中模拟的测试用例索引数组数据文件．如果睾丸是[]，sldvruntest模拟所有测试用例。

默认值:[]

信号记录保存格式

为连接到的信号指定信号记录数据的格式外港为日志配置的模型和中间信号。

如果您指定数据集，数据存储在万博1manbetxSimulink.SimulationData.Dataset对象。

默认值:“数据集”

coverageEnabled

如果符合事实的，指定万博1manbetx模拟链路覆盖软件在模拟过程中收集模型覆盖数据。

默认值:假

coverageSetting

cvt对象，用于收集模型覆盖范围。如果[]，sldvruntest使用的现有覆盖设置模型．

默认值:[]

fastRestart

如果符合事实的，万博1manbetx仿真软件设计验证器使用快速重启模式进行模型仿真。

默认值:符合事实的

useParallel

如果符合事实的，万博1manbetx仿真软件设计验证器用并行计算模拟测试用例。此选项需要并行计算工具箱™许可证。

默认值:假

请注意

runOpts = sldvruntestopts返回一个runOpts结构的每个字段的默认值。

输出参数

全部折叠

一个数组的万博1manbetx仿真软件。SimulationOutput软件在模拟测试用例后生成的对象。每个万博1manbetx仿真软件。SimulationOutput对象具有表中列出的字段。

字段名 描述

兜售

模拟时间

xout_sldvruntest

状态数据

yout_sldvruntest

输出信号数据

logsout_sldvruntest

信号测井数据:

  • 信号连接到输出端口

  • 配置为登录模型的信号

的cvdata对象，该对象包含软件在模拟期间收集的模型覆盖率数据。

请注意

covdata引用包含覆盖率结果的文件。引用文件中的覆盖率数据将自动加载到内存中covdata由覆盖函数使用。该文件存储在sldv_输出当前目录中的文件夹。

提示

  • 的数据文件你用万博1manbetx仿真软件设计验证器分析或运行sldvlogsignals包含时间值和数据值。当您使用这些测试用例模拟模型时，可以实现缺少的覆盖率。缺少的覆盖率发生在数据文件由于数值计算差异，与当前模拟时间步长不一致。使用多速率模型（具有多个采样时间的模型）可以更频繁地实现丢失覆盖率。

  • 为useParallel，在使用并行计算模拟测试用例时，必须考虑以下几点：

    • 启动并行池可能需要时间，这会影响总体分析时间。要缩短分析时间，请执行以下操作：

      • 在运行测试生成分析之前，请确保并行池已在运行。默认情况下，并行池在空闲指定的分钟数后关闭。若要更改设置，请参阅并行计算工具箱中的主题“指定并行首选项”。

      • 在所有并行万博1manbetx池工作程序上加载Simulink。

    • 模拟按顺序发生:

      • 群集不可用地方的．配置并行首选项以使用地方的仅群集。若要更改设置，请参阅并行计算工具箱中的“指定并行首选项”主题。

      • 模型正在运行中脏的状态在启动SLDV分析之前。

      • 模型去整理阻碍。

      • 该模型处于软件在环(SIL)仿真模式。

      • 模型是一个内部的脊甲。

另请参阅

(万博1manbetx仿真软件覆盖)|(万博1manbetx仿真软件覆盖)|||

主题

介绍了R2007b

万博1manbetxSimulink设计验证器文档

万博1manbetx

用Simulink自动验证和验证万博1manbetx

用Simulink自动验证和验证万博1manbetx

获取资源