專利名稱：操作驗證支持設備、操作驗證支持方法和操作驗證支持程序的制作方法
技術領域：
本發(fā)明涉及一種操作驗證支持設備、操作驗證支持方法和操作驗證支持程序，并且更具體地涉及支持與程序文件的更新相關聯(lián)的操作驗證的操作驗證支持設備、操作驗證支持方法和操作驗證支持程序。
背景技術：
出于功能升級或者修正缺陷等目的而日常更新諸如個人計算機(PC)這樣的計算機系統(tǒng)的程序。通過向計算機系統(tǒng)中安裝更新的程序，實現(xiàn)了計算機系統(tǒng)中存在的程序的功能升級或者問題修正。在這樣的程序之中，共享程序被描述為特別經常更新的程序。共享程序例如是提供用于其它程序(由其它程序共享)的功能的程序，諸如庫。通過共享程序的更新，實現(xiàn)了對使用共享程序的其它程序的功能升級或者缺陷修正。然而，存在一些程序強烈依賴于特定版本的共享程序的情況。在該情況下，即使共享程序的更新的目的是功能升級或者缺陷修正，也存在其它程序中的一些程序仍然由于該更新而變得不能操作的可能性。因此，例如當更新共享程序時，負責維護計算機系統(tǒng)的維護人員需要執(zhí)行計算機系統(tǒng)的操作驗證。然而，一般不向這樣的維護人員提供關于哪個程序參考哪個共享程序的信息。此夕卜，還存在更新的共享程序被另一共享程序參考的情況。因而，維護人員難以預計共享程序的更新的影響范圍。出于這一原因，維護人員需要對計算機系統(tǒng)中存在的大量程序執(zhí)行操作驗證。在專利文獻I中描述了一種用于解決該問題的系統(tǒng)的示例。在專利文獻I中描述的軟件開發(fā)支持方法中，通過在各種數(shù)據(jù)庫中注冊在程序開發(fā)過程期間生成的各種資源，獲得了某一程序的更新對其它程序的影響的程度(影響程度)和該影響的范圍。使用該方法，維護人員可以知道共享程序的更新所影響的程序和對它的影響程度。因而，通過將具有高影響程度的程序確定為將必須驗證的程序(操作驗證的目標)，維護人員可以高效執(zhí)行計算機系統(tǒng)的操作驗證。[引用列表][專利文獻][專利文獻I]日本專利申請?zhí)卦S公開N0.H09-01639
發(fā)明內容
[技術問題]在專利文獻I中描述的上文提到的軟件開發(fā)支持方法使得有可能基于共享程序更新的影響程度提取操作驗證的目標程序。然而，它未生成用于估計提取的程序所保持的功能中的哪個功能受共享程序的更新影響的信息。因而，維護人員需要對作為操作驗證的目標而提取的程序所提供的所有功能執(zhí)行操作驗證。本發(fā)明的目的是為了解決上文提到的問題而提供在與共享程序的更新相關聯(lián)的程序的操作驗證時呈現(xiàn)關于必須對驗證目標程序驗證的功能的信息的操作驗證支持設備、操作驗證支持方法和操作驗證支持程序。[對問題的解決方案]根據(jù)本發(fā)明一個示例性方面的一種操作驗證支持設備，包括:參考關系檢測裝置，用于檢測在程序文件存儲裝置中存儲的多個程序文件之間的參考關系；影響程度計算裝置，用于基于參考關系來計算多個程序文件之中的第一程序文件的更新對直接或者間接參考第一程序文件的程序文件的影響程度；以及驗證支持信息生成裝置，用于基于參考關系和影響程度從第二程序文件直接或者間接參考的程序文件之中檢測具有等于或者高于預定值的影響程度的第三程序文件，并且輸出與第三程序文件中包括的函數(shù)調用有關的信息作為關于必需在第二程序文件上被驗證的功能的信息，其中第二和第三程序文件處于直接或者間接參考第一程序文件的程序文件之中。根據(jù)本發(fā)明一個示例性方面的一種操作驗證支持方法，包括:檢測在程序文件存儲裝置中存儲的多個程序文件之間的參考關系；基于參考關系來計算多個程序文件之中的第一程序文件的更新對直接或者間接參考第一程序文件的程序文件的影響程度；以及基于參考關系和影響程度從第二程序文件直接或者間接參考的程序文件之中檢測具有等于或者高于預定值的影響程度的第三程序文件，并且輸出與第三程序文件中包括的函數(shù)調用有關的信息作為關于必需在第二程序文件上被驗證的功能的信息，其中第二和第三程序文件處于直接或者間接參考第一程序文件的程序文件之中。根據(jù)本發(fā)明一個示例性方面的一種計算機可讀存儲介質，在其上記錄使計算機執(zhí)行下述方法的操作驗證支持程序，該方法包括:檢測在程序文件存儲裝置中存儲的多個程序文件之間的參考關系；基于參考關系來計算多個程序文件之中的第一程序文件的更新對直接或者間接參考第一程序文件的程序文件的影響程度；以及基于參考關系和影響程度從第二程序文件直接或者間接參考的程序文件之中檢測具有等于或者高于預定值的影響程度的第三程序文件，并且輸出與第三程序文件中包括的函數(shù)調用有關的信息作為關于必需在第二程序文件上被驗證的功能的信息，其中第二和第三程序文件處于直接或者間接參考第一程序文件的程序文件之中。[本發(fā)明的有利效果]本發(fā)明的有利效果是能夠在對與共享程序的更新相關聯(lián)的程序的操作驗證時呈現(xiàn)關于與有必要操作驗證的目標目標程序驗證中必須被驗證的功能有關的信息。


