Main Content

本页采用了机器翻译。点击此处可查看最新英文版本。

何时扩展现有测试用例

Simulink® Design Verifier™ 软件可以使用您指定的先前生成的测试用例来分析您的模型。您可以在以下情况下使用此功能:

  • 您在尝试分析模型时遇到延迟,或者看到不完整的结果。如果您的模型具有以下任何特征,则可能会发生这种情况:

    • 时序逻辑

    • 大型柜台

    • 由于复杂或非线性逻辑而难以测试的模型对象

    分析模型并考虑现有的测试用例,可以让您将分析重点放在模型中难以分析的部分。您可以组合生成的测试用例来为完整模型创建完整的测试套件。

    有关使用时间逻辑的模型扩展现有测试用例的示例,请参阅 使用时态逻辑扩展模型的测试用例

  • 您有一个闭环仿真模型,它使用 Model模块来包含控制器。首先,记录来自Model模块的数据,然后分析Model模块引用的模型。使用这种技术,控制器的测试用例可以真实地反映闭环系统中预期的连续时间行为。

    有关扩展闭环系统现有测试用例的示例,请参阅 扩展闭环系统测试用例

  • 您更改了已经生成测试用例的现有模型。在这种情况下,您可以重新分析模型,省略模型原始版本的分析结果。组合后的测试用例为您提供了新模型的完整测试套件。

    有关扩展修改模型的现有测试用例的示例,请参阅 扩展修改模型的测试用例

  • 您应用参数配置或更新已生成测试用例的现有模型的参数约束值。在这种情况下,您可以通过重用以前生成的测试用例来重新分析模型并扩展它们以实现完整的模型覆盖率。有关修改参数配置时扩展现有测试用例的示例,请参阅应用参数配置后扩展现有测试用例

扩展现有测试用例的通用工作流程

在测试生成分析期间使用以下工作流程扩展现有测试用例:

  • 创建起始测试用例。

  • 记录开始的测试用例。

  • 在测试生成分析期间扩展现有的测试用例。

  • 确认您已创建完整的测试套件。

此类别中的示例在分析过程中扩展现有测试用例时使用其中的部分或全部任务。

启动测试用例的注意事项

如果现有的测试用例与模型不一致,Simulink Design Verifier会在测试用例扩展期间忽略该测试用例。例如,如果更新参数的约束值,而现有的测试用例违反了指定的约束值,则该测试用例将被忽略。

相关主题