文档

万博1manbetx模拟验证和验证功能

字母列表 按类别

模型指南合规性

检查模型合规性

Advisor.Application 跨模型层次结构运行模型顾问
顾问 管理应用程序
Slmetric.Engine 收集模型的度量数据
slmetric.metric.result 指定模型组件和度量算法的指标
slmetric.metric.ResultCollection 指定型号的度量数据
slmetric.metric.getavailablemetrics 获得可用的指标

自定义和自动化

创建模型顾问检查

Advisor.authoring.customcheck 定义自定义检查
Advisor.authoring.Datafile 与数据文件进行交互以进行模型配置检查
ModelAdvisor.Action 将操作添加到自定义检查
ModelAdvisor.check 创建自定义检查
ModelAdvisor.PRETHENCES 设置模型顾问偏好
modelAdvisor.group 定义自定义文件夹
ModelAdvisor.InputParameter 将输入参数添加到自定义检查
ModelAdvisor.ListViewParameter 将列表视图参数添加到自定义检查
ModelAdvisor.Procedure 定义自定义过程
ModelAdvisor.Root 标识根节点
modelAdvisor.formattemplate 格式模型顾问分析结果的模板
ModelAdvisor.Image 在模型顾问输出中包括图像
ModelAdvisor.line Break 插入线路休息
modelAdvisor.list 创建列表类
sufterAdvisor.Paragraph 创建和格式段落
modelAdvisor.Table 创建表
modelAdvisor.text 创建模型顾问文本输出
Advisor.authoring.generateconfigurationParameterDatafile 生成自定义配置参数检查的XML数据文件

组织和部署模型顾问检查

modelAdvisor.factoryGroup 按任务文件夹定义子文件夹
modelAdvisor.group 定义自定义文件夹
ModelAdvisor.Procedure 定义自定义过程
modelAdvisor.task 定义自定义任务

自动模型顾问检查执行

Advisor.Application 跨模型层次结构运行模型顾问
顾问 管理应用程序
modelAdvisor.lookupcheckid 查找模型顾问检查ID
ModelAdvisor.run 运行模型顾问检查系统
ModelAdvisor.SummaryReport 开放模型顾问命令行摘要报告
看法 查看模型顾问运行结果
查看报告 查看模型顾问运行系统的结果

创建模型指标

Advisor.component.component 创建用于度量分析的组件
Advisor.component.types 创建枚举类指定组件类型
Slmetric.Engine 收集模型的度量数据
slmetric.metric.metric 用于创建模型指标的抽象类
slmetric.metric.result 指定模型组件和度量算法的指标
slmetric.metric.ResultCollection 指定型号的度量数据
slmetric.metric.RegistermeTric 注册新公制课
slmetric.metric.unregistermetric 取消指标类
slmetric.metric.refresh 更新可用的型号指标
slmetric.metric.CreateneWmetricClass 创建公制类

要求可追溯性

需求管理接口设置

RMI 与需求管理接口进行编程交互
rmipref 获取或设置存储在prefdir中的RMI首选项
rmidata.default 为新型号指定需求数据的默认存储位置
rmidata.export 将需求数据移动到外部.req文件
rmidata.save 将需求数据保存在外部.req文件中
rmimap.map 与模型相关的外部存储要求可追溯性数据

Microsoft Office的可追溯性

RMI 与需求管理接口进行编程交互

IBM理性门可追溯性

RMI 与需求管理接口进行编程交互
sllequirentess 与门替代模块同步模型
rptgenrmi.doorsattribs 需求报告中的IBM理性门属性

万博1manbetx模型对象之间的模拟可追溯性

RMI 与需求管理接口进行编程交互

MATLAB代码可追溯性

RMI 与需求管理接口进行编程交互

URL和自定义可追溯性

RMI 与需求管理接口进行编程交互

审查要求链接

RMI 与需求管理接口进行编程交互
rmi.objinfo 返回模型对象的导航信息
rmiobjnavigate 使用唯一的需求管理接口标识符导航到模型对象
rmitag 管理需求链接的用户标签

维护要求链接

RMI 与需求管理接口进行编程交互
rmidocrename 更新模型要求文档路径和文件名称
rmir​​ef.insertrefs 将指向模型的链接插入要求文档中
rmir​​ef.removerefs 从需求文件中删除指向型号的链接

模型覆盖分析

覆盖数据收集

Slcovmex 通过C/C ++代码构建覆盖范围兼容的MEX功能

自定义和自动化

CV.CVDATAGROUP CVDATA对象的收集
复杂性Info 从CVDATA对象检索环境复杂性覆盖信息
procentyInfo 从CVDATA对象检索条件覆盖信息
cvexit 退出模型覆盖环境
CVHTML 从模型覆盖对象产生HTML报告
CVLOAD 负载覆盖测试并将结果存储到内存中
CVModelView 显示模型着色的模型覆盖结果
cvresults 返回主动覆盖范围数据，清除并从文件中加载主动覆盖范围数据
CVSAVE 保存覆盖范围测试和结果
CVSIM 模拟和返回测试对象的模型覆盖结果
cvtest 创建模型覆盖测试规范对象
决策 从CVDATA对象检索决策覆盖信息
GetCoverageInfo 从CVDATA对象检索Simulink Design验证器块的覆盖范万博1manbetx围信息
McDcinfo 从CVDATA对象检索修改后的条件/决策范围信息
过度饱和 从CVDATA对象中检索整数溢出覆盖范围的饱和度
关系boundaryinfo 从CVDATA对象检索关系边界覆盖率
Sigrangeinfo 从CVDATA对象检索信号范围覆盖范围信息
SigsizeInfo 从CVDATA对象检索信号大小覆盖范围信息
tableinfo 从CVDATA对象检索查找表覆盖范围信息

测试案例生成缺失覆盖范围

slvnvextract 提取子系统或子查找内容中的新模型

基于模型的测试

slvnvlogsignals 模拟过程中的组件或模型的日志测试数据
slvnvmergedata 结合数据文件中的测试数据
slvnvmakeharness 生成模拟验证和验证万博1manbetx线束模型
slvnvharnessopts 生成slvnvmakeharness的默认选项
slvnvmergeharness 结合线束模型的测试数据
slvnvruntest 使用输入数据模拟模型
slvnvruncgvtest 调用代码生成验证（CGV）API和执行模型
slvnvruntestopts 生成SLVNVRUNTEST或SLVNVRUNCGVTEST的仿真或执行选项
slvnvextract 提取子系统或子查找内容中的新模型
slwebview_cov 将Simuli万博1manbetxnk模型导出到具有覆盖范围的Web视图
slwebview_req 将Simuli万博1manbetxnk系统导出到具有要求的Web视图
这个话题有帮助吗？
万博1manbetx模拟验证和验证文档
其他文档
万博1manbetx