[发明专利]操作验证支持设备、操作验证支持方法和操作验证支持程序

说明书

技术领域

本发明涉及一种操作验证支持设备、操作验证支持方法和操作验证支持程序，并且更具体地涉及支持与程序文件的更新相关联的操作验证的操作验证支持设备、操作验证支持方法和操作验证支持程序。

背景技术

出于功能升级或者修正缺陷等目的而日常更新诸如个人计算机(PC)这样的计算机系统的程序。通过向计算机系统中安装更新的程序，实现了计算机系统中存在的程序的功能升级或者问题修正。

在这样的程序之中，共享程序被描述为特别经常更新的程序。共享程序例如是提供用于其它程序(由其它程序共享)的功能的程序，诸如库。通过共享程序的更新，实现了对使用共享程序的其它程序的功能升级或者缺陷修正。

然而，存在一些程序强烈依赖于特定版本的共享程序的情况。在该情况下，即使共享程序的更新的目的是功能升级或者缺陷修正，也存在其它程序中的一些程序仍然由于该更新而变得不能操作的可能性。因此，例如当更新共享程序时，负责维护计算机系统的维护人员需要执行计算机系统的操作验证。

然而，一般不向这样的维护人员提供关于哪个程序参考哪个共享程序的信息。此外，还存在更新的共享程序被另一共享程序参考的情况。因而，维护人员难以预计共享程序的更新的影响范围。出于这一原因，维护人员需要对计算机系统中存在的大量程序执行操作验证。

在专利文献1中描述了一种用于解决该问题的系统的示例。在专利文献1中描述的软件开发支持方法中，通过在各种数据库中注册在程序开发过程期间生成的各种资源，获得了某一程序的更新对其它程序的影响的程度(影响程度)和该影响的范围。使用该方法，维护人员可以知道共享程序的更新所影响的程序和对它的影响程度。因而，通过将具有高影响程度的程序确定为将必须验证的程序(操作验证的目标)，维护人员可以高效执行计算机系统的操作验证。

[引用列表]

[专利文献]

[专利文献1]日本专利申请特许公开No.H09-016392

发明内容

[技术问题]

在专利文献1中描述的上文提到的软件开发支持方法使得有可能基于共享程序更新的影响程度提取操作验证的目标程序。然而，它未生成用于估计提取的程序所保持的功能中的哪个功能受共享程序的更新影响的信息。因而，维护人员需要对作为操作验证的目标而提取的程序所提供的所有功能执行操作验证。

本发明的目的是为了解决上文提到的问题而提供在与共享程序的更新相关联的程序的操作验证时呈现关于必须对验证目标程序验证的功能的信息的操作验证支持设备、操作验证支持方法和操作验证支持程序。

[对问题的解决方案]

根据本发明一个示例性方面的一种操作验证支持设备，包括：参考关系检测装置，用于检测在程序文件存储装置中存储的多个程序文件之间的参考关系；影响程度计算装置，用于基于参考关系来计算多个程序文件之中的第一程序文件的更新对直接或者间接参考第一程序文件的程序文件的影响程度；以及验证支持信息生成装置，用于基于参考关系和影响程度从第二程序文件直接或者间接参考的程序文件之中检测具有等于或者高于预定值的影响程度的第三程序文件，并且输出与第三程序文件中包括的函数调用有关的信息作为关于必需在第二程序文件上被验证的功能的信息，其中第二和第三程序文件处于直接或者间接参考第一程序文件的程序文件之中。

根据本发明一个示例性方面的一种操作验证支持方法，包括：检测在程序文件存储装置中存储的多个程序文件之间的参考关系；基于参考关系来计算多个程序文件之中的第一程序文件的更新对直接或者间接参考第一程序文件的程序文件的影响程度；以及基于参考关系和影响程度从第二程序文件直接或者间接参考的程序文件之中检测具有等于或者高于预定值的影响程度的第三程序文件，并且输出与第三程序文件中包括的函数调用有关的信息作为关于必需在第二程序文件上被验证的功能的信息，其中第二和第三程序文件处于直接或者间接参考第一程序文件的程序文件之中。

根据本发明一个示例性方面的一种计算机可读存储介质，在其上记录使计算机执行下述方法的操作验证支持程序，该方法包括：检测在程序文件存储装置中存储的多个程序文件之间的参考关系；基于参考关系来计算多个程序文件之中的第一程序文件的更新对直接或者间接参考第一程序文件的程序文件的影响程度；以及基于参考关系和影响程度从第二程序文件直接或者间接参考的程序文件之中检测具有等于或者高于预定值的影响程度的第三程序文件，并且输出与第三程序文件中包括的函数调用有关的信息作为关于必需在第二程序文件上被验证的功能的信息，其中第二和第三程序文件处于直接或者间接参考第一程序文件的程序文件之中。