主要内容

模型报道显示Stateflow图表

金宝app®覆盖™显示模型覆盖率结果直接在Stateflow个体块®图表。当你启用了覆盖的模拟模型,该模型显示:

  • 强调Stateflow元素接收模型在模拟覆盖

  • 一个上下文敏感的显示每个对象的概要模型的覆盖率信息

使报道突出细节,请参阅使报道突出。

显示模型覆盖模型着色

当启用了覆盖和模拟的模型运行按钮时,模型强调个人Stateflow元素接收范围。如果你运行你的模型使用sim卡该模型在默认情况下不显示覆盖率结果。在这种情况下,您可以看到该模型突出使用cvmodelview。

  1. 打开sf_car模型从作为仿真软件模拟图块与当地事件金宝app(Stateflow)。

  2. 在建模选项卡上,单击模型设置。

  3. 在报道面板的配置参数对话框中,选择使覆盖分析。

  4. 在覆盖率度量节中,设置结构覆盖水平来修改条件决定覆盖(MCDC)。

  5. 点击好吧。

  6. 通过单击模拟模型运行(覆盖率)按钮。

  7. 打开shift_logicStateflow图表。

    仿真结束后,该模型强调了图表对象的范围进行了分析。

    颜色显示覆盖率分析的完整性:

    • 绿色边界完全覆盖

    • 红色边境部分或失踪的报道

    • 浅灰色元素不是覆盖率分析

状态,包括可执行代码和条件转换显示细粒度的文本颜色根据结果满意。绿色表示满意的结果和红色表示不满意的结果。例如,考虑以下图表:

图表命名状态1。入口条件(如果(> 0)& & (b > 0)]。红色的条件b > 0,其余表达式的颜色是绿色的。列出的国家本身是红色的。

在这个例子中,如果语句评估两个真假,因此完全决定覆盖。在声明中,条件> 0评价真假和充分条件覆盖。条件b > 0然而,评估为true但不假,因此只有部分条件覆盖。

细粒度的文本颜色出现图表和过渡使用C和MATLAB®作为动作语言。