[圖1]示出根據(jù)本發(fā)明第一示例性實施例的特征構造的框圖。[圖2]示出根據(jù)本發(fā)明第一示例性實施例的操作驗證支持設備100的構造的框圖。[圖3]示出根據(jù)本發(fā)明第一示例性實施例的操作驗證支持設備100的操作的流程圖。[圖4]示出根據(jù)本發(fā)明第一示例性實施例的程序文件之間的參考關系的示例的示圖。[圖5]示出根據(jù)本發(fā)明第一示例性實施例的參考關系表121的示例的示圖[圖6]示出根據(jù)本發(fā)明第一示例性實施例的影響程度表122的示例的示圖。[圖7]示出根據(jù)本發(fā)明第一示例性實施例的函數(shù)信息123的示例的示圖。
具體實施例方式(第一示例性實施例)接下來，將參考附圖具體描述本發(fā)明的第一示例性實施例。首先，將描述本發(fā)明第一示例性實施例中的操作驗證支持設備100的構造。圖2是示出根據(jù)本發(fā)明第一示例性實施例的操作驗證支持設備100的構造的框圖。參考圖2，根據(jù)本發(fā)明第一示例性實施例的操作驗證支持設備100包括參考關系檢測單元101、影響程度計算單元102、驗證支持信息生成單元103、輸入/輸出單元104、參考關系存儲單元111、影響程度存儲單元112、函數(shù)信息存儲單元113和程序文件存儲單元200。這里，程序文件存儲單元200例如由諸如PC這樣的計算機系統(tǒng)的記錄介質構成。在程序文件存儲單元200中安裝諸如Windows (注冊商標)這樣的操作系統(tǒng)和在該操作系統(tǒng)上工作的應用程序。在程序文件存儲單元200中，將共享文件和應用文件作為程序文件存儲，所述共享文件包含操作系統(tǒng)或者除了操作系統(tǒng)之外的共享程序，諸如庫(例如，在Windows (注冊商標)情況下的dll文件)，所述應用文件包含應用程序(例如，在Windows (注冊商標)情況下的exe文件)。每個應用文件直接參考預定共享文件。每個共享文件也直接參考預定的其它共享文件。這里，“文件A直接參考文件B”意味著文件A直接使用由文件B提供的函數(shù)調用。另外，“文件A間接參考文件B”意味著，諸如在文件A直接參考文件C、文件C直接參考文件D并且文件D進一步直接參考文件B的情況下，在文件A與B之間依次執(zhí)行除了文件A和B之外的文件進行的直接參考。在下文中，簡單的表述“參考”和“參考關系”分別代表直接參考和直接參考關系，除非另外說明。這里，應用文件和共享文件中的每個文件包括:參考文件信息131，該參考文件信息131代表應用文件或者共享文件所參考的其它共享文件的標識符(文件名)；和共享文件所提供的函數(shù)調用之中的、應用文件或者共享文件所參考的函數(shù)調用的標識符(函數(shù)調用的名稱)。另外，每個共享文件包括提供的函數(shù)信息132，該函數(shù)信息代表共享文件向應用文件或者其它共享文件提供的函數(shù)調用的名稱。例如，在Windows (注冊商標)的情況下，應用文件和共享文件各自包括作為參考文件信息131的導入段。另外，共享文件的每個包括作為提供的函數(shù)信息132的導出段。圖4是示出根據(jù)本發(fā)明第一示例性實施例的程序文件之間的參考關系的示例的示圖。在圖4中，在程序文件(應用文件、共享文件)之間的箭頭指示相應參考關系。在該情況中，具有文件標識符Al的應用文件包括圖4中所示的參考文件信息131A1，并且具有文件標識符L1、L2、...的共享文件分別包括圖4中所示的參考文件信息131L1、L2、...。另外，具有文件標識符L1、L2、...的共享文件也分別包括圖4中示出的提供的函數(shù)信息132L1、L2、 。參考關系檢測單元101檢測在程序文件存儲單元200中存儲的多個程序文件之間的參考關系并且由此生成參考關系表121。參考關系存儲單元111存儲由參考關系檢測單元101生成的參考關系表121。圖5是示出根據(jù)本發(fā)明第一示例性實施例的參考關系表121的示例的示圖。如圖5中所示，參考關系表121針對作為參考源的程序文件的標識符中的每個標識符示出作為參考目標的程序文件的標識符。影響程度計算單元102基于參考關系表121、關于直接或者間接參考在程序文件存儲單元200中存儲的多個程序文件之中的待更新的共享程序(第一程序文件)的每個程序計算共享文件的更新的影響程度并且由此生成影響程度表122。影響程度存儲單元112在它中存儲影響程度計算單元102生成的影響程度表122。圖6是示出根據(jù)本發(fā)明第一示例性實施例的影響程度表122的示例的示圖。如圖6中所示，影響程度表122針對每個程序文件標識符呈現(xiàn)待更新的共享文件的更新的影響程度。當在直接或者間接參考待更新的共享程序的程序文件之中指定驗證目標應用文件(第二程序文件)時，驗證支持信息生成單元103基于參考關系表121和影響程度表122從應用文件直接或者間接參考的共享程序之中檢測具有高影響程度的共享文件(第三程序文件)。另外，驗證支持信息生成單元103將與具有高影響程度的共享文件中所包括的函數(shù)調用有關的信息輸出作為關于必需在指定的應用文件中被驗證的功能的信息。

