[发明专利]变量访问一贯性检查装置、变量访问一贯性检查方法有效
| 申请号： | 201380071044.7 | 申请日： | 2013-12-26 |
| 公开（公告）号： | CN104937558B | 公开（公告）日： | 2016-11-09 |
| 发明（设计）人： | 市川智 | 申请（专利权）人： | 日产自动车株式会社 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 北京天昊联合知识产权代理有限公司 11112 | 代理人： | 何立波;张天舒 |
| 地址： | 日本神*** | 国省代码： | 日本;JP |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 访问一贯性检查装置确定由基于规定的条件而切换并执行多个分支处理的一组语句构成的分支程序块，检测在分支程序块内进行写入的变量(S01)。检测能够在分支程序块内切换的分支处理的数量，检测对变量进行写入的分支处理的数量(S04)，判断能够在分支程序块内切换的分支处理的数量是否与对变量进行写入的分支处理的数量一致(S06)。而且，在判断为能够在分支程序块内切换的分支处理的数量与对变量进行写入的分支处理的数量不一致的情况下，将变量以及分支程序块的至少一方输出(D07)。 | ||
| 搜索关键词： | 变量 访问 一贯性 检查 装置 方法 | ||
【主权项】：
一种变量访问一贯性检查装置，其对计算机程序进行检查，该变量访问一贯性检查装置的特征在于，具有：分支程序块确定部，其从成为检查对象的所述计算机程序中确定分支程序块，该分支程序块由基于规定的条件而切换并执行多个分支处理的一组语句构成；变量检测部，其检测在所述分支程序块内进行写入的变量；总分支数量检测部，其检测能够在所述分支程序块内切换的分支处理的数量；写入分支数量检测部，其检测对所述变量进行写入的分支处理的数量；分支数量判断部，其判断能够在所述分支程序块内切换的分支处理的数量是否与对所述变量进行写入的分支处理的数量一致；以及检查结果输出部，其在所述分支数量判断部判断为能够在所述分支程序块内切换的分支处理的数量与对所述变量进行写入的分支处理的数量不一致的情况下，将所述变量以及所述分支程序块的至少一方输出。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于日产自动车株式会社，未经日产自动车株式会社许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201380071044.7/，转载请声明来源钻瓜专利网。
- 上一篇：组表格的数据冲洗
- 下一篇：触摸传感器用电极、触摸面板及显示装置
