[发明专利]等效性验证装置和计算机能读取的存储介质有效
| 申请号： | 201780089570.4 | 申请日： | 2017-04-19 |
| 公开（公告）号： | CN110520850B | 公开（公告）日： | 2023-08-11 |
| 发明（设计）人： | 米持一树;矶田诚 | 申请（专利权）人： | 三菱电机株式会社 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 北京三友知识产权代理有限公司 11127 | 代理人： | 马建军;邓毅 |
| 地址： | 日本*** | 国省代码： | 暂无信息 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 生成部(110)生成用于检查第1函数与第2函数的等效性的检查封装器。检查封装器包含用于反复调用第1函数和第2函数的循环语句。检查部(130)使用检查封装器进行等效性检查，由此，按照调用了第1函数和所述第2函数的次数，判定第1函数与第2函数的等效性。 | ||
| 搜索关键词： | 等效 验证 装置 计算 机能 读取 存储 介质 | ||
【主权项】：
1.一种等效性验证装置，该等效性验证装置具有检查部，该检查部使用检查封装器进行等效性检查，由此，检查第1函数与第2函数的等效性，该检查封装器是包含用于反复调用所述第1函数和所述第2函数的循环语句的程序代码。/n
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于三菱电机株式会社，未经三菱电机株式会社许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201780089570.4/，转载请声明来源钻瓜专利网。
- 上一篇：改进的计算装置
- 下一篇：数据处理系统的执行线程之间的基于缓存的通信
