[发明专利]软件检查装置、软件检查方法

说明书

技术领域

本发明涉及一种软件检查装置、软件检查方法、软件检查程序。

背景技术

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

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

发明内容

但是，在软件的处理中产生规格变更的情况下，有时会存在根据规格的条件而必须同时更新的大于或等于2个的常量。但是，在未记载与软件的规格具有关联性的常量的规格的情况下，有时会因设计者仅对其一部分常量进行了变更而出现问题。

根据专利文献1的静态解析方法，能够通过明确处理内容以及输入和输出的关系而使程序的构造可视化。但是，无法使用户注意到可视化的程序的构造中由于常量变更的一致性未得到保持而有可能产生问题的位置。

本发明就是鉴于上述课题而提出的，其目的在于提供一种软件检查装置、软件检查方法、软件检查程序，能够使用户注意到程序的构造中由于常量变更的一致性未得到保持而有可能产生问题的位置。

本发明的一个方式所涉及的软件检查装置对在成为检查对象的计算机程序中所使用的常量进行提取，检测对所提取的常量进行参照的条件句。并且，将条件句中与常量进行比较的变量确定为基础变量，针对每个基础变量，对成为比较对象的常量进行分类并输出。

附图说明

图1是表示本发明的第1实施方式所涉及的软件检查装置的硬件结构的框图。

图2是表示第1实施方式所涉及的CPU 11a的功能结构的框图。

图3是表示利用本发明的第1～第3实施方式所涉及的软件检查装置执行的信息处理的流程、以及在信息处理的中途生成的中间数据的数据流图。

图4是在图3之后接着进行表示的数据流图。

图5(a)、(b)是作为成为检查对象的源代码D01而示出由C语言记述的计算机程序的一个例子的图。

图6是表示将常量提取处理(S01)的结果汇总后的“常量一览(DO2)”的表。

图7是表示将条件句检测处理(S02)的结果汇总后的“条件句一览(DO3)”的表。

图8是表示将基础变量确定处理(S03)的结果汇总后的“基础变量一览(DO4)”的表。

图9是表示将常量组确定处理(S04)的结果汇总后的“常量组一览(DO5)”的表。

图10是表示与相同的基础变量进行比较但未在写入相同值的状态下进行比较，因此未分类为同一组的程序例的图。

图11是表示在图5(b)的程序例中确定的程序块B01～B05的图。

图12是表示将程序块确定处理(S05)的结果汇总后的“程序块行数一览(DO6)”的表。

图13是表示将变量确定处理(S06)的结果汇总后的“变量一览(DO7)”的表。

图14是表示将全局变量确定处理(S07)的结果汇总后的“全局变量一览(DO8)”的表。

图15是将全局变量写入、读入位置确定处理(S08)的结果汇总后的“全局变量写入、读入位置一览(DO9)”的表。

图16是表示将第1全局变量写入位置确定处理(S09)的结果汇总后的“按组区分的参数一览(D10)”的表。

图17是表示第2实施方式所涉及的CPU 11b的功能结构的框图。

图18是表示将条件句展开处理(S10)的结果汇总后的“条件句展开一览(D11)”的表。

图19是表示将第2全局变量写入位置确定处理(S11)的结果汇总后的“全局变量写入位置一览(D12)”的表。

图20是表示将第1常量分割处理(S12)的结果汇总后的“条件句内常量一览(D13)”。

图21是表示第3实施方式所涉及的CPU 11c的功能结构的框图。

图22是表示将按变量写入、读入确定处理(S13)的结果汇总后的“按变量写入、读入位置一览(D14)”的表。

图23是表示将按变量确定组处理(S14)的结果汇总后的“按变量区分的组一览(D15)”的表。

图24是表示将访问位置确定处理(S15)的结果汇总后的“数据流一览(D16)”的表。

图25是表示将第2常量分割处理(S16)的结果汇总后的“按数据流区分的常量一览(D17)”的表。

具体实施方式

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

(第1实施方式1)