函數(shù)信息存儲單元113在它中存儲函數(shù)信息123，該函數(shù)信息123代表在程序文件存儲單元200中存儲的程序文件中包括的函數(shù)調用所提供的功能的內容。圖7是示出根據(jù)本發(fā)明第一示例性實施例的函數(shù)信息123的示例的示圖。如圖7中所示，函數(shù)信息123針對每個函數(shù)調用標識符(函數(shù)調用名稱)呈現(xiàn)用于描述函數(shù)調用，諸如函數(shù)調用所提供的功能或者作用的信息。輸入/輸出單元104是與執(zhí)行操作驗證的用戶(維護人員)接駁的輸入/輸出接口，該輸入/輸出接口包括IXD (液晶顯示器)、鍵盤、鼠標、揚聲器等。注意，操作驗證支持設備100可以是計算機，該計算機包括CPU(中央處理單元)和存儲程序的記錄介質并且在基于程序的控制之下進行操作。另外，可以通過分別分離的記錄介質或者單個記錄介質來構造參考關系存儲單元111、影響程度存儲單元112、函數(shù)信息存儲單元113和程序文件存儲單元200。在這樣的情況下，可以將操作驗證支持設備100實現(xiàn)為例如，在諸如PC這樣的計算機系統(tǒng)上的程序，其中可以通過計算機系統(tǒng)的一個記錄介質(或者多個記錄介質)來構造參考關系存儲單元111、影響程度存儲單元112、函數(shù)信息存儲單元113和程序文件存儲單元200。另外，程序文件存儲單元200可以存在于操作驗證支持設備100以外并且可以由在圖中未示出的連接單元或者經由在圖中未示出的網絡等連接到操作驗證支持設備100。類似地，函數(shù)信息存儲單元113可以是在操作驗證支持設備100以外提供的數(shù)據(jù)庫。接下來，將描述本發(fā)明第一示例性實施例中的操作驗證支持設備100的操作。
圖3是示出根據(jù)本發(fā)明第一示例性實施例的操作驗證支持設備100的操作的流程圖。首先，參考關系檢測單元101檢測在程序文件存儲單元200中存儲的程序文件之間的參考關系并且由此生成參考關系表121，而且將其存儲在參考關系存儲單兀111中(步驟S101)。這里，參考關系檢測單元101基于與程序文件存儲單元200中存儲的程序文件有關的參考文件信息131來提取被相應程序文件參考的共享文件并且由此生成參考關系表121。例如，關于圖4所示的程序文件之間的參考關系，參考關系檢測單元101生成圖5中所不的參考關系表121。接下來，影響程度計算單元102基于參考關系存儲單元111中存儲的參考關系表121，針對直接或者間接參考待更新的共享文件的程序文件中的每個程序文件來計算該共享文件的更新的影響程度并且由此生成影響程度表122，而且將其存儲在影響程度存儲單元112中(步驟S102)。這里，待更新的共享文件的標識符可以由用戶使用輸入/輸出單元104來指定或者可以通過由用戶預先設置的表等來指定，在該表中描述了待更新的共享文件的標識符。在本發(fā)明的示例性實施例中，假設在該程序文件之間的參考關系中影響程度在經歷影響程度計算的程序文件直接參考待更新的共享文件時取最大值，并且它隨著經歷影響程度計算的程序文件和待更新的共享文件之間存在的共享程序的數(shù)目增加而取較小值。根據(jù)這一假設，影響程度計算單元102例如按照以下規(guī)則計算影響程度。(I)當經歷影響程度計算的程序文件直接參考待更新的共享文件時，影響程度是
1(2)在程序文件之間的參考關系中，對于待更新的共享文件與經歷影響程度計算的程序文件之間存在的共享程序的數(shù)目每增加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基于提供的函數(shù)信息132來提取由該共享文件提供的函數(shù)調用的標識符(步驟S105)。例如,針對圖4中的具有文件標識符LI的共享文件,驗證支持信息生成單元103基于提供的函數(shù)信息132來提取由該共享文件提供的相應函數(shù)調用的標識符F1、F2、F3和F4。針對圖4中的具有文件標識符L3的共享文件,驗證支持信息生成單元103也基于提供的函數(shù)信息132來提取由該共享文件提供的相應函數(shù)調用的標識符F7和F8。另外，驗證支持信息生成單元103基于在函數(shù)信息存儲單元113中存儲的函數(shù)信息123來提取在步驟S105處提取的函數(shù)調用的功能的描述并且通過輸入/輸出單元104將其輸出為關于必需被驗證的功能的信息(步驟S106)。例如，驗證支持信息生成單元103基于圖7中的函數(shù)信息123輸出具有相應函數(shù)調用標識符F1、F2、F3、F4、F7和F8的函數(shù)調用中的每個函數(shù)調用的功能的描述。作為結果，用戶可以執(zhí)行操作驗證從而使待驗證的功能限于在步驟S106輸出的功能或者來自驗證目標應用文件的所有功能之中的、使用輸出的功能的功能(與輸出的功能有關的功能)。例如，當在驗證目標應用文件中存儲的程序是根據(jù)用戶輸入的多個命令工作的程序并且僅在輸入特定命令時通過與因特網的連接來與另一計算機系統(tǒng)進行通信，而且在步驟S106輸出的功能是與因特網連接有關的功能時，用戶可以執(zhí)行操作驗證從而使得用于驗證的命令限于來自將向驗證目標應用文件輸入的所有命令之中的、用來進行與因特網的連接的命令。這里，如果用戶可以根據(jù)共享文件提供的函數(shù)調用的標識符估計該函數(shù)調用的功能，則可以在步驟S106輸出函數(shù)調用標識符本身而不是函數(shù)調用的功能的描述。另外，如果作為具有等于或者高于預定值的影響程度的共享文件而在步驟S104提取的共享文件是驗證目標應用文件直接參考的共享文件，則驗證支持信息生成單元103可以在步驟S105處基于用于驗證目標應用文件的參考文件信息131在共享文件所提供的所有函數(shù)調用之中僅提取由驗證目標應用文件參考的函數(shù)調用的標識符。例如，由于具有文件標識符Al的應用文件直接參考具有文件標識符LI的共享文件，所以驗證支持信息生成單元103從共享文件提供的相應函數(shù)調用的標識符Fl、F2、F3和F4之中提取由具有文件標識符Al的應用文件參考的相應函數(shù)調用的標識符Fl和F2。作為結果，變得有可能進一步限制在步驟S106輸出的必需被驗證的功能。以這一方式，完成本發(fā)明第一示例性實施例的操作。接下來，將描述本發(fā)明第一示例性實施例的特征構造。圖1是示出根據(jù)本發(fā)明第一示例性實施例的特征構造的框圖。操作驗證支持設備100包括參考關系檢測單元101、影響程度計算單元102和驗證支持信息生成單元103。參考關系檢測單元101檢測在程序文件存儲單元200中存儲的多個程序文件之間的參考關系。影響程度計算單元102基于參考關系來計算多個程序文件之中的第一程序文件的更新對直接或者間接參考該第一程序文件的程序文件的影響程度。驗證支持信息生成單元103基于參考關系和影響程度從第二程序文件直接或者間接參考的程序文件之中檢測具有等于或者高于預定值的影響程度的第三程序文件，并且輸出與第三程序文件中包括的函數(shù)調用有關的信息作為關于必需在第二程序文件中被驗證的功能的信息，其中該第二和第三程序文件處于直接或者間接參考第一程序文件的程序文件之中。根據(jù)本發(fā)明的第一示例性實施例，在與共享程序的更新相關聯(lián)的程序的操作驗證時，可以呈現(xiàn)與必須對操作驗證的目標程序驗證的功能有關的信息。這是因為影響程度計算單元102基于在程序文件之間的參考關系來計算待更新的共享文件的更新對直接或者間接參考該待更新的共享文件的每個共享文件的影響程度，并且驗證支持信息生成單元103基于參考關系和影響程度從驗證目標應用文件所參考的共享文件之中檢測具有等于或者高于預定值的影響程度的共享文件并且輸出與在檢測到的共享文件中包括的函數(shù)調用有關的信息作為關于必需在驗證目標應用文件中被驗證的功能的信息。作為結果，用戶可以創(chuàng)建驗證項目從而使它們限于在驗證目標應用文件的所有功能之中必須驗證的功能，因此用戶可以更高效地執(zhí)行計算機系統(tǒng)的操作驗證。另外，根據(jù)本發(fā)明的第一示例性實施例，即使沒有程序源代碼和詳細文檔，仍然可以針對每個程序文件計算共享文件的更新的影響程度。這是因為參考關系檢測單元101基于在每個程序文件中包括的參考文件信息131提取每個程序文件所參考的共享文件，并且由此檢測在程序文件之間的參考關系，并且影響計算單元102基于參考關系來計算共享文件的更新對每個程序文件的影響程度。盡管已經參考本發(fā)明的示例性實施例具體示出和描述了本發(fā)明，但是本發(fā)明不限于這些實施例。本領域普通技術人員將理解可以對之進行在形式和細節(jié)上的各種改變而不脫離權利要求書所限定的本發(fā)明的精神實質和范圍。例如，在本發(fā)明的第一示例性實施例中，以在程序文件之間的參考關系中、針對待更新的共享程序與經歷影響程度計算的程序文件之間存在的共享程序數(shù)目每增加一、將影響程度減半的方式計算它?？梢酝ㄟ^使用其中影響程度隨著居間共享文件數(shù)目增加而降低的任何其它方法，諸如其中根據(jù)數(shù)目設置預定固定值的方法來執(zhí)行影響程度計算。另外，在本發(fā)明的第一示例性實施例中，以僅一個待更新的共享文件為例來描述針對程序文件的影響程度的計算方法。如果存在多個待更新的共享文件，則可以確定在待更新的相應共享文件方面計算的影響程度的合計作為針對程序文件的影響程度。另外，在本發(fā)明的第一示例性實施例中，驗證目標應用文件由用戶指定。驗證支持信息生成單元103可以基于影響程度表122選擇具有滿足預定條件的影響程度的應用文件。另外，驗證支持信息生成單元103可以依次選擇多個應用文件中的每個應用文件作為驗證目標并且關于每個應用文件輸出關于待驗證的功能的信息。本申請基于并且要求于2010年9月16日提交的日本專利申請N0.2010-207872的優(yōu)先權權益，其公開內容通過引用整體結合于此。上文描述的示例性實施例的一部分或者全部可以描述為但不限于以下補充注釋。(補充注釋I)一種操作驗證支持設備，包括:參考關系檢測裝置，用于檢測在程序文件存儲裝置中存儲的多個程序文件之間的參考關系;影響程度計算裝置，用于基于所述參考關系來計算所述多個程序文件之中的第一程序文件的更新對直接或者間接參考所述第一程序文件的程序文件的影響程度；以及驗證支持信息生成裝置，用于基于所述參考關系和所述影響程度從第二程序文件直接或者間接參考的程序文件之中檢測具有等于或者高于預定值的所述影響程度的第三程序文件，并且輸出與所述第三程序文件中包括的函數(shù)調用有關的信息作為關于必需在所述第二程序文件中被驗證的功能的信息，其中所述第二和第三程序文件處于直接或者間接參考所述第一程序文件的程序文件之中。(補充注釋2)根據(jù)補充注釋I所述的操作驗證支持設備，其中，當經歷所述影響程度的計算的程序文件直接參考所述第一程序文件時，所述影響程度取最大值，以及當經歷所述影響程度的計算的程序文件間接參考所述第一程序文件時，所述影響程度根據(jù)在所述參考關系中、在所述第一程序文件與經歷所述影響程度的計算的程序文件之間的程序文件的數(shù)目而降低。(補充注釋3)根據(jù)補充注釋I或者2所述的操作驗證支持設備，其中，所述驗證目標函數(shù)輸出裝置輸出在所述第三程序文件中包括的所述函數(shù)調用所提供的功能作為與所述第三程序文件中包括的函數(shù)調用有關的所述信息。(補充注釋4)根據(jù)補充注釋I至3中的任一項補充注釋所述的操作驗證支持設備，其中，所述驗證目標函數(shù)輸出裝置在所述第二程序文件直接參考所述第三程序文件時輸出與所述第三程序文件中包括的函數(shù)調用之中、由所述第二程序文件使用的函數(shù)調用有關的信息。(補充注釋5)—種操作驗證支持方法，包括:檢測在程序文件存儲裝置中存儲的多個程序文件之間的參考關系；基于所述參考關系來計算所述多個程序文件之中的第一程序文件的更新對直接或者間接參考所述第一程序文件的程序文件的影響程度；以及基于所述參考關系和所述影響程度從第二程序文件直接或者間接參考的程序文件之中檢測具有等于或者高于預定值的所述影響程度的第三程序文件，并且輸出與所述第三程序文件中包括的函數(shù)調用有關的信息作為關于必需在所述第二程序文件中被驗證的功能的信息，其中所述第二和第三程序文件處于直接或者間接參考所述第一程序文件的程序文件之中。(補充注釋6)根據(jù)補充注釋5所述的操作驗證支持方法，其中，當經歷所述影響程度的計算的程序文件直接參考所述第一程序文件時，所述影響程度取最大值，并且當經歷所述影響程度的計算的程序文件間接參考所述第一程序文件時，所述影響程度根據(jù)在所述參考關系中、在所述第一程序文件與經歷所述影響程度的計算的所述程序文件之間的程序文件的數(shù)目而降低。(補充注釋7)根據(jù)補充注釋5或者6所述的操作驗證支持方法，其中，所述輸出輸出在所述第三程序文件中包括的所述函數(shù)調用所提供的功能作為與所述第三程序文件中包括的函數(shù)調用有關的所述信息。(補充注釋8)根據(jù)補充注釋5至7中的任一項補充注釋所述的操作驗證支持方法，其中，所述輸出在所述第二程序文件直接參考所述第三程序文件時輸出與所述第三程序文件中包括的函數(shù)調用之中、由所述第二程序文件使用的函數(shù)調用有關的信息。(補充注釋9)一種計算機可讀存儲介質，在其上記錄使計算機執(zhí)行下述方法的操作驗證支持程序，所述方法包括:檢測在程序文件存儲裝置中存儲的多個程序文件之間的參考關系；基于所述參考關系來計算所述多個程序文件之中的第一程序文件的更新對直接或者間接參考所述第一程序文件的程序文件的影響程度；以及基于所述參考關系和所述影響程度從第二程序文件直接或者間接參考的程序文件之中檢測具有等于或者高于預定值的所述影響程度的第三程序文件，并且輸出與所述第三程序文件中包括的函數(shù)調用有關的信息作為關于必需在所述第二程序文件中被驗證的功能的信息，其中所述第二和第三程序文件處于直接或者間接參考所述第一程序文件的程序文件之中。(補充注釋10)根據(jù)補充注釋9所述的計算機可讀存儲介質，在其上記錄使所述計算機執(zhí)行所述方法的所述操作驗證支持程序，其中，當經歷所述影響程度的計算的程序文件直接參考所述第一程序文件時，所述影響程度取最大值，并且當經歷所述影響程度的計算的程序文件間接參考所述第一程序文件時，所述影響程度根據(jù)在所述參考關系中、在所述第一程序文件與經歷所述影響程度的計算的所述程序文件之間的程序文件的數(shù)目而降低。(補充注釋11)根據(jù)補充注釋9或者10所述的計算機可讀存儲介質，在其上記錄使所述計算機執(zhí)行所述方法的所述操作驗證支持程序，其中，所述輸出輸出在所述第三程序文件中包括的所述函數(shù)調用所提供的功能作為與所述第三程序文件中包括的函數(shù)調用有關的所述信息。(補充注釋12)根據(jù)補充注釋9至11中的任一項補充注釋所述的計算機可讀存儲介質，在其上記錄使所述計算機執(zhí)行所述方法的所述操作驗證支持程序，其中，所述輸出在所述第二程序文件直接參考所述第三程序文件時輸出與所述第三程序文件中包括的函數(shù)調用之中、由所述第二程序文件使用的函數(shù)調用有關的信息。工業(yè)適用性本發(fā)明可以應用于程序文件更新時對程序進行的操作驗證，其例如作為PC等的維護服務的一部分而被執(zhí)行。附圖標記列表
100操作驗證支持設備 101 參考關系檢測單元 102影響程度計算單元 103驗證支持信息生成單元 104輸入/輸出單元 111參考關系存儲單元 112影響程度存儲單元 113 函數(shù)彳s息存儲單元 121參考關系表`
122影響程度表 123 函數(shù)信息 131參考文件信息 132提供的函數(shù)信息 200程序文件存儲單元
權利要求
1.一種操作驗證支持設備，包括: 參考關系檢測裝置，用于檢測在程序文件存儲裝置中存儲的多個程序文件之間的參考關系; 影響程度計算裝置，用于基于所述參考關系，計算所述多個程序文件之中的第一程序文件的更新對直接或者間接參考所述第一程序的程序文件的影響程度；以及 驗證支持信息生成裝置，用于基于所述參考關系和所述影響程度從第二程序文件直接或者間接參考的程序文件之中檢測具有等于或者高于預定值的所述影響程度的第三程序文件，并且輸出與所述第三程序文件中包括的函數(shù)調用有關的信息作為關于必需在所述第二程序文件上被驗證的功能的信息，所述第二程序文件和第三程序文件在直接或者間接參考所述第一程序文件的程序文件之中。
2.根據(jù)權利要求1所述的操作驗證支持設備，其中， 當經歷所述影響程度的計算的程序文件直接參考所述第一程序文件時，所述影響程度取最大值，并且 當經歷所述影響程度的計算的程序文件間接參考所述第一程序文件時，所述影響程度根據(jù)在所述參考關系中的、所述第一程序文件與經歷所述影響程度的計算的所述程序文件之間的程序文件的數(shù)目而降低。
3.根據(jù)權利要求1或者2所述的操作驗證支持設備，其中， 所述驗證目標函數(shù)輸出裝置輸出所述第三程序文件中包括的所述函數(shù)調用所提供的功能作為與所述第三程序文件中包括的函數(shù)調用有關的所述信息。
4.根據(jù)權利要求1至3中的任一項權利要求所述的操作驗證支持設備，其中，` 所述驗證目標函數(shù)輸出裝置在所述第二程序文件直接參考所述第三程序文件時，輸出與所述第三程序文件中包括的函數(shù)調用之中、由所述第二程序文件使用的函數(shù)調用有關的信息。
5.一種操作驗證支持方法，包括: 檢測在程序文件存儲裝置中存儲的多個程序文件之間的參考關系； 基于所述參考關系，計算所述多個程序文件之中的第一程序文件的更新對直接或者間接參考所述第一程序的程序文件的影響程度；以及 基于所述參考關系和所述影響程度從第二程序文件直接或者間接參考的程序文件之中檢測具有等于或者高于預定值的所述影響程度的第三程序文件，并且輸出與所述第三程序文件中包括的函數(shù)調用有關的信息作為關于必需在所述第二程序文件上被驗證的功能的信息，所述第二程序文件和第三程序文件在直接或者間接參考所述第一程序文件的程序文件之中。
6.根據(jù)權利要求5所述的操作驗證支持方法，其中， 當經歷所述影響程度的計算的程序文件直接參考所述第一程序文件時，所述影響程度取最大值，并且 當經歷所述影響程度的計算的程序文件間接參考所述第一程序文件時，所述影響程度根據(jù)在所述參考關系中的、所述第一程序文件與經歷所述影響程度的計算的所述程序文件之間的程序文件的數(shù)目而降低。
7.一種在其上記錄有使計算機執(zhí)行下述方法的操作驗證支持程序的計算機可讀存儲介質，所述方法包括: 檢測在程序文件存儲裝置中存儲的多個程序文件之間的參考關系； 基于所述參考關系，計算所述多個程序文件之中的第一程序文件的更新對直接或者間接參考所述第一程序的程序文件的影響程度；以及 基于所述參考關系和所述影響程度從第二程序文件直接或者間接參考的程序文件之中檢測具有等于或者高于預定值的所述影響程度的第三程序文件，并且輸出與所述第三程序文件中包括的函數(shù)調用有關的信息作為關于必需在所述第二程序文件上被驗證的功能的信息，其中所述第二程序文件和第三程序文件在直接或者間接參考所述第一程序文件的程序文件之中。
8.根據(jù)權利要求7所述的在其上記錄有使所述計算機執(zhí)行所述方法的所述操作驗證支持程序的計算機可讀存儲介質，其中， 當經歷所述影響程度的計算的程序文件直接參考所述第一程序文件時，所述影響程度取最大值，并且 當經歷所述影響程度的計算的程序文件間接參考所述第一程序文件時，所述影響程度根據(jù)在所述參考關系中的、所述第一程序文件與經歷所述影響程度的計算的所述程序文件之間的程序文件的數(shù)目而降低。
9.根據(jù)權利要求7或者8所述的在其上記錄有使所述計算機執(zhí)行所述方法的所述操作驗證支持程序的計算機可讀存儲介質，其中， 所述輸出輸出在所述第三程序文件中包括的所述函數(shù)調用所提供的功能作為與所述第三程序文件中包括的函數(shù)調用有 關的所述信息。
10.根據(jù)權利要求7至9中的任一項權利要求所述的在其上記錄有使所述計算機執(zhí)行所述方法的所述操作驗證支持程序的計算機可讀存儲介質，其中， 所述輸出在所述第二程序文件直接參考所述第三程序文件時，輸出與所述第三程序文件中包括的函數(shù)調用之中、由所述第二程序文件使用的函數(shù)調用有關的信息。
全文摘要
在本發(fā)明中，當更新共享程序時在對程序的操作驗證時提供與待驗證的程序中需要驗證的動作有關的信息。影響程度計算單元(102)基于程序文件之間的參考關系計算待更新的共享文件的更新對直接或者間接參考待更新的共享文件的共享文件具有的影響的程度。驗證支持信息生成單元(103)基于參考關系和影響的程度在待驗證的應用文件直接或者間接參考的共享文件之中檢測具有等于或者高于預定值的影響程度的共享文件，并且輸出與所述共享文件中包含的函數(shù)有關的信息作為與待驗證的應用文件中需要驗證的動作有關的信息。
文檔編號G06F9/44GK103119558SQ20118004495
公開日2013年5月22日 申請日期2011年9月15日 優(yōu)先權日2010年9月16日
發(fā)明者蘆野佑樹, 中江政行 申請人:日本電氣株式會社