[发明专利]变量访问一贯性检查装置、变量访问一贯性检查方法

说明书

技术领域

本发明涉及一种变量访问一贯性检查装置、变量访问一贯性检查方法、变量访问一贯性检查程序。

背景技术

当前，已知对由编程语言所记述的源程序中的控制流、数据流以不执行该源程序的方式进行分析的静态分析方法(参照专利文献1)。

专利文献1：日本特开平09-282173号公报

发明内容

根据专利文献1的静态分析方法，能够明确输入和输出的关系而使程序的构造可视化。但是，无法使用户注意到实现了可视化的程序构造中的有可能产生缺陷的位置。

本发明就是鉴于上述课题而提出的，其目的在于提供能够使用户注意到程序构造中的有可能产生缺陷的位置的变量访问一贯性检查装置、变量访问一贯性检查方法、变量访问一贯性检查程序。

本发明的一个实施方式所涉及的变量访问一贯性检查装置，对能够在分支程序块内切换的分支处理的数量进行检测，检测出对变量进行写入的分支处理的数量，判断能够在分支程序块内切换的分支处理的数量是否与对变量进行写入的分支处理的数量一致。而且，在判断为能够在分支程序块内切换的分支处理的数量与对所述变量进行写入的分支处理的数量不一致的情况下，将变量以及分支程序块的至少一方输出。

附图说明

图1是表示本发明的第1实施方式所涉及的变量访问一贯性检查装置的硬件结构的框图。

图2是表示CPU11的功能结构的框图。

图3是表示由本发明第1实施方式所涉及的变量访问一贯性检查装置执行的信息处理的流程、以及在信息处理过程中生成的中间数据的数据流图。

图4(a)、(b)、(c)是表示作为读入的源代码D01而由C语言记述的程序的一个例子的图。

图5(a)、(b)、(c)是表示由分支程序块确定部21确定的分支程序块ID1、ID2的图。

图6是表示将变量检测部22所进行的处理的结果汇总而得到的“分支程序块变量访问一览”的表。

图7(a)、(b)是表示将语句编号分配处理的结果汇总而得到的“语句编号分配一览(D03)”的表。

图8是表示将变量访问顺序确定处理的结果汇总而得到的“变量访问顺序一览(D04)”的表。

图9(a)、(b)、(c)是用于说明路径数量确定处理(S04)的内容的图。

图10是表示将路径数量确定处理(S04)的结果汇总而得到的“路径数量和变量访问顺序一览(D05)”的表。

图11是表示将访问比例判定(S05)的结果汇总而得到的“访问比例一览(D06)”的表。

图12是表示将访问一贯性判定处理(S06)的结果汇总而得到的“访问一贯性判定结果(D07)”的表。

图13(a)、(b)、(c)是表示图4(a)、(b)、(c)的程序修正例的图。

图14(a)、(b)是表示根据规格方面的条件而将值改变并写入的情况下的例子的流程图。

图15是表示变量的写入处理在确定的分支处理中遗漏的例子的流程图。

图16是表示第2实施方式所涉及的CPU11’的功能结构的框图。

图17是表示由本发明的第2实施方式所涉及的变量访问一贯性检查装置执行的信息处理的流程、以及在信息处理的过程中生成的中间数据的数据流图。

图18是表示将临界值判定处理(S07)的结果汇总而得到的“临界值判定结果(D09)”的表。

图19(a)、(b)是表示由比率计算部25计算出的比率不同的情况的流程图。

具体实施方式

参照附图，对本发明的实施方式进行说明。在附图的记载中，对相同部分标注相同标号并省略说明。

(第1实施方式)

[变量访问一贯性检查装置的硬件结构]

本发明的第1实施方式所涉及的变量访问一贯性检查装置，例如能够应用于由搭载于车辆上的电子控制装置(ECU)执行的计算机程序的变量访问一贯性检查处理。特别是对因计算机程序的规格遗漏或者编码遗漏而引起的缺陷的可能性进行检查。