参考链接:
[1] https://ww2.mathworks.cn/videos/find-potential-design-errors-using-model-based-testing-86482.html
>>slvnmakeharness(‘model_name’)
注1:slvnvmakeharness(‘model_name’)其中的model_name指的是simulink模型文件的名称,非模型中某个模块的名称。
注2:输入命令slvnvmakeharness(‘model_name’)时需要将model_name文件打开。
注3:需要创建test harness的模型必须满足:compile无报错,即点击“run”,simulink右下角会出现“compiling”进度。当compile完成,如果没弹出错误框或者matlab工作窗口中没有提示错误,则表示compile成功。(1、被测模型必须为“输入+模型+输出”形式,其中输入为input,输出为output,不能为from或者goto模块;)
注4:被测模型中不能有enable or trigger模块。
注5:如果模型中有Z-1形式的delay模块(或者离散时间模块),一定要将simulink配置中的solver option设置为固定步长,否则compile会报错误。(solver配置为discrete?)
注6:被测模型的输入、输出必须为一一对应input、output,不能出现用BusSelector或者Bus Creator。
注7:出现数据类型冲突的时候,加入convert(后继承)以匹配前后量的数据类型。
- 扩展测试用例
>>loggedSignals = sldvlogsignals('model_name_harness')
>>save extraTestCases.mat loggedSignals
- 生成测试用例
进入被测模型界面,页面菜单进入analysisàdesign verifieràoptions
Model coverage objectives可选
加载保存的mat文件:extraTestCases.mat
回到Design Verifier主界面,生成用例
生成界面
Q:生成的test harness保存的路径