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

权利要求书

1.一种操作验证支持设备，包括：

参考关系检测装置，用于检测在程序文件存储装置中存储的多个程序文件之间的参考关系；

影响程度计算装置，用于基于所述参考关系，计算所述多个程序文件之中的第一程序文件的更新对直接或者间接参考所述第一程序的程序文件的影响程度；以及

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

2.根据权利要求1所述的操作验证支持设备，其中，

当经历所述影响程度的计算的程序文件直接参考所述第一程序文件时，所述影响程度取最大值，并且

当经历所述影响程度的计算的程序文件间接参考所述第一程序文件时，所述影响程度根据在所述参考关系中的、所述第一程序文件与经历所述影响程度的计算的所述程序文件之间的程序文件的数目而降低。

3.根据权利要求1或者2所述的操作验证支持设备，其中，

所述验证目标函数输出装置输出所述第三程序文件中包括的所述函数调用所提供的功能作为与所述第三程序文件中包括的函数调用有关的所述信息。

4.根据权利要求1至3中的任一项权利要求所述的操作验证支持设备，其中，

所述验证目标函数输出装置在所述第二程序文件直接参考所述第三程序文件时，输出与所述第三程序文件中包括的函数调用之中、由所述第二程序文件使用的函数调用有关的信息。

5.一种操作验证支持方法，包括：

检测在程序文件存储装置中存储的多个程序文件之间的参考关系；

基于所述参考关系，计算所述多个程序文件之中的第一程序文件的更新对直接或者间接参考所述第一程序的程序文件的影响程度；以及

基于所述参考关系和所述影响程度从第二程序文件直接或者间接参考的程序文件之中检测具有等于或者高于预定值的所述影响程度的第三程序文件，并且输出与所述第三程序文件中包括的函数调用有关的信息作为关于必需在所述第二程序文件上被验证的功能的信息，所述第二程序文件和第三程序文件在直接或者间接参考所述第一程序文件的程序文件之中。

6.根据权利要求5所述的操作验证支持方法，其中，

当经历所述影响程度的计算的程序文件直接参考所述第一程序文件时，所述影响程度取最大值，并且

当经历所述影响程度的计算的程序文件间接参考所述第一程序文件时，所述影响程度根据在所述参考关系中的、所述第一程序文件与经历所述影响程度的计算的所述程序文件之间的程序文件的数目而降低。

7.一种在其上记录有使计算机执行下述方法的操作验证支持程序的计算机可读存储介质，所述方法包括：

检测在程序文件存储装置中存储的多个程序文件之间的参考关系；

基于所述参考关系，计算所述多个程序文件之中的第一程序文件的更新对直接或者间接参考所述第一程序的程序文件的影响程度；以及

基于所述参考关系和所述影响程度从第二程序文件直接或者间接参考的程序文件之中检测具有等于或者高于预定值的所述影响程度的第三程序文件，并且输出与所述第三程序文件中包括的函数调用有关的信息作为关于必需在所述第二程序文件上被验证的功能的信息，其中所述第二程序文件和第三程序文件在直接或者间接参考所述第一程序文件的程序文件之中。

8.根据权利要求7所述的在其上记录有使所述计算机执行所述方法的所述操作验证支持程序的计算机可读存储介质，其中，

当经历所述影响程度的计算的程序文件直接参考所述第一程序文件时，所述影响程度取最大值，并且

当经历所述影响程度的计算的程序文件间接参考所述第一程序文件时，所述影响程度根据在所述参考关系中的、所述第一程序文件与经历所述影响程度的计算的所述程序文件之间的程序文件的数目而降低。

9.根据权利要求7或者8所述的在其上记录有使所述计算机执行所述方法的所述操作验证支持程序的计算机可读存储介质，其中，

所述输出输出在所述第三程序文件中包括的所述函数调用所提供的功能作为与所述第三程序文件中包括的函数调用有关的所述信息。

10.根据权利要求7至9中的任一项权利要求所述的在其上记录有使所述计算机执行所述方法的所述操作验证支持程序的计算机可读存储介质，其中，

所述输出在所述第二程序文件直接参考所述第三程序文件时，输出与所述第三程序文件中包括的函数调用之中、由所述第二程序文件使用的函数调用有关的信息。