使用金宝app®设计Verifier™,您可以生成复制设计错误、实现测试目标或满足覆盖率标准的测试输入。金宝app模拟试验™可以创建使用测试输入和预期输出的测试用例金宝appSimulink设计验证程序.
测试用例生成遵循此工作流。
选择现有金宝appSimulink设计验证程序结果文件,或通过分析模型来生成新结果。
如果使用现有结果文件,则可以通过以下任一加载结果:
使用金宝app模拟试验命令sltest.import.sldvData
.
使用金宝appSimulink设计验证程序菜单项。在模型中,在应用程序标签,在模型验证,验证和测试下,单击设计验证器. 上测验选项卡,单击金宝appSimulink测试管理器.在审查结果部分,单击加载早期结果。选择包含分析结果的MAT文件。
如果您运行模型分析,则金宝appSimulink设计验证程序分析完成后将显示结果摘要窗口。
在结果摘要窗口中,单击将测试用例导出到Simulink测试金宝app.
输入现有或新测试线束的名称。
为生成的测试输入选择测试线束源。您可以选择
inport.
:输入包含在金宝appSimulink设计验证程序数据文件并映射到inport.测试线束中的块。映射如中所示投入测试案例的部分。使用inport.
选项允许您将其他输入映射到测试线束输入块,这对于使用同一测试线束运行多个测试用例或迭代非常有用。MAT和Excel®源代码时支持文件金宝appinport.
.
信号编辑器
:输入在a中的场景中信号编辑器在测试线束内块。这信号编辑器块支持包含这金宝app些输入的MAT文件。您可以在信号编辑器.
选择新的或现有的测试文件,并输入测试文件和测试用例的名称。
单击“确定”将测试用例导出到金宝app模拟试验.测试文件和测试用例在测试管理器中更新。金宝appSimulink设计验证程序保存还包括参数设置的MAT或Excel数据文件。您可以在测试管理器的“参数替代”部分中查看或替代这些设置。
笔记
另一种导入测试用例的方法金宝appSimulink设计验证程序正在使用组件创建测试向导。有关信息,请参阅为组件或模型生成测试和测试线束.
此示例显示如何使用的控制器子系统生成测试用例金宝appSimulink设计验证程序,并将测试用例导出到中的测试文件金宝app模拟试验.该示例需要一个金宝appSimulink设计验证程序许可证
该模型是一个闭环热泵系统。控制器接受测量的室温和设定的温度输入。控制器输出一条由三个信号组成的总线,控制风扇、热泵和热泵方向(加热或冷却)。该模型包含一个测试加热和冷却场景的线束。
打开模型。
打开系统(完整文件(docroot、,'工具箱',“sltest”,'例子',...'sltestcasefromdvexample.slx'));
如果未指定完整文件路径,如本步骤中所示,模型必须位于MATLAB路径上或当前工作文件夹中。
将当前工作文件夹设置为可写文件夹。
在模型中,为控制器
子系统。右键单击控制器
阻止并选择设计验证器>为子系统生成测试.
金宝appSimulink设计验证程序为组件生成测试。
在结果摘要窗口中,单击将测试用例导出到Simulink测试金宝app.
在“导出设计验证程序测试用例”对话框中,输入:
测试线束:测试治理1
安全带来源:信号编辑器
选择使用新的测试文件
测试文件:./TestFile_GeneratedTests.mldatx
测试用例:<创建新的测试用例>
点击好的.
在工作文件夹中创建一个新的测试文件,并将测试线束添加到主模型,由控制器
子系统。单击线束徽标以预览新的测试线束。
点击测试治理1
缩略图以打开线束。然后双击线束输入信号编辑器块源。
在“块参数:线束输入”对话框中,单击发射信号编辑器.
要查看信号编辑器中的测试输入,请展开测试用例并选择输入。
在测试管理器中,新的测试用例显示被测试的系统,以及包含测试中生成的输入的测试线束信号编辑器来源。展开迭代部分以查看对应于信号场景的迭代。