⋮

# 诊断真值表

打开真值表对话框，单击工具栏诊断真值表按钮，即可对真值表进行诊断。

诊断信息将打印在输出面板中，并且附带超链接，单击超链接将自动弹出真值表的对话框并选中有误的行列。

# 普通检查

  1. [错误] 条件文本需要符合 Modelica 语义。

  2. [错误] 条件标签不允许与其他标签重名，不允许与真值表及其父层数据同名。

  3. [警告] 条件标签不建议与工作区（基础工作区、模型工作区、数据字典）数据同名。

  4. [错误] 动作文本需要符合 Modelica 语义。

  5. [错误] 每个决策必须指定至少一个动作。

  6. [错误] 存在默认决策时，默认决策必须在最后一列。

# 欠定检查

在对真值表进行编程时，可能存在未被任何条件覆盖的输入组合，所以欠定检查就是查找是否存在未被任何条件覆盖的输入组合，防止未定义行为。

未指定的真值表示例

如下图，真值表 F 缺少决策 {F, -}。

# 过定检查

在对真值表进行编程时，可能存在某个组合被多个决策覆盖，此时在后面声明的决策将永远不执行。所以过定检查就是查找是否存在多次覆盖的输入组合，确保逻辑一致性。

过度指定的真值表示例

如下图，决策 D3 涵盖输入组合 {F, T} 和 {T, T}，这两个组合分别被决策 D1、 D2 覆盖。

提示

在真值表的属性对话框中可以修改欠定检查和过定检查的诊断等级。

通过真值表函数模块的右键菜单'编辑参数'即可打开真值表的属性对话框，通过欠定和过定的下拉框可以修改其诊断等级。

诊断等级分为：错误、警告和无。当您选择无时，将不对真值表进行欠定和过定检查。