[发明专利]验证支持装置、验证支持方法、验证支持程序及记录介质无效
| 申请号： | 200380110480.7 | 申请日： | 2003-10-31 |
| 公开（公告）号： | CN1839390A | 公开（公告）日： | 2006-09-27 |
| 发明（设计）人： | 庄司稔 | 申请（专利权）人： | 富士通株式会社 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50 |
| 代理公司： | 北京三友知识产权代理有限公司 | 代理人： | 黄纶伟 |
| 地址： | 日本神*** | 国省代码： | 日本;JP |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 在验证支持装置(1500)中，输入部(1502)受理由未验证模型要素构成的、表示未验证设计对象的未验证规格描述的输入。搜索部(1503)从由验证完成模型要素构成的、表示验证完成设计对象的验证完成规格描述中，根据未验证模型要素和验证完成模型要素，搜索与通过输入部(1502)输入的未验证规格描述相同或相似的验证完成规格描述。逻辑验证内容提取部(1504)根据通过搜索部(1503)搜索到的搜索结果，提取对验证完成设计对象进行的逻辑验证内容。输出部(1505)输出通过逻辑验证内容提取部(1504)提取的逻辑验证内容。 | ||
| 搜索关键词： | 验证 支持 装置 方法 程序 记录 介质 | ||
【主权项】：
1.一种验证支持装置，其特征在于，具有：输入单元，其受理由未验证模型要素构成的、表示未验证设计对象的未验证规格描述的输入；搜索单元，其从由验证完成模型要素构成的、表示验证完成设计对象的验证完成规格描述中，根据所述未验证模型要素和所述验证完成模型要素，搜索与通过所述输入单元输入的所述未验证规格描述相同或相似的所述验证完成规格描述；逻辑验证内容提取单元，其根据通过所述搜索单元搜索到的搜索结果，提取对所述验证完成设计对象进行的逻辑验证内容；以及输出单元，其输出通过所述逻辑验证内容提取单元提取的逻辑验证内容。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于富士通株式会社，未经富士通株式会社许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/200380110480.7/，转载请声明来源钻瓜专利网。
- 上一篇：高性能网络数据处理平台系统和处理方法
- 下一篇：三复合电触头制造工艺
