分析不同配置模型中包含变种块
不同配置的概述
模型层次结构可以包含几个变种块,每个都有许多不同的选择。你必须把每一个变体的选择在一个模型版本控制用于确定是否选择积极或不活跃。这些变体的组合选择代表一个特定的实现系统的建模。它也对应于一个特定的变体的路径模型。
一个不同的配置用于表示这样一个变体的组合选择。它包含一组变量控制变量和它们的值,使用它可以激活路径模型中特定的变体。变异的数量配置模型可以根据高变异的数量控制变量在模型中使用。您可以使用变量管理器创建和管理这些变体配置。您可以使用变体配置分析工具比较和分析这些配置。
分析不同配置使用变体配置分析工具
请注意
你需要一个金宝app®设计验证器™许可使用变体配置分析工具。
变体配置分析工具允许您:
配置一个模型比较不同的变体。
检查是否所有变体选择至少有一次被激活,并且模型覆盖完全模拟和代码生成。
验证活动,实现模型是不同的不同变体之间的配置。
获取信息的依赖模型和配置库用于一个特定的变体。
您可以分析创建的命名变量配置模型,或执行一个分析后设置变量的值控制变量。报告由工具生成的显示:
不同的配置进行了分析。
模型层次结构的块。
每个块在每个变体的变体活性配置。
每个变量的不同传播条件块配置。
分析结果可以帮助你确定哪些块用于配置不同的变体。未使用的块会高亮显示为红色,代表未经测试,发现模型的部分。热图视图可以帮助您确定活动的异同,实现模型的不同变体之间的配置。这个信息可以用来提炼不同配置和更新模型来提供完整的模拟配置覆盖所有变体。
如何运行的变量配置分析工具模型
打开一个包含变种块模型。例如,变体配置分析。
这个模型包含多个供应商选择的传感器和不同的控制器实现基于传感器的输入。供应商的选择传感器建模变异来源和变体水槽块。不同的控制器选择建模使用不同的子系统块。
经理开放的变体。在建模选项卡,打开设计部分并单击变体经理。另外,右键单击变体徽章块并选择任何变体在变量管理器。
变量管理器打开并显示预定义的配置。
点击分析。变体配置分析对话框打开。
在分析模式选择是否分析预定义的命名配置模型或如果你需要指定变量的值控制变量。
指定不同的配置命名变量配置:选择从列表中命名配置或选择命名配置选择所有。
指定变量控制的值:如果您选择此选项,您可以创建多个变量组,对应于不同的配置。要创建一个新变量组,单击新变量组并设置不同控制变量的值。你可以指定一个变量值或选择控制
忽略了
从下拉列表中。如果您选择忽略了
,那么这个变量控制变量不被认为是在分析模型。
点击分析。报告分析了变异配置打开。
请注意
在这个例子中,指定不同的配置被选中的分析模式。
探索变量配置分析报告
变体配置分析报告显示一个树形表视图模型的层次结构和所有的变异分析配置。这个表在报告中解释所使用的图标和格式化。
行和列 |
表中的每一行对应一个块的配置模型,每一列代表一个变体。 |
复选标记 |
的为视觉符号是援助和表明,块活跃在配置相应的变体。 |
背景颜色 |
整个行包括块名称出现红色背景颜色如果不活跃在配置的任何变体。这样一块显示在模型中一个未经测试的路径。表字段用红色背景颜色表明一个特定的块在一个特定的配置并不活跃。 例如,在这个模型中,供应商一个块是活跃在不同配置VendorACtrlLinear,VendorACtrlFuzzy,VendorACtrlNonLinear配置和不活跃的变体VendorBCtrlFuzzy,VendorBCtrlLinear,VendorBCtrlSecondOrder,VendorBCtrlNonLinear。 |
阻止活性图标 |
的||图标的主观能动性列表明如果一块活跃在所有配置,活跃在一些配置,分别或不活跃在所有配置。 |
变异条件注释(c: #) |
表中的注释字段表示一个变量条件的块接收到一个特定的配置。不同传播条件块变化根据配置活跃的变体。 您可以参考表中注释之间的映射注释窗格(c: #)和传播条件变体,它们中的每一个代表。不同传播条件帮助你理解为什么一块活动对于一个给定的变量配置(变异条件评估是基于控制变量的值定义的配置)。点击表中的一个注释。所有的块注释出现在配置表中突出显示。 |
上的控制变体配置分析窗口允许您执行以下操作:
搜索模块。
筛选结果基于块的类型。
选择一个的选择视图模块列表:
变体在模型中只显示变体块。
分层显示所有分层块(例如,子系统或模型块)的模型。这个视图允许您探索子系统或模型引用一个接一个,而不是透过完整的模型。
所有的块在模型中显示所有块。
基于块活性筛选结果。
总是积极显示块总是活动的模型。
部分活动的显示模块的一些配置和不活动的在别人选择的配置。
从不主动显示模块中从来没有主动的模型。这些块出现以红色突出显示这表明它们未经测试,发现部分的模型,需要一些更新覆盖完整的模拟。
例如,这张图片显示了模型和一些未使用的块。从不主动选择选项来查看未使用的块。
的块二阶控制器内部Linear_Control和F1_Unsat过滤器是未使用的。让这些未使用的块活动模型的一部分在至少一个变体的配置,修改或更新版本配置模型。
这张图片显示了两个相同的变异模型和配置。部分活动的选项被选中得到这个结果。
不同的配置VendorBCtrlLinear和VendorBCtrlSecondOrder他们之间没有差异。这表明这两个配置生成的活性模型将相同。解决这个问题,更新变量配置或适当地更新模型。
限制
变体配置块的分析工具不支持变体金宝app变体激活时间参数设置为启动
。