万博1manbetxSimulink设计验证器数据文件- MATLAB和Simulink - 万博1manbetx,s manbetx 845,万博尤文图斯

万博1manbetx设计验证器数据文件

数据文件生成

万博1manbetx^®设计验证器™在完成分析后生成数据文件。数据文件是一个mat文件，它包含一个名为sldvData．该结构存储了软件在分析过程中收集和生成的所有数据。尽管该软件在利用模型和报告中图形化地显示相同的数据，但您可以使用数据文件来进行自己的分析或生成自定义报告。

的内容`sldvData`结构

当万博1manbetx仿真软件设计验证器完成分析后，它生成一个mat -文件，其中包含一个名为sldvData．探索的内容sldvData结构:

生成测试用例sldvdemo_flipflop模型:

sldvdemo_flipflop;sldvrun(“sldvdemo_flipflop”);

在MATLAB中加载数据文件^®提示，输入以下命令:
```
负载(“sldv_output \ sldvdemo_flipflop \ sldvdemo_flipflop_sldvdata.mat”)
```
MATLAB软件加载sldvData构造到它的工作空间。该结构包含万博1manbetx仿真软件设计验证器的分析结果sldvdemo_flipflop模型。

输入sldvData在MATLAB命令行中显示构成结构的字段名:

sldvData = ModelInformation: [1x1 struct] AnalysisInformation: [1x1 struct] ModelObjects: [1x2 struct] Constraints: [] Objectives: [1x12 struct] TestCases: [1x4 struct] Version: '2.1'

中的模型信息域`sldvData`

中字段的描述如下sldvData结构:

ModelInformation领域
AnalysisInformation领域
ModelObjects领域
约束条件字段
目标字段
TestCases字段/ CounterExamples字段
版本字段
DeadLogic领域

ModelInformation领域

在sldvData结构,ModelInformation字段包含有关所分析模型的信息。的每个子字段描述了下表ModelInformation字段。

子域的名字	描述
`的名字`	模型名称。
`版本`	模型数量。
`作者`	用户名。
`时间戳`	模型更新的最后日期和时间。
`SubsystemPath`	被分析的子系统(如果有的话)的完整路径名。
`ExtractedModel`	中指定的分析子系统(如果有)所提取的模型的名称`SubsystemPath`．
`ReplacementModel`	包含块替换的模型的名称(如果有的话)。
`HarnessOwnerModel`	属性的所有者模型的名称万博1manbetx仿真软件测试™正在分析测试工具(如果有的话)。

AnalysisInformation领域

在sldvData结构,AnalysisInformation字段列出特定分析选项和相关信息的设置。的每个子字段描述了下表AnalysisInformation字段。

子域的名字	描述
`状态`	的完成状态万博1manbetx仿真软件设计验证器分析。
`AnalysisTime`	指定以秒为单位的分析长度的Double值。
`选项`	深拷贝万博1manbetx仿真软件设计验证器在分析期间使用的选项对象。
`InputPortInfo`	指定关于每个单元的信息的结构单元格数组轮廓尺寸块在顶级系统中。
`OutputPortInfo`	指定关于每个单元的信息的结构单元格数组外港块在顶级系统中。
`SampleTimes`	仅供内部使用。
`参数`	仅供内部使用。
`AbstractedBlocks`	仅供内部使用。
`近似`	描述分析过程中执行的近似的结构。有关近似的更多信息，请参见近似．
`ReplacementInfo`	仅供内部使用。
`PreProcessingTime`	Double，指定构建或重用模型表示的时间(以秒为单位)。
`ModelRepresentationInfo`	用于分析的模型表示的日期和时间。

ModelObjects领域

在sldvData结构,ModelObjects字段列出模型项及其相关目标。的每个子字段描述了下表ModelObjects字段。

子域的名字	描述
`备注说明`	模型对象的完整路径，包括statflow中的对象^®图表。
`typeDesc`	模型对象的块类型。
`slPath`	Simulink模型对象的完整路径。万博1manbetx
`sfObjType`	statflow对象的类型。例子:`年代`为国家和`T`过渡。
`sfObjNum`	表示statflow对象的唯一标识符的整数。
`sid`	仅供内部使用。
`designSid`	仅供内部使用。
`replacementSid`	仅供内部使用。
`目标`	整数向量，表示与模型对象相关联的目标的索引。

约束条件字段

在sldvData结构,约束字段列出了关于模型输入端口上指定的最小值和最大值(如果有的话)的信息。的子字段说明如下表所示约束字段。

子域的名字	描述
`DesignMinMax`	结构的单元格数组，其中包括为其指定值的每个输入端口的名称和最小值和最大值。

目标字段

