发明公开
- 专利标题: 基于约束模式进行约束故障分析的方法和装置
- 专利标题(英): Method and device for performing restriction malfunction analysis based on restriction mode
-
申请号: CN200710148136.7申请日: 2007-08-28
-
公开(公告)号: CN101377757A公开(公告)日: 2009-03-04
- 发明人: 罗景 , 邱杰 , 李影 , 刘天成
- 申请人: 国际商业机器公司
- 申请人地址: 美国纽约阿芒克
- 专利权人: 国际商业机器公司
- 当前专利权人: 国际商业机器公司
- 当前专利权人地址: 美国纽约阿芒克
- 代理机构: 北京市柳沈律师事务所
- 代理商 周少杰; 邸万奎
- 主分类号: G06F11/36
- IPC分类号: G06F11/36
摘要:
本发明提供了一种用于对实例模型进行约束故障分析的方法和装置,所述方法包括步骤:为标准模型的约束定义多个模式,所述多个模式包含导航模式和逻辑模式;判断由实例模型生成的约束评价树中是否存在空节点;和如果存在空节点,则基于导航模式对约束评价树进行故障分析,否则基于逻辑模式对约束评价树进行故障分析。本发明提供了一种便利的工具,以在模型-约束设计者和模型用户之间建立良好的衔接,减轻模型/约束的使用负担,简化学习曲线,并帮助模型用户进行模型校正。