通过生成测试输入来增加覆盖率
使用金宝app®设计验证器™,您可以生成重复设计错误、实现测试目标或满足覆盖率标准的测试输入。金宝app仿真软件测试™是否可以创建使用测试输入和预期输出的测试用例金宝appSimulink设计验证器.
总体工作流程
测试用例的生成遵循这个工作流。
选择一个现有的金宝appSimulink设计验证器结果文件,或通过分析模型生成新的结果。
如果您使用现有的结果文件,您可以通过以下方式加载结果:
使用金宝app仿真软件测试命令
sltest.import.sldvData
.使用金宝appSimulink设计验证器菜单项。在模型中,在应用程序页,在模型验证、验证和测试下,单击设计验证器.在测试选项卡上,单击金宝appSimulink测试管理器.在审查结果部分中,点击加载早期结果.选择带有分析结果的MAT文件。
如果您运行模型分析,则金宝appSimulink设计验证器分析完成后出现“结果摘要”窗口。
在结果汇总窗口中,单击将测试用例导出到Simulink test金宝app.
输入现有或新的测试工具的名称。
为生成的测试输入选择一个测试集束源。您可以选择
轮廓尺寸
:输入包含在金宝appSimulink设计验证器数据文件并映射到轮廓尺寸块。映射显示在输入部分的测试用例。使用轮廓尺寸
选项允许您将其他输入映射到测试工具导入块,这对于使用相同的测试工具运行多个测试用例或迭代非常有用。MAT和Excel®当源文件在金宝app轮廓尺寸
.信号编辑器
:输入场景为a信号编辑器块在测试线束内。的信号编辑器block支金宝app持包含这些输入的MAT文件。方法中编辑这些场景信号编辑器.
选择一个新的或现有的测试文件,并为测试文件和测试用例输入名称。
单击OK将测试用例导出到金宝app仿真软件测试.测试文件和测试用例在测试管理器中更新。金宝appSimulink设计验证器保存包含参数设置的MAT或Excel数据文件。您可以在“测试管理器”的“参数覆盖”部分查看或覆盖这些设置。
请注意
导入测试用例的另一种方法金宝appSimulink设计验证器是使用“为组件创建测试”向导。有关信息,请参见为模型或组件生成测试和测试工具.
测试用例生成示例
这个例子展示了如何为一个控制器子系统生成测试用例金宝appSimulink设计验证器,并将测试用例导出到金宝app仿真软件测试.该示例需要一个金宝appSimulink设计验证器许可证。
模型是一个闭环热泵系统。控制器接受测量的室温并设置温度输入。控制器输出三个信号的总线,控制风扇、热泵和热泵的方向(热或冷)。该模型包含一个测试加热和冷却场景的线束。
打开模型。
open_system (fullfile (docroot,“工具箱”,slt的,“例子”,...“sltestTestCaseFromDVExample.slx”));
如果您没有指定完整的文件路径,如此步骤所示,则模型必须位于MATLAB路径或当前工作文件夹中。
将当前工作文件夹设置为可写文件夹。
在模型中,为
控制器
子系统。右键单击控制器
块和选择设计验证器>为子系统生成测试.金宝appSimulink设计验证器为组件生成测试。
在结果汇总窗口中,单击将测试用例导出到Simulink test金宝app.
在“导出设计验证器测试用例”对话框中,输入:
测试工具:
TestHarness1
利用来源:
信号编辑器
选择使用一个新的测试文件
测试文件:
。/ TestFile_GeneratedTests.mldatx
测试用例:
<创建一个新的测试用例>
点击好吧.
在工作文件夹中创建一个新的测试文件,并将一个测试工具添加到主模型中,该模型由
控制器
子系统。单击线束徽章以预览新的测试线束。单击
TestHarness1
缩略图打开挽具。然后双击控制输入信号编辑器块来源。在“块参数:线束输入”对话框中,单击下水信号编辑器.
要在Signal Editor中看到测试输入,展开一个测试用例并选择输入。
在测试管理器中,新的测试用例显示了测试下的系统,以及包含生成输入的测试工具信号编辑器源。扩大迭代节查看与信号场景对应的迭代。