[发明专利]标志访问缺陷检查装置和标志访问缺陷检查方法有效
申请号: | 201380071049.X | 申请日: | 2013-12-26 |
公开(公告)号: | CN104937559B | 公开(公告)日: | 2016-10-26 |
发明(设计)人: | 市川智 | 申请(专利权)人: | 日产自动车株式会社 |
主分类号: | G06F11/36 | 分类号: | G06F11/36 |
代理公司: | 北京天昊联合知识产权代理有限公司 11112 | 代理人: | 何立波;张天舒 |
地址: | 日本神*** | 国省代码: | 日本;JP |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 标志访问缺陷检查装置从利用仅能设定两个值的标志而切换并执行大于或等于两个的不同的处理的计算机程序中,检测出标志(S01、S02),分别确定对标志进行访问的语句(D05)、语句中的针对标志的处理内容(D06)、以及语句的执行顺序(D08)(S04、S05、S07)。基于针对标志的处理内容(D06)以及语句的执行顺序(D08),判断无法利用标志而切换并执行大于或等于两个的不同的处理的可能性的有无(S08~S11),输出其判断结果(S12)。 | ||
搜索关键词: | 标志 访问 缺陷 检查 装置 方法 | ||
【主权项】:
一种标志访问缺陷检查装置,其对利用仅能设定两个值的标志而切换并执行大于或等于两个的不同的处理的计算机程序进行检查,该标志访问缺陷检查装置的特征在于,具备:标志检测部,其从成为检查对象的所述计算机程序中,检测出所述标志;访问位置确定部,其在所述计算机程序中,确定对由所述标志检测部检测出的所述标志进行访问的语句;处理内容分类部,其对由所述访问位置确定部确定出的所述语句中的针对所述标志的处理内容进行分类;访问顺序确定部,其确定由所述访问位置确定部确定出的所述语句的执行顺序;缺陷可能性判断部,其基于由所述处理内容分类部分类的针对所述标志的处理内容、以及由所述访问顺序确定部确定的所述语句的执行顺序,判断无法利用所述标志而切换并执行大于或等于两个的不同的处理的可能性的有无;以及检查结果输出部,其输出所述缺陷可能性判断部的判断结果。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于日产自动车株式会社,未经日产自动车株式会社许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201380071049.X/,转载请声明来源钻瓜专利网。