增加覆盖生成测试输入
使用万博1manbetx®设计验证器™,您可以生成测试输入复制设计错误,实现测试目标或满足覆盖标准。万博1manbetx仿真软件测试™可以创建测试用例,使用测试输入和期望输出的万博1manbetx仿真软件设计验证器。
总体工作流程
测试用例生成遵循此工作流。
选择一个现有的万博1manbetx仿真软件设计验证器结果文件,或产生新的结果通过分析模型。
如果您使用现有的结果文件,您可以加载结果通过:
使用万博1manbetx仿真软件测试命令
sltest.import.sldvData。使用万博1manbetx仿真软件设计验证器菜单项。在模型中,应用程序选项卡中,在模型验证、验证和测试,点击设计验证器。在测试选项卡上,单击万博1manbetx仿真软件测试经理。在审查结果部分中,点击加载之前的结果。选择垫与分析结果文件。
如果你运行一个模型分析,万博1manbetx仿真软件设计验证器摘要窗口分析完成后的结果。
在总结结果窗口中,点击导出测试用例模型测试万博1manbetx。测试用例和迭代需求表块自动链接到相应的需求。
输入名称的现有或新的测试工具。
选择一个测试工具生成的测试输入来源。您可以选择
轮廓尺寸:中包含的输入万博1manbetx仿真软件设计验证器数据文件和映射到轮廓尺寸块的测试工具。所示的映射输入部分的测试用例。使用轮廓尺寸选项允许您其他的输入映射到测试工具尺寸块,并将其用于运行多个测试用例或迭代使用相同的测试工具。垫和Excel®在源文件支持万博1manbetx轮廓尺寸。信号编辑器:在场景的输入信号编辑器块内的测试工具。的信号编辑器支持垫块包含万博1manbetx这些输入的文件。您可以编辑这些场景信号编辑器。
选择一个新的或现有的测试文件,然后输入测试文件的名称和测试用例。
点击OK以导出测试用例万博1manbetx仿真软件测试。测试文件和更新测试用例在测试经理。万博1manbetx仿真软件设计验证器节省一个垫子或Excel数据文件,也包括参数设置。您可以查看或覆盖这些设置的参数覆盖部分测试经理。
请注意
另一种方式导入测试用例万博1manbetx仿真软件设计验证器是向导创建测试的组件。信息,请参阅为模型生成测试和测试或组件。
使用仿真软件设计验证器生成测试用例万博1manbetx
这个例子展示了如何为控制器子系统生成测试用例使用仿真软件设计验证器,并导出测试用例来测试文件在仿真软件的测试。万博1manbetx例子需要一个仿真软件设计验证人许可。万博1manbetx
在这个例子中使用的模型是一个闭环热泵系统。控制器的输入测量室温度和设定温度。三个信号的控制器输出总线控制风扇、热泵、热泵的方向(加热或降温)。测试的模型包含一个利用加热和冷却场景。
打开模型
sltestTestCaseFromDVExample
生成和导出仿真软件测试测试万博1manbetx
1。右键单击并选择控制器的块设计验证人>生成测试子系统。万博1manbetx仿真软件设计验证器生成组件的测试。
2。在总结结果窗口中,点击导出测试用例模型测试万博1manbetx。
3所示。出口设计验证器测试用例的对话框中,输入:
测试工具:
TestHarness1利用源:
信号编辑器选择使用一个新的测试文件
测试文件:
TestFile_GeneratedTests.mldatx测试用例:
<创建一个新的测试用例>
4所示。点击好吧。
在工作文件夹中创建一个新的测试文件,和一个测试工具,由控制器子系统,主要添加到模型中。点击预览新的测试工具的利用徽章。
5。单击TestHarness1缩略图打开安全带。然后双击编辑块源利用输入信号。
6。块的参数:利用输入对话框中,点击发射信号编辑器
。
7所示。看到信号的测试输入编辑器中,展开一个测试用例并选择输入。
8。在测试经理,新的测试用例显示被测试的系统,和测试工具包含在信号编辑器中生成的输入源。展开迭代部分看到相对应的迭代信号场景。
