简介： 本发明提供了一种用于对实例模型进行约束故障分析的方法和装置,所述方法包括步骤:为标准模型的约束定义多个模式,所述多个模式包含导航模式和逻辑模式;判断由实例模型生成的约束评价树中是否存在空节点;和如果存在空节点,则基于导航模式对约束评价树进行故障分析,否则基于逻辑模式对约束评价树进行故障分析。本发明提供了一种便利的工具,以在模型-约束设计者和模型用户之间建立良好的衔接,减轻模型/约束的使用负担,简化学习曲线,并帮助模型用户进行模型校正。