专利名称：操作验证支持设备、操作验证支持方法和操作验证支持程序的制作方法
技术领域：
本发明涉及一种操作验证支持设备、操作验证支持方法和操作验证支持程序，并且更具体地涉及支持与程序文件的更新相关联的操作验证的操作验证支持设备、操作验证支持方法和操作验证支持程序。
背景技术：
出于功能升级或者修正缺陷等目的而日常更新诸如个人计算机(PC)这样的计算机系统的程序。通过向计算机系统中安装更新的程序，实现了计算机系统中存在的程序的功能升级或者问题修正。在这样的程序之中，共享程序被描述为特别经常更新的程序。共享程序例如是提供用于其它程序(由其它程序共享)的功能的程序，诸如库。通过共享程序的更新，实现了对使用共享程序的其它程序的功能升级或者缺陷修正。然而，存在一些程序强烈依赖于特定版本的共享程序的情况。在该情况下，即使共享程序的更新的目的是功能升级或者缺陷修正，也存在其它程序中的一些程序仍然由于该更新而变得不能操作的可能性。因此，例如当更新共享程序时，负责维护计算机系统的维护人员需要执行计算机系统的操作验证。然而，一般不向这样的维护人员提供关于哪个程序参考哪个共享程序的信息。此夕卜，还存在更新的共享程序被另一共享程序参考的情况。因而，维护人员难以预计共享程序的更新的影响范围。出于这一原因，维护人员需要对计算机系统中存在的大量程序执行操作验证。在专利文献I中描述了一种用于解决该问题的系统的示例。在专利文献I中描述的软件开发支持方法中，通过在各种数据库中注册在程序开发过程期间生成的各种资源，获得了某一程序的更新对其它程序的影响的程度(影响程度)和该影响的范围。使用该方法，维护人员可以知道共享程序的更新所影响的程序和对它的影响程度。因而，通过将具有高影响程度的程序确定为将必须验证的程序(操作验证的目标)，维护人员可以高效执行计算机系统的操作验证。[引用列表][专利文献][专利文献I]日本专利申请特许公开N0.H09-01639
发明内容
[技术问题]在专利文献I中描述的上文提到的软件开发支持方法使得有可能基于共享程序更新的影响程度提取操作验证的目标程序。然而，它未生成用于估计提取的程序所保持的功能中的哪个功能受共享程序的更新影响的信息。因而，维护人员需要对作为操作验证的目标而提取的程序所提供的所有功能执行操作验证。本发明的目的是为了解决上文提到的问题而提供在与共享程序的更新相关联的程序的操作验证时呈现关于必须对验证目标程序验证的功能的信息的操作验证支持设备、操作验证支持方法和操作验证支持程序。[对问题的解决方案]根据本发明一个示例性方面的一种操作验证支持设备，包括:参考关系检测装置，用于检测在程序文件存储装置中存储的多个程序文件之间的参考关系；影响程度计算装置，用于基于参考关系来计算多个程序文件之中的第一程序文件的更新对直接或者间接参考第一程序文件的程序文件的影响程度；以及验证支持信息生成装置，用于基于参考关系和影响程度从第二程序文件直接或者间接参考的程序文件之中检测具有等于或者高于预定值的影响程度的第三程序文件，并且输出与第三程序文件中包括的函数调用有关的信息作为关于必需在第二程序文件上被验证的功能的信息，其中第二和第三程序文件处于直接或者间接参考第一程序文件的程序文件之中。根据本发明一个示例性方面的一种操作验证支持方法，包括:检测在程序文件存储装置中存储的多个程序文件之间的参考关系；基于参考关系来计算多个程序文件之中的第一程序文件的更新对直接或者间接参考第一程序文件的程序文件的影响程度；以及基于参考关系和影响程度从第二程序文件直接或者间接参考的程序文件之中检测具有等于或者高于预定值的影响程度的第三程序文件，并且输出与第三程序文件中包括的函数调用有关的信息作为关于必需在第二程序文件上被验证的功能的信息，其中第二和第三程序文件处于直接或者间接参考第一程序文件的程序文件之中。根据本发明一个示例性方面的一种计算机可读存储介质，在其上记录使计算机执行下述方法的操作验证支持程序，该方法包括:检测在程序文件存储装置中存储的多个程序文件之间的参考关系；基于参考关系来计算多个程序文件之中的第一程序文件的更新对直接或者间接参考第一程序文件的程序文件的影响程度；以及基于参考关系和影响程度从第二程序文件直接或者间接参考的程序文件之中检测具有等于或者高于预定值的影响程度的第三程序文件，并且输出与第三程序文件中包括的函数调用有关的信息作为关于必需在第二程序文件上被验证的功能的信息，其中第二和第三程序文件处于直接或者间接参考第一程序文件的程序文件之中。[本发明的有利效果]本发明的有利效果是能够在对与共享程序的更新相关联的程序的操作验证时呈现关于与有必要操作验证的目标目标程序验证中必须被验证的功能有关的信息。
[图1]示出根据本发明第一示例性实施例的特征构造的框图。[图2]示出根据本发明第一示例性实施例的操作验证支持设备100的构造的框图。[图3]示出根据本发明第一示例性实施例的操作验证支持设备100的操作的流程图。[图4]示出根据本发明第一示例性实施例的程序文件之间的参考关系的示例的示图。[图5]示出根据本发明第一示例性实施例的参考关系表121的示例的示图[图6]示出根据本发明第一示例性实施例的影响程度表122的示例的示图。[图7]示出根据本发明第一示例性实施例的函数信息123的示例的示图。
具体实施例方式(第一示例性实施例)接下来，将参考附图具体描述本发明的第一示例性实施例。首先，将描述本发明第一示例性实施例中的操作验证支持设备100的构造。图2是示出根据本发明第一示例性实施例的操作验证支持设备100的构造的框图。参考图2，根据本发明第一示例性实施例的操作验证支持设备100包括参考关系检测单元101、影响程度计算单元102、验证支持信息生成单元103、输入/输出单元104、参考关系存储单元111、影响程度存储单元112、函数信息存储单元113和程序文件存储单元200。这里，程序文件存储单元200例如由诸如PC这样的计算机系统的记录介质构成。在程序文件存储单元200中安装诸如Windows (注册商标)这样的操作系统和在该操作系统上工作的应用程序。在程序文件存储单元200中，将共享文件和应用文件作为程序文件存储，所述共享文件包含操作系统或者除了操作系统之外的共享程序，诸如库(例如，在Windows (注册商标)情况下的dll文件)，所述应用文件包含应用程序(例如，在Windows (注册商标)情况下的exe文件)。每个应用文件直接参考预定共享文件。每个共享文件也直接参考预定的其它共享文件。这里，“文件A直接参考文件B”意味着文件A直接使用由文件B提供的函数调用。另外，“文件A间接参考文件B”意味着，诸如在文件A直接参考文件C、文件C直接参考文件D并且文件D进一步直接参考文件B的情况下，在文件A与B之间依次执行除了文件A和B之外的文件进行的直接参考。在下文中，简单的表述“参考”和“参考关系”分别代表直接参考和直接参考关系，除非另外说明。这里，应用文件和共享文件中的每个文件包括:参考文件信息131，该参考文件信息131代表应用文件或者共享文件所参考的其它共享文件的标识符(文件名)；和共享文件所提供的函数调用之中的、应用文件或者共享文件所参考的函数调用的标识符(函数调用的名称)。另外，每个共享文件包括提供的函数信息132，该函数信息代表共享文件向应用文件或者其它共享文件提供的函数调用的名称。例如，在Windows (注册商标)的情况下，应用文件和共享文件各自包括作为参考文件信息131的导入段。另外，共享文件的每个包括作为提供的函数信息132的导出段。图4是示出根据本发明第一示例性实施例的程序文件之间的参考关系的示例的示图。在图4中，在程序文件(应用文件、共享文件)之间的箭头指示相应参考关系。在该情况中，具有文件标识符Al的应用文件包括图4中所示的参考文件信息131A1，并且具有文件标识符L1、L2、...的共享文件分别包括图4中所示的参考文件信息131L1、L2、...。另外，具有文件标识符L1、L2、...的共享文件也分别包括图4中示出的提供的函数信息132L1、L2、 。参考关系检测单元101检测在程序文件存储单元200中存储的多个程序文件之间的参考关系并且由此生成参考关系表121。参考关系存储单元111存储由参考关系检测单元101生成的参考关系表121。图5是示出根据本发明第一示例性实施例的参考关系表121的示例的示图。如图5中所示，参考关系表121针对作为参考源的程序文件的标识符中的每个标识符示出作为参考目标的程序文件的标识符。影响程度计算单元102基于参考关系表121、关于直接或者间接参考在程序文件存储单元200中存储的多个程序文件之中的待更新的共享程序(第一程序文件)的每个程序计算共享文件的更新的影响程度并且由此生成影响程度表122。影响程度存储单元112在它中存储影响程度计算单元102生成的影响程度表122。图6是示出根据本发明第一示例性实施例的影响程度表122的示例的示图。如图6中所示，影响程度表122针对每个程序文件标识符呈现待更新的共享文件的更新的影响程度。当在直接或者间接参考待更新的共享程序的程序文件之中指定验证目标应用文件(第二程序文件)时，验证支持信息生成单元103基于参考关系表121和影响程度表122从应用文件直接或者间接参考的共享程序之中检测具有高影响程度的共享文件(第三程序文件)。另外，验证支持信息生成单元103将与具有高影响程度的共享文件中所包括的函数调用有关的信息输出作为关于必需在指定的应用文件中被验证的功能的信息。
函数信息存储单元113在它中存储函数信息123，该函数信息123代表在程序文件存储单元200中存储的程序文件中包括的函数调用所提供的功能的内容。图7是示出根据本发明第一示例性实施例的函数信息123的示例的示图。如图7中所示，函数信息123针对每个函数调用标识符(函数调用名称)呈现用于描述函数调用，诸如函数调用所提供的功能或者作用的信息。输入/输出单元104是与执行操作验证的用户(维护人员)接驳的输入/输出接口，该输入/输出接口包括IXD (液晶显示器)、键盘、鼠标、扬声器等。注意，操作验证支持设备100可以是计算机，该计算机包括CPU(中央处理单元)和存储程序的记录介质并且在基于程序的控制之下进行操作。另外，可以通过分别分离的记录介质或者单个记录介质来构造参考关系存储单元111、影响程度存储单元112、函数信息存储单元113和程序文件存储单元200。在这样的情况下，可以将操作验证支持设备100实现为例如，在诸如PC这样的计算机系统上的程序，其中可以通过计算机系统的一个记录介质(或者多个记录介质)来构造参考关系存储单元111、影响程度存储单元112、函数信息存储单元113和程序文件存储单元200。另外，程序文件存储单元200可以存在于操作验证支持设备100以外并且可以由在图中未示出的连接单元或者经由在图中未示出的网络等连接到操作验证支持设备100。类似地，函数信息存储单元113可以是在操作验证支持设备100以外提供的数据库。接下来，将描述本发明第一示例性实施例中的操作验证支持设备100的操作。
图3是示出根据本发明第一示例性实施例的操作验证支持设备100的操作的流程图。首先，参考关系检测单元101检测在程序文件存储单元200中存储的程序文件之间的参考关系并且由此生成参考关系表121，而且将其存储在参考关系存储单兀111中(步骤S101)。这里，参考关系检测单元101基于与程序文件存储单元200中存储的程序文件有关的参考文件信息131来提取被相应程序文件参考的共享文件并且由此生成参考关系表121。例如，关于图4所示的程序文件之间的参考关系，参考关系检测单元101生成图5中所不的参考关系表121。接下来，影响程度计算单元102基于参考关系存储单元111中存储的参考关系表121，针对直接或者间接参考待更新的共享文件的程序文件中的每个程序文件来计算该共享文件的更新的影响程度并且由此生成影响程度表122，而且将其存储在影响程度存储单元112中(步骤S102)。这里，待更新的共享文件的标识符可以由用户使用输入/输出单元104来指定或者可以通过由用户预先设置的表等来指定，在该表中描述了待更新的共享文件的标识符。在本发明的示例性实施例中，假设在该程序文件之间的参考关系中影响程度在经历影响程度计算的程序文件直接参考待更新的共享文件时取最大值，并且它随着经历影响程度计算的程序文件和待更新的共享文件之间存在的共享程序的数目增加而取较小值。根据这一假设，影响程度计算单元102例如按照以下规则计算影响程度。(I)当经历影响程度计算的程序文件直接参考待更新的共享文件时，影响程度是
1(2)在程序文件之间的参考关系中，对于待更新的共享文件与经历影响程度计算的程序文件之间存在的共享程序的数目每增加1，影响程度减半。(3)在程序文件之间的参考关系中，当待更新的共享文件与经历影响程度计算的程序文件之间存在多个路径时，对经历计算的程序文件的影响程度是针对相应路径计算的影响程度的合计。(4)在待更新的共享文件与经历影响程度计算的程序文件之间没有任何路径通过相同共享程序两次或者更多次。例如，当关于图4中所示的程序文件之间的参考关系生成图5中所示的参考关系表121并且具有文件标识符L4的共享文件是待更新的共享文件时，对于直接参考具有文件标识符L4的共享文件的、具有相应文件标识符LI和L3的共享文件二者来说，影响程度是
1.0。由于(具有文件标识符L3的)一个共享文件在具有文件标识符L4的共享文件与具有L2的共享文件之间存在，所以对于具有文件标识符L2的共享文件来说，影响程度是0.5。在具有文件标识符L4的共享文件与具有文件标识符Al的应用文件之间存在两个路径；一个通过具有文件标识符LI的共享文件，而另一个通过具有文件标识符L2和L3的共享文件。对于通过具有文件标识符LI的共享文件的路径来说，由于在其上存在一个共享文件，所以影响程度是0.5。对于通过具有文件标识符L2和L3的共享文件的路径来说，由于在其上存在两个共享文件，所以影响程度是0.25。对于具有文件标识符Al的应用文件来说，影响程度是这两个值的合计0.75。
作为上述计算的结果，如在图6中所示，在影响程度表122中设置影响程度。接下来，验证支持信息生成单元103通过输入/输出单元104接收用户对验证目标应用文件的标识符的输入(步骤S103)。这里，验证目标应用文件可以是直接或者间接参考待更新的共享文件的应用文件中的任何应用文件。用户例如基于在步骤S102生成的影响程度表122选择具有高影响程度的应用文件作为验证目标并且输入它的标识符。例如，验证支持信息生成单元103接收作为验证目标应用文件的文件标识符Al的输入。接下来，验证支持信息生成单元103基于在参考关系存储单元111中存储的参考关系表121和在影响程度存储单元112中存储的影响程度表122从应用文件直接或者间接参考的共享文件之中提取如下共享文件:对该共享文件的影响程度等于或者高于用户预先设置的预定值等(步骤S104)。这里，验证支持信息生成单元103可以提取具有最高影响程度的共享文件。例如，验证支持信息生成单元103基于图5中所示的参考关系表121和图6中的影响程度表122从具有文件标识符Al的应用文件所参考的(具有文件标识符L1、L2和L3的)共享文件之中提取具有相应文件标识符LI和L3的共享文件作为对其的影响程度等于或者闻于1.0的共孕文件。接下来，针对在步骤S104提取的共享文件，验证支持信息生成单元103基于提供的函数信息132来提取由该共享文件提供的函数调用的标识符(步骤S105)。例如,针对图4中的具有文件标识符LI的共享文件,验证支持信息生成单元103基于提供的函数信息132来提取由该共享文件提供的相应函数调用的标识符F1、F2、F3和F4。针对图4中的具有文件标识符L3的共享文件,验证支持信息生成单元103也基于提供的函数信息132来提取由该共享文件提供的相应函数调用的标识符F7和F8。另外，验证支持信息生成单元103基于在函数信息存储单元113中存储的函数信息123来提取在步骤S105处提取的函数调用的功能的描述并且通过输入/输出单元104将其输出为关于必需被验证的功能的信息(步骤S106)。例如，验证支持信息生成单元103基于图7中的函数信息123输出具有相应函数调用标识符F1、F2、F3、F4、F7和F8的函数调用中的每个函数调用的功能的描述。作为结果，用户可以执行操作验证从而使待验证的功能限于在步骤S106输出的功能或者来自验证目标应用文件的所有功能之中的、使用输出的功能的功能(与输出的功能有关的功能)。例如，当在验证目标应用文件中存储的程序是根据用户输入的多个命令工作的程序并且仅在输入特定命令时通过与因特网的连接来与另一计算机系统进行通信，而且在步骤S106输出的功能是与因特网连接有关的功能时，用户可以执行操作验证从而使得用于验证的命令限于来自将向验证目标应用文件输入的所有命令之中的、用来进行与因特网的连接的命令。这里，如果用户可以根据共享文件提供的函数调用的标识符估计该函数调用的功能，则可以在步骤S106输出函数调用标识符本身而不是函数调用的功能的描述。另外，如果作为具有等于或者高于预定值的影响程度的共享文件而在步骤S104提取的共享文件是验证目标应用文件直接参考的共享文件，则验证支持信息生成单元103可以在步骤S105处基于用于验证目标应用文件的参考文件信息131在共享文件所提供的所有函数调用之中仅提取由验证目标应用文件参考的函数调用的标识符。例如，由于具有文件标识符Al的应用文件直接参考具有文件标识符LI的共享文件，所以验证支持信息生成单元103从共享文件提供的相应函数调用的标识符Fl、F2、F3和F4之中提取由具有文件标识符Al的应用文件参考的相应函数调用的标识符Fl和F2。作为结果，变得有可能进一步限制在步骤S106输出的必需被验证的功能。以这一方式，完成本发明第一示例性实施例的操作。接下来，将描述本发明第一示例性实施例的特征构造。图1是示出根据本发明第一示例性实施例的特征构造的框图。操作验证支持设备100包括参考关系检测单元101、影响程度计算单元102和验证支持信息生成单元103。参考关系检测单元101检测在程序文件存储单元200中存储的多个程序文件之间的参考关系。影响程度计算单元102基于参考关系来计算多个程序文件之中的第一程序文件的更新对直接或者间接参考该第一程序文件的程序文件的影响程度。验证支持信息生成单元103基于参考关系和影响程度从第二程序文件直接或者间接参考的程序文件之中检测具有等于或者高于预定值的影响程度的第三程序文件，并且输出与第三程序文件中包括的函数调用有关的信息作为关于必需在第二程序文件中被验证的功能的信息，其中该第二和第三程序文件处于直接或者间接参考第一程序文件的程序文件之中。根据本发明的第一示例性实施例，在与共享程序的更新相关联的程序的操作验证时，可以呈现与必须对操作验证的目标程序验证的功能有关的信息。这是因为影响程度计算单元102基于在程序文件之间的参考关系来计算待更新的共享文件的更新对直接或者间接参考该待更新的共享文件的每个共享文件的影响程度，并且验证支持信息生成单元103基于参考关系和影响程度从验证目标应用文件所参考的共享文件之中检测具有等于或者高于预定值的影响程度的共享文件并且输出与在检测到的共享文件中包括的函数调用有关的信息作为关于必需在验证目标应用文件中被验证的功能的信息。作为结果，用户可以创建验证项目从而使它们限于在验证目标应用文件的所有功能之中必须验证的功能，因此用户可以更高效地执行计算机系统的操作验证。另外，根据本发明的第一示例性实施例，即使没有程序源代码和详细文档，仍然可以针对每个程序文件计算共享文件的更新的影响程度。这是因为参考关系检测单元101基于在每个程序文件中包括的参考文件信息131提取每个程序文件所参考的共享文件，并且由此检测在程序文件之间的参考关系，并且影响计算单元102基于参考关系来计算共享文件的更新对每个程序文件的影响程度。尽管已经参考本发明的示例性实施例具体示出和描述了本发明，但是本发明不限于这些实施例。本领域普通技术人员将理解可以对之进行在形式和细节上的各种改变而不脱离权利要求书所限定的本发明的精神实质和范围。例如，在本发明的第一示例性实施例中，以在程序文件之间的参考关系中、针对待更新的共享程序与经历影响程度计算的程序文件之间存在的共享程序数目每增加一、将影响程度减半的方式计算它。可以通过使用其中影响程度随着居间共享文件数目增加而降低的任何其它方法，诸如其中根据数目设置预定固定值的方法来执行影响程度计算。另外，在本发明的第一示例性实施例中，以仅一个待更新的共享文件为例来描述针对程序文件的影响程度的计算方法。如果存在多个待更新的共享文件，则可以确定在待更新的相应共享文件方面计算的影响程度的合计作为针对程序文件的影响程度。另外，在本发明的第一示例性实施例中，验证目标应用文件由用户指定。验证支持信息生成单元103可以基于影响程度表122选择具有满足预定条件的影响程度的应用文件。另外，验证支持信息生成单元103可以依次选择多个应用文件中的每个应用文件作为验证目标并且关于每个应用文件输出关于待验证的功能的信息。本申请基于并且要求于2010年9月16日提交的日本专利申请N0.2010-207872的优先权权益，其公开内容通过引用整体结合于此。上文描述的示例性实施例的一部分或者全部可以描述为但不限于以下补充注释。(补充注释I)一种操作验证支持设备，包括:参考关系检测装置，用于检测在程序文件存储装置中存储的多个程序文件之间的参考关系;影响程度计算装置，用于基于所述参考关系来计算所述多个程序文件之中的第一程序文件的更新对直接或者间接参考所述第一程序文件的程序文件的影响程度；以及验证支持信息生成装置，用于基于所述参考关系和所述影响程度从第二程序文件直接或者间接参考的程序文件之中检测具有等于或者高于预定值的所述影响程度的第三程序文件，并且输出与所述第三程序文件中包括的函数调用有关的信息作为关于必需在所述第二程序文件中被验证的功能的信息，其中所述第二和第三程序文件处于直接或者间接参考所述第一程序文件的程序文件之中。(补充注释2)根据补充注释I所述的操作验证支持设备，其中，当经历所述影响程度的计算的程序文件直接参考所述第一程序文件时，所述影响程度取最大值，以及当经历所述影响程度的计算的程序文件间接参考所述第一程序文件时，所述影响程度根据在所述参考关系中、在所述第一程序文件与经历所述影响程度的计算的程序文件之间的程序文件的数目而降低。(补充注释3)根据补充注释I或者2所述的操作验证支持设备，其中，所述验证目标函数输出装置输出在所述第三程序文件中包括的所述函数调用所提供的功能作为与所述第三程序文件中包括的函数调用有关的所述信息。(补充注释4)根据补充注释I至3中的任一项补充注释所述的操作验证支持设备，其中，所述验证目标函数输出装置在所述第二程序文件直接参考所述第三程序文件时输出与所述第三程序文件中包括的函数调用之中、由所述第二程序文件使用的函数调用有关的信息。(补充注释5)—种操作验证支持方法，包括:检测在程序文件存储装置中存储的多个程序文件之间的参考关系；基于所述参考关系来计算所述多个程序文件之中的第一程序文件的更新对直接或者间接参考所述第一程序文件的程序文件的影响程度；以及基于所述参考关系和所述影响程度从第二程序文件直接或者间接参考的程序文件之中检测具有等于或者高于预定值的所述影响程度的第三程序文件，并且输出与所述第三程序文件中包括的函数调用有关的信息作为关于必需在所述第二程序文件中被验证的功能的信息，其中所述第二和第三程序文件处于直接或者间接参考所述第一程序文件的程序文件之中。(补充注释6)根据补充注释5所述的操作验证支持方法，其中，当经历所述影响程度的计算的程序文件直接参考所述第一程序文件时，所述影响程度取最大值，并且当经历所述影响程度的计算的程序文件间接参考所述第一程序文件时，所述影响程度根据在所述参考关系中、在所述第一程序文件与经历所述影响程度的计算的所述程序文件之间的程序文件的数目而降低。(补充注释7)根据补充注释5或者6所述的操作验证支持方法，其中，所述输出输出在所述第三程序文件中包括的所述函数调用所提供的功能作为与所述第三程序文件中包括的函数调用有关的所述信息。(补充注释8)根据补充注释5至7中的任一项补充注释所述的操作验证支持方法，其中，所述输出在所述第二程序文件直接参考所述第三程序文件时输出与所述第三程序文件中包括的函数调用之中、由所述第二程序文件使用的函数调用有关的信息。(补充注释9)一种计算机可读存储介质，在其上记录使计算机执行下述方法的操作验证支持程序，所述方法包括:检测在程序文件存储装置中存储的多个程序文件之间的参考关系；基于所述参考关系来计算所述多个程序文件之中的第一程序文件的更新对直接或者间接参考所述第一程序文件的程序文件的影响程度；以及基于所述参考关系和所述影响程度从第二程序文件直接或者间接参考的程序文件之中检测具有等于或者高于预定值的所述影响程度的第三程序文件，并且输出与所述第三程序文件中包括的函数调用有关的信息作为关于必需在所述第二程序文件中被验证的功能的信息，其中所述第二和第三程序文件处于直接或者间接参考所述第一程序文件的程序文件之中。(补充注释10)根据补充注释9所述的计算机可读存储介质，在其上记录使所述计算机执行所述方法的所述操作验证支持程序，其中，当经历所述影响程度的计算的程序文件直接参考所述第一程序文件时，所述影响程度取最大值，并且当经历所述影响程度的计算的程序文件间接参考所述第一程序文件时，所述影响程度根据在所述参考关系中、在所述第一程序文件与经历所述影响程度的计算的所述程序文件之间的程序文件的数目而降低。(补充注释11)根据补充注释9或者10所述的计算机可读存储介质，在其上记录使所述计算机执行所述方法的所述操作验证支持程序，其中，所述输出输出在所述第三程序文件中包括的所述函数调用所提供的功能作为与所述第三程序文件中包括的函数调用有关的所述信息。(补充注释12)根据补充注释9至11中的任一项补充注释所述的计算机可读存储介质，在其上记录使所述计算机执行所述方法的所述操作验证支持程序，其中，所述输出在所述第二程序文件直接参考所述第三程序文件时输出与所述第三程序文件中包括的函数调用之中、由所述第二程序文件使用的函数调用有关的信息。工业适用性本发明可以应用于程序文件更新时对程序进行的操作验证，其例如作为PC等的维护服务的一部分而被执行。附图标记列表
100操作验证支持设备 101 参考关系检测单元 102影响程度计算单元 103验证支持信息生成单元 104输入/输出单元 111参考关系存储单元 112影响程度存储单元 113 函数彳s息存储单元 121参考关系表`
122影响程度表 123 函数信息 131参考文件信息 132提供的函数信息 200程序文件存储单元
权利要求
1.一种操作验证支持设备，包括: 参考关系检测装置，用于检测在程序文件存储装置中存储的多个程序文件之间的参考关系; 影响程度计算装置，用于基于所述参考关系，计算所述多个程序文件之中的第一程序文件的更新对直接或者间接参考所述第一程序的程序文件的影响程度；以及 验证支持信息生成装置，用于基于所述参考关系和所述影响程度从第二程序文件直接或者间接参考的程序文件之中检测具有等于或者高于预定值的所述影响程度的第三程序文件，并且输出与所述第三程序文件中包括的函数调用有关的信息作为关于必需在所述第二程序文件上被验证的功能的信息，所述第二程序文件和第三程序文件在直接或者间接参考所述第一程序文件的程序文件之中。
2.根据权利要求1所述的操作验证支持设备，其中， 当经历所述影响程度的计算的程序文件直接参考所述第一程序文件时，所述影响程度取最大值，并且 当经历所述影响程度的计算的程序文件间接参考所述第一程序文件时，所述影响程度根据在所述参考关系中的、所述第一程序文件与经历所述影响程度的计算的所述程序文件之间的程序文件的数目而降低。
3.根据权利要求1或者2所述的操作验证支持设备，其中， 所述验证目标函数输出装置输出所述第三程序文件中包括的所述函数调用所提供的功能作为与所述第三程序文件中包括的函数调用有关的所述信息。
4.根据权利要求1至3中的任一项权利要求所述的操作验证支持设备，其中，` 所述验证目标函数输出装置在所述第二程序文件直接参考所述第三程序文件时，输出与所述第三程序文件中包括的函数调用之中、由所述第二程序文件使用的函数调用有关的信息。
5.一种操作验证支持方法，包括: 检测在程序文件存储装置中存储的多个程序文件之间的参考关系； 基于所述参考关系，计算所述多个程序文件之中的第一程序文件的更新对直接或者间接参考所述第一程序的程序文件的影响程度；以及 基于所述参考关系和所述影响程度从第二程序文件直接或者间接参考的程序文件之中检测具有等于或者高于预定值的所述影响程度的第三程序文件，并且输出与所述第三程序文件中包括的函数调用有关的信息作为关于必需在所述第二程序文件上被验证的功能的信息，所述第二程序文件和第三程序文件在直接或者间接参考所述第一程序文件的程序文件之中。
6.根据权利要求5所述的操作验证支持方法，其中， 当经历所述影响程度的计算的程序文件直接参考所述第一程序文件时，所述影响程度取最大值，并且 当经历所述影响程度的计算的程序文件间接参考所述第一程序文件时，所述影响程度根据在所述参考关系中的、所述第一程序文件与经历所述影响程度的计算的所述程序文件之间的程序文件的数目而降低。
7.一种在其上记录有使计算机执行下述方法的操作验证支持程序的计算机可读存储介质，所述方法包括: 检测在程序文件存储装置中存储的多个程序文件之间的参考关系； 基于所述参考关系，计算所述多个程序文件之中的第一程序文件的更新对直接或者间接参考所述第一程序的程序文件的影响程度；以及 基于所述参考关系和所述影响程度从第二程序文件直接或者间接参考的程序文件之中检测具有等于或者高于预定值的所述影响程度的第三程序文件，并且输出与所述第三程序文件中包括的函数调用有关的信息作为关于必需在所述第二程序文件上被验证的功能的信息，其中所述第二程序文件和第三程序文件在直接或者间接参考所述第一程序文件的程序文件之中。
8.根据权利要求7所述的在其上记录有使所述计算机执行所述方法的所述操作验证支持程序的计算机可读存储介质，其中， 当经历所述影响程度的计算的程序文件直接参考所述第一程序文件时，所述影响程度取最大值，并且 当经历所述影响程度的计算的程序文件间接参考所述第一程序文件时，所述影响程度根据在所述参考关系中的、所述第一程序文件与经历所述影响程度的计算的所述程序文件之间的程序文件的数目而降低。
9.根据权利要求7或者8所述的在其上记录有使所述计算机执行所述方法的所述操作验证支持程序的计算机可读存储介质，其中， 所述输出输出在所述第三程序文件中包括的所述函数调用所提供的功能作为与所述第三程序文件中包括的函数调用有 关的所述信息。
10.根据权利要求7至9中的任一项权利要求所述的在其上记录有使所述计算机执行所述方法的所述操作验证支持程序的计算机可读存储介质，其中， 所述输出在所述第二程序文件直接参考所述第三程序文件时，输出与所述第三程序文件中包括的函数调用之中、由所述第二程序文件使用的函数调用有关的信息。
全文摘要
在本发明中，当更新共享程序时在对程序的操作验证时提供与待验证的程序中需要验证的动作有关的信息。影响程度计算单元(102)基于程序文件之间的参考关系计算待更新的共享文件的更新对直接或者间接参考待更新的共享文件的共享文件具有的影响的程度。验证支持信息生成单元(103)基于参考关系和影响的程度在待验证的应用文件直接或者间接参考的共享文件之中检测具有等于或者高于预定值的影响程度的共享文件，并且输出与所述共享文件中包含的函数有关的信息作为与待验证的应用文件中需要验证的动作有关的信息。
文档编号G06F9/44GK103119558SQ20118004495
公开日2013年5月22日 申请日期2011年9月15日 优先权日2010年9月16日
发明者芦野佑树, 中江政行 申请人:日本电气株式会社