[发明专利]基于约束模式进行约束故障分析的方法和装置

权利要求书

1.一种用于对实例模型进行约束故障分析的方法，包括步骤:

为标准模型的约束定义多个模式，所述多个模式包含导航模式和逻辑模式；

判断由实例模型生成的约束评价树中是否存在空节点；和

如果存在空节点，则基于导航模式对约束评价树进行故障分析，如果不存在空节点，则基于逻辑模式对约束评价树进行故障分析。

2.如权利要求1所述的方法，还包括步骤:将所述模式分解为模式解析树，按照相同顺序依次比较所述约束评价树中的各个节点与所述模式解析树中的全部节点，以查找一个或多个匹配模式。

3.如权利要求1所述的方法，其中用模式标识符来注释约束评价树中的节点，并且所述方法还包括:根据所述模式标识符，在所述模式中选择一个或多个匹配模式。

4.如权利要求2或3所述的方法，其中所述匹配是指约束评价树中的节点的类型或数值与模式解析树中的相应节点的类型或数值一致。

5.如权利要求2或3所述的方法，还包括步骤:从所匹配的多个模式中选取最接近的匹配模式，所述最接近的匹配模式是具有最多与所述约束评价树匹配的节点的模式。

6.如权利要求5所述的方法，还包括步骤:从最接近的匹配模式中提取用于描述约束违背根本原因的参数项和/或描述项，以生成问题原因报告。

7.如权利要求1所述的方法，其中所述逻辑模式具有多个层级，所述方法还包括:获取当前可用层级的逻辑模式，并将所获取的当前可用层级的逻辑模式及其低层级的逻辑模式中的全部节点依次与所述约束评价树中的各个节点进行比较。

8.如权利要求1所述的方法，其中所述导航模式用来限定标准模型中各单元之间的路径，逻辑模式用来限定导航模式之间的逻辑关系。

9.一种用于对实例模型进行约束故障分析的装置，包括:

分析判定器，用于判断由实例模型生成的约束评价树中是否存在空节点；以及

故障分析器，用于如果存在空节点，则基于导航模式对约束评价树进行故障分析，如果不存在空节点，则基于逻辑模式对约束评价树进行故障分析。

10.如权利要求9所述的装置，还包括:

约束模式定义器，用于为模型的约束定义多个模式，所述多个模式包括导航模式和逻辑模式，其中所述导航模式用来限定模型中各单元之间的路径，逻辑模式用来限定导航模式之间的逻辑关系。

11.如权利要求10所述的装置，还包括:

模式解析器，用于将所述模式分解为模式解析树，

其中所述故障分析器按照相同顺序依次比较所述约束评价树中的各个节点与所述模式解析树中的全部节点，以查找一个或多个匹配模式。

12.如权利要求10所述的装置，其中用模式标识符来注释约束评价树中的节点，并且所述分析判定器根据所述模式标识符，在所述模式中选择一个或多个匹配模式。

13.如权利要求11或12所述的装置，其中所述匹配是指约束评价树中的节点的类型或数值与模式解析树中的相应节点的类型或数值一致。

14.如权利要求11或12所述的装置，其中所述故障分析器从所匹配的多个模式中选取最接近的匹配模式，所述最接近的匹配模式是具有最多与所述约束评价树匹配的节点的模式。

15.如权利要求14所述的装置，还包括:

问题原因报告器，用于从最接近的匹配模式中提取用于描述约束故障根本原因的参数项和/或描述项，以生成问题原因报告。

16.如权利要求11所述的装置，其中所述逻辑模式具有多个层级，所述故障分析器获取当前可用层级的逻辑模式，并将所获取的当前可用层级的逻辑模式及其低层级的逻辑模式中的全部节点依次与所述约束评价树中的各个节点进行比较。

17.一种用于定义约束模式的方法，包括:

为模型的约束定义多个模式；以及

将所述多个模式分解为逻辑模式和/或导航模式，

其中所述导航模式用来表示所述模型中各单元之间的路径，而所述逻辑模式用来表示导航模式之间的逻辑关系。

18.如权利要求17所述的方法，其中所述逻辑模式引用多个导航模式。