主要内容

このページは前リリースの情報です。該当の英語のページはこのリリースで削除されています。

カバレッジワークフローの自動化

スクリプトまたは関数を使用したカバレッジ収集の自動化

モデルカバレッジコマンドにより,モデルカバレッジプロセス全体をMATLAB®スクリプトで自動化できます。モデルカバレッジコマンドは,モデルカバレッジテストを設定し,シミュレーションで実行して,結果を保存およびレポートできます。

関数

すべて展開する

sim卡 万博1manbetxモデルのシミュレーション
parsim 動的システムを並列または逐次で複数回シミュレーションする
cvt 创建模型覆盖率测试规范对象
cvsim 模拟并返回测试对象的模型覆盖结果
cvexit 出口模型覆盖环境
slcovmex 从C/ c++代码构建覆盖兼容的mex函数
cvdata属性 访问万博1manbetx报道中的数据MATLAB工作空间
cvload 负载覆盖测试并将结果存储到内存中
cvsave 保存覆盖设置和结果到文件
cvresults 返回活动覆盖数据,从文件中清除和加载活动覆盖数据
cvmodelview 用模型着色显示模型覆盖结果
conditioninfo 检索条件覆盖信息cvdata对象
decisioninfo 检索决策覆盖信息cvdata对象
executioninfo 检索执行覆盖率信息cvdata对象
getCoverageInfo 检索覆盖率信息万博1manbetx设计验证器街区cvdata对象
mcdcinfo 检索已修改的条件/决策覆盖信息cvdata对象
complexityinfo 检索圈复杂度覆盖信息cvdata对象
overflowsaturationinfo 检索整数溢出覆盖上的饱和度cvdata对象
relationalboundaryinfo 检索关系边界覆盖cvdata对象
sigrangeinfo 检索信号范围覆盖信息cvdata对象
sigsizeinfo 检索信号大小覆盖信息cvdata对象
tableinfo 检索查找表覆盖信息cvdata对象
提取 从系统级覆盖数据中提取子系统覆盖数据
cvhtml 从模型覆盖对象生成HTML报告
slwebview_cov 出口万博1manbetx模型到具有覆盖率的Web视图
slvnvlogsignals 在模拟过程中记录组件或模型的测试数据
slvnvmergedata 从数据文件中合并测试数据
slvnvmakeharness 生成万博1manbetx报道利用模型
slvnvharnessopts 生成默认选项slvnvmakeharness
slvnvmergeharness 结合来自线束模型的测试数据
slvnvruntest 使用输入数据模拟模型
slvnvruncgvtest 调用代码生成验证(CGV) API并执行模型
slvnvruntestopts 为。生成模拟或执行选项slvnvruntestslvnvruncgvtest
slvnvextract 将原子子系统或子图表内容提取到新模型中

クラス

すべて展開する

cv.cvdatagroup 的集合cvdata对象
slcoverage。BlockSelector 为覆盖过滤器选择块
slcoverage。CodeSelector 为覆盖过滤器选择自定义C或c++代码
slcoverage。过滤器 覆盖过滤器设置
slcoverage。FilterRule 创建覆盖过滤规则
slcoverage。MetricSelector 选择覆盖过滤器的度量标准
slcoverage。选择器 获取所有类型的选择器
slcoverage。SFcnSelector 选择s函数准则作为过滤规则

トピック

モデルカバレッジタスクの自動化

MATLABコマンドを使用してモデルカバレッジ解析を自動化します。

結果からカバレッジの詳細を取得

MATLABコマンドを使用して,シミュレーション後に特定のカバレッジ情報を取得。

注目の例