[发明专利]软件检查装置、软件检查方法有效
申请号: | 201480051482.1 | 申请日: | 2014-06-19 |
公开(公告)号: | CN105556484B | 公开(公告)日: | 2018-02-02 |
发明(设计)人: | 市川智 | 申请(专利权)人: | 日产自动车株式会社 |
主分类号: | G06F11/36 | 分类号: | G06F11/36 |
代理公司: | 北京天昊联合知识产权代理有限公司11112 | 代理人: | 何立波,张天舒 |
地址: | 日本神*** | 国省代码: | 暂无信息 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 软件检查装置对在成为检查对象的计算机程序中所使用的常量进行提取(S01),检测对所提取的常量进行参照的条件句(S02)。并且,将在条件句中与常量进行比较的变量确定为基础变量(S03),针对每个基础变量而对成为比较对象的常量进行分类并输出(S04)。 | ||
搜索关键词: | 软件 检查 装置 方法 程序 | ||
【主权项】:
一种软件检查装置,其对计算机程序进行检查,该软件检查装置具有:常量提取部,其对在成为检查对象的所述计算机程序中所使用的常量进行提取;条件句检测部,其从所述计算机程序中,对参照由所述常量提取部提取的常量的条件句进行检测;基础变量确定部,其将由所述条件句检测部检测出的条件句中与所述常量进行比较的变量确定为基础变量;以及第1常量组输出部,其针对由所述基础变量确定部确定的每个基础变量,对成为比较对象的所述常量进行分类并输出。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于日产自动车株式会社,未经日产自动车株式会社许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201480051482.1/,转载请声明来源钻瓜专利网。
- 上一篇:一种数据处理方法、装置
- 下一篇:用于保护虚拟机数据的系统和方法