| 发明名称 | 设计验证的方法和系统 | ||
| 摘要 | 一种方法和系统，包括提取对设计运行离散测试用例或相关测试用例组所需的资源。该方法和系统进一步包括基于所提取的资源构建仿真模型，并仅使用提取的资源而不是整个设计来执行该仿真模型，以测试由用于设计验证的离散测试用例或相关测试用例组所代表的特定功能或相互关联的功能组，以及将仿真结果与测试计划相关联。 | ||
| 申请公布号 | CN101008963A | 申请公布日期 | 2007.08.01 |
| 申请号 | CN200610146594.2 | 申请日期 | 2006.11.15 |
| 申请人 | 国际商业机器公司 | 发明人 | R·J·德温斯;D·W·米尔顿;P·A·恩萨梅 |
| 分类号 | G06F17/50(2006.01) | 主分类号 | G06F17/50(2006.01) |
| 代理机构 | 北京市中咨律师事务所 | 代理人 | 于静;张亚非 |
| 主权项 | 1.一种方法，包括：提取对设计运行离散测试用例或相关测试用例组所需的资源；基于提取的资源构建仿真模型；以及仅使用提取的资源而不是整个设计来执行仿真模型，以测试由用于设计验证的离散测试用例或相关测试用例组所代表的特定功能或相互关联的功能组。 | ||
| 地址 | 美国纽约 | ||