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

摘要

在本发明中，当更新共享程序时在对程序的操作验证时提供与待验证的程序中需要验证的动作有关的信息。影响程度计算单元(102)基于程序文件之间的参考关系计算待更新的共享文件的更新对直接或者间接参考待更新的共享文件的共享文件具有的影响的程度。验证支持信息生成单元(103)基于参考关系和影响的程度在待验证的应用文件直接或者间接参考的共享文件之中检测具有等于或者高于预定值的影响程度的共享文件，并且输出与所述共享文件中包含的函数有关的信息作为与待验证的应用文件中需要验证的动作有关的信息。

主权项

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