该工具帮助用户将手工创建的测试用例导入到Simulink模型中，并使用Simulink Design Verifier (SL万博1manbetxDV)为缺失的覆盖率目标获取测试用例。
您可以通过CSV文件或Simulink MAT文件(变量名称和结构是硬编码的)提供现有的测试用例。万博1manbetx
示例用例1:
该工具通过使用SLDV来扩充手工开发的测试，实现了测试生成的半自动。您首先使用现有的工作流或流程手工创建测试用例。
手工创建的测试用例通常很容易理解，但可能不能完全覆盖您的模型。然后，SLDV可以用来为缺失的覆盖目标提供额外的测试用例。
示例用例2:
这个工具导入由SLDV创建的测试用例，然后增量地为您修改的模型添加新的测试用例。首先指定SLDV为原始模型生成的MAT文件
(它包含sldvData变量)。然后为修改后的模型运行SLDV。SLDV仅为新添加的覆盖目标生成测试用例。
这个用例有两个好处:
1.您可以将重点放在理解缺失覆盖率目标的新测试用例上。(如果没有这个工具，一些现有的测试用例可能会因为模型的未修改部分而改变)
2.导入测试用例通常会减少分析时间。
引用作为
Yasumitsu Ito(2021)。sldvmisscovtool(//www.tianjin-qmedu.com/matlabcentral/fileexchange/21957-sldvmisscovtool)， MATLAB中央文件交换。检索．
MATLAB版本兼容性
创建R2007b
与任何版本兼容