在sldvData结构,目标字段列出了每个目标的信息，如类型、状态和描述。的每个子字段描述了下表目标字段。

子域的名字	描述
`类型`	目标的类型。
`状态`	目标的状态。
`备注说明`	目标的描述。
`标签`	目标的标签。
`outcomeValue`	指定目标结果的整数。
`coveragePointIdx`	表示与目标相关联的覆盖点的索引的整数。
`linkInfo`	仅供内部使用。
`范围`	仅供内部使用。
`检测能力`	目标的可检测状态。该字段在分析时出现在数据文件中模式被设置为`测试生成`和模型覆盖目标被设置为`增强MCDC`．
`detectionSites`	Simulink 万博1manbetxIdentifier (SID)的一组可检测目标的检测位置。目标在任何一个探测地点都是可探测的。该字段在分析时出现在数据文件中模式被设置为`测试生成`和模型覆盖目标被设置为`增强MCDC`．
`modelObjectIdx`	表示与目标相关联的模型对象的索引的整数。
`analysistime`	表示对象的分析时间的整数。
`testCaseIdx`	表示针对目标的测试用例或反例的索引的整数。

TestCases字段/ CounterExamples字段

在sldvData结构中，该字段可以有两个名称，这取决于检查的类型:

如果你设置模式参数设计错误检测,反例字段列出了导致整数溢出或除零错误的每个测试用例的信息。
如果你设置模式参数测试生成,测试点字段列出了关于每个测试用例的信息，比如它的信号值和它实现的测试目标。
如果你设置模式参数财产证明,反例字段列出了关于每一个反例和它证伪的证明目标的信息。

的每个子字段描述了下表测试点/反例字段。

子域的名字	描述
`时间价值`	在测试用例或反例中指定与信号相关的时间值的向量。
`dataValues`	单元格数组，在测试用例或反例中指定与信号关联的数据值。
`paramValues`	结构，它指定与测试用例或反例相关联的参数值。它的字段包括: `的名字`—参数名称。 `价值`—指定参数值的编号。 `noEffect`—指定参数值是否影响目标的逻辑值。
`stepValues`	指定在测试用例或反例中包含信号的时间步长的数量的向量。
`目标`	结构，它指定测试用例或反例处理的目标。它的字段包括: `objectiveIdx`-表示测试用例实现的目标或反例伪造的目标的索引的整数。 `atTime`-测试用例实现目标或反例伪造目标的时间值。 `atStep`-测试用例实现目标或反例证伪目标的时间步骤。
`dataNoEffect`	逻辑向量的单元格数组，用于指定信号的数据值是否影响目标。向量使用`1`表示信号的数据值不影响目标;否则,它使用`0`．
`expectedOutput`	指定使用测试用例信号模拟模型的输出值的向量单元格数组。每个单元格表示与不同的外港块在顶级系统中。如果选择，该子字段将被填充包括预期的输出值．

版本字段

在sldvData结构,版本字段指定的版本万博1manbetx仿真软件设计验证器分析了模型。

DeadLogic领域

如果您分析您的模型的死逻辑，在sldvData结构,DeadLogic字段列出了关于每个失效逻辑目标的信息。

属性的每个子字段DeadLogic字段。

子域的名字	描述
`标签`	对死逻辑目标的描述。
`备注说明`	模型对象的完整路径，包括状态流图中的对象。
`modelObjIdx`	表示与目标相关联的模型对象的索引的整数。
`coverageType`	覆盖目标的类型。
`coverageIdx`	表示与目标相关联的覆盖点的索引的整数。
`ObjectiveIdx`	表示与模型对象相关联的目标的索引的整数。

用数据文件模拟模型

的sldvruntest函数通过使用驻留在万博1manbetx仿真软件设计验证器数据文件:

模拟sldvdemo_flipflop建模和生成测试用例:
```
sldvdemo_flipflop
```

保存模型分析后生成的数据文件的位置:

sldvDataFile = ' sldv_output \ sldvdemo_flipflop \ sldvdemo_flipflop_sldvdata.mat”

使用sldvruntest函数来模拟sldvdemo_flipflop在数据文件中使用测试用例2建模:
```
[outdata] = sldvruntest('sldvdemo_flipflop'， sldvDataFile, 2) / /输出数据
```
的输出sldvruntest是万博1manbetx仿真软件。年代imulationOutput对象。

的方法检查第一个测试用例的输出数据万博1manbetx仿真软件。年代imulationOutput对象:

tout_sldvruntest = outdata(1);(“tout_sldvruntest”);xout_sldvruntest = outdata(1);(“xout_sldvruntest”);yout_sldvruntest = outdata(1);(“yout_sldvruntest”);logsout_sldvruntest = outdata(1);(“logsout_sldvruntest”);