该工具帮助用户将手工创建的测试用例导入Simulink模型，并使用Simulink Design Verifier（SLDV）万博1manbetx获取缺失覆盖目标的测试用例。
您可以通过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
与任何版本兼容
