專利名稱：系統(tǒng)運(yùn)行正確性的檢測(cè)方法
技術(shù)領(lǐng)域：
本發(fā)明涉及電腦系統(tǒng)檢測(cè)技術(shù)，特別是涉及一種系統(tǒng)運(yùn)行正確性的檢測(cè)方法。
系統(tǒng)程序以及在其操作環(huán)境下操作的應(yīng)用程序若運(yùn)行失敗，除了邏輯性錯(cuò)誤之外，主要原因在于構(gòu)成系統(tǒng)程序或應(yīng)用程序運(yùn)行所需的資源移失、損壞、或是被錯(cuò)誤覆蓋。隨著Windows等大型操作系統(tǒng)的普遍使用，應(yīng)用程序運(yùn)行所需的資源也趨于龐大復(fù)雜，一旦發(fā)生資源移失、損壞、或是被錯(cuò)誤覆蓋，用戶將無(wú)從知曉運(yùn)行失敗的原因。
現(xiàn)有較常采用的方式，是當(dāng)系統(tǒng)程序或應(yīng)用程序發(fā)生運(yùn)行失敗時(shí)，僅僅是將所有文件重新復(fù)制。如此一來(lái)，就可能會(huì)產(chǎn)生用戶重要數(shù)據(jù)移失的問(wèn)題。
另一現(xiàn)有技術(shù)則是通過(guò)對(duì)該應(yīng)用程序建立模板庫(kù)(template)的方式。然而，此模板庫(kù)充其量只是應(yīng)用程序相關(guān)動(dòng)態(tài)鏈接庫(kù)文件暨可執(zhí)行文件等數(shù)據(jù)匯集而成，故僅能簡(jiǎn)單地分析系統(tǒng)錯(cuò)誤，修復(fù)時(shí)也僅是采取重新安裝系統(tǒng)程序的方式，這樣，將導(dǎo)致原有應(yīng)用程序相關(guān)數(shù)據(jù)的移失。再者，以目前技術(shù)所創(chuàng)建的模板庫(kù)中，只是數(shù)據(jù)的簡(jiǎn)單堆積，各數(shù)據(jù)之間并沒(méi)有建立時(shí)間上或空間上的邏輯關(guān)系，因此，對(duì)于某些特殊文件中的資源，則無(wú)法做出比較，也就是無(wú)法自動(dòng)追加文件分析的類型。另外，現(xiàn)有模板庫(kù)不能具體分析發(fā)生錯(cuò)誤的文件，判斷過(guò)程中準(zhǔn)確性低，無(wú)法針對(duì)個(gè)別文件進(jìn)行錯(cuò)誤修正。此外，由于模板庫(kù)的建立是與當(dāng)前系統(tǒng)程序的動(dòng)態(tài)鏈接庫(kù)密切相關(guān)，因此無(wú)法支援跨平臺(tái)檢測(cè)。
本發(fā)明的一目的在于提供一種系統(tǒng)運(yùn)行正確性的檢測(cè)方法，利用可運(yùn)行集合檢測(cè)系統(tǒng)及應(yīng)用程序檢測(cè)能否正確運(yùn)行。
本發(fā)明的另一目的在于提供一種系統(tǒng)運(yùn)行正確性的檢測(cè)方法，由一集合解譯標(biāo)準(zhǔn)介面，可跨平臺(tái)支援系統(tǒng)及應(yīng)用程序的錯(cuò)誤判斷。
本發(fā)明的目的是這樣實(shí)現(xiàn)的，即提供一種系統(tǒng)運(yùn)行正確性的檢測(cè)方法來(lái)完成。首先，讀取某一待測(cè)程序的原始數(shù)據(jù)，并根據(jù)此原始數(shù)據(jù)建立一可運(yùn)行集合。接著，根據(jù)可運(yùn)行集合分析待測(cè)程序的運(yùn)行正確性，若知運(yùn)誤，則產(chǎn)生一錯(cuò)誤報(bào)告。至于建立可運(yùn)行集合的步驟，是先對(duì)待測(cè)程序的文件系統(tǒng)進(jìn)行掃描，并根據(jù)以建立一數(shù)據(jù)庫(kù)，此數(shù)據(jù)庫(kù)包括待測(cè)程序直接調(diào)用的動(dòng)態(tài)鏈接庫(kù)、間接調(diào)用的動(dòng)態(tài)鏈接庫(kù)、以及冗余調(diào)用文件等的信息。然后，根據(jù)文件信息選取待測(cè)程序可行及所需的文件。最后，根據(jù)經(jīng)選取文件產(chǎn)生一對(duì)應(yīng)結(jié)構(gòu)表，而由對(duì)應(yīng)結(jié)構(gòu)表組成可運(yùn)行集合。
本發(fā)明方法的優(yōu)點(diǎn)在于，其能具體分析出產(chǎn)生錯(cuò)誤的文件，并可針對(duì)發(fā)生錯(cuò)誤的文件加以修正，故準(zhǔn)確高，且具有即時(shí)性。
下面結(jié)合附圖，詳細(xì)說(shuō)明本發(fā)明的實(shí)施例，其中

圖1為根據(jù)本發(fā)明建立可運(yùn)行集合一實(shí)施例的流程圖；圖2為根據(jù)本發(fā)明某一應(yīng)用程序所對(duì)應(yīng)的數(shù)據(jù)庫(kù)結(jié)構(gòu)的示意圖；圖3為可運(yùn)行集合內(nèi)與應(yīng)用程序正確運(yùn)行相關(guān)的某一資源的結(jié)構(gòu)表示意圖；圖4為根據(jù)本發(fā)明的分析功能方塊圖；以及圖5為根據(jù)本發(fā)明檢測(cè)方法一優(yōu)選實(shí)施例的流程圖。
由于應(yīng)用程序運(yùn)行失敗最基本的原因在于資源的缺損，因此，若能即時(shí)地分析出造成程序運(yùn)行失敗的原因，并且能夠立即予以彌補(bǔ)，便可以在無(wú)需技術(shù)人員的情況下，根據(jù)本發(fā)明檢測(cè)方法分析并恢復(fù)系統(tǒng)及應(yīng)用程序，而使系統(tǒng)恢復(fù)正常運(yùn)行的能力。
首先，根據(jù)系統(tǒng)程序的原理建立相關(guān)的數(shù)學(xué)模型(詳見(jiàn)后述的可行性分析模型)。在系統(tǒng)程序的操作環(huán)境中，應(yīng)用程序若能正常運(yùn)行，其最基本的前提是該應(yīng)用程序直接調(diào)用的各種資源暨系統(tǒng)程序所提供的基本資源的狀態(tài)均屬正常。因此，根據(jù)本發(fā)明方法，提出可運(yùn)行集合(runnable set)做為判斷依據(jù)。所謂可運(yùn)行集合是指某一應(yīng)用程序在其所屬系統(tǒng)程序上執(zhí)行時(shí)所需資源的總和；若以系統(tǒng)的觀點(diǎn)而言，可運(yùn)行集合的概念即為系統(tǒng)程序正常運(yùn)行所需資源的總和。
在不同系統(tǒng)程序環(huán)境下，可執(zhí)行時(shí)的狀態(tài)參數(shù)并不盡相同，為方便說(shuō)明起見(jiàn)，下文以Windows 95系統(tǒng)程序的操作環(huán)境為例，說(shuō)明建立一應(yīng)用程序的可運(yùn)行集合的過(guò)程。
請(qǐng)參照?qǐng)D1，所示為根據(jù)本發(fā)明建立可運(yùn)行集合的流程圖示。圖1中，首先是從步驟10開始對(duì)待測(cè)應(yīng)用程序所屬文件系統(tǒng)進(jìn)行掃描，獲取包括應(yīng)用程序名稱、大小、PE文件格式版本等文件特征，并且包括該應(yīng)用程序運(yùn)行時(shí)直接調(diào)用的動(dòng)態(tài)鏈接庫(kù)(DLLDynamic Linking Library)文件、間接調(diào)用的動(dòng)態(tài)鏈接庫(kù)文件、以及與待測(cè)應(yīng)用程序直接相關(guān)的冗余調(diào)用文件(諸如延伸6文件名為.hlp、.txt、…、.dat、.dbf等的文件)的詳細(xì)信息，而于步驟11，建立此待測(cè)應(yīng)用程序的相關(guān)數(shù)據(jù)庫(kù)，此數(shù)據(jù)庫(kù)的結(jié)構(gòu)即如圖2所示，圖2所示即為根據(jù)本發(fā)明某一應(yīng)用程序所對(duì)應(yīng)的數(shù)據(jù)庫(kù)結(jié)構(gòu)的示意圖。圖示中，應(yīng)用程序的數(shù)據(jù)庫(kù)結(jié)構(gòu)包括特征描述項(xiàng)20、直接調(diào)用項(xiàng)21、間接調(diào)用項(xiàng)22、以及冗余調(diào)用項(xiàng)23等四個(gè)。其中，特征描述項(xiàng)20記錄著關(guān)于該應(yīng)用程序的名稱、大小、PE文件格式版本等的描述；直接調(diào)用項(xiàng)21記錄著與系統(tǒng)程序相關(guān)、直接調(diào)用的動(dòng)態(tài)鏈接庫(kù)(.dll)，是屬于靜態(tài)調(diào)用文件的詳細(xì)信息；間接調(diào)用項(xiàng)22記錄著與系統(tǒng)程序相關(guān)、間接調(diào)用的動(dòng)態(tài)鏈接庫(kù)(.dll)，是屬于動(dòng)態(tài)調(diào)用文件的詳細(xì)信息；而冗余調(diào)用項(xiàng)23則記錄著與系統(tǒng)無(wú)關(guān)、而與該應(yīng)用程序直接相關(guān)的冗余調(diào)用文件，諸如延伸文件名為.hlp、.txt、…、.dat、.dbf等文件。
接著，再請(qǐng)參照?qǐng)D1，進(jìn)行步驟12從數(shù)據(jù)庫(kù)獲取一組文件信息后，于步驟13根據(jù)文件信息判斷是否相對(duì)應(yīng)文件屬于待測(cè)應(yīng)用程序可執(zhí)行及所需者。若于步驟13知道屬于待測(cè)應(yīng)用程序可運(yùn)行集合所需的文件，則進(jìn)行步驟14根據(jù)此一文件信息對(duì)所對(duì)應(yīng)的文件，自文件系統(tǒng)中進(jìn)行提取。然后，于步驟15對(duì)所提取文件進(jìn)行文件格式的分析，獲取如同圖3所示的結(jié)構(gòu)表。
請(qǐng)參照?qǐng)D3，所示為與應(yīng)用程序正確運(yùn)行某一相關(guān)文件(或稱資源)的結(jié)構(gòu)表示意圖，圖3中，每一結(jié)構(gòu)表包括文件名稱(file name)30、文件大小(filesize)31、校驗(yàn)和(checksum)32、循環(huán)冗余檢測(cè)碼(cyclic redundancy checkcode)33、PE文件格式版本(PE file version)34等項(xiàng)，每一項(xiàng)均為某一相關(guān)文件(資源)的特征描述。
再請(qǐng)參照?qǐng)D1，接著進(jìn)行步驟16判斷對(duì)文件系統(tǒng)的掃描是否完畢，若否，則進(jìn)行步驟17指向下一筆文件信息后，回復(fù)至步驟12。再者，在步驟13判斷若知非屬待測(cè)應(yīng)用程序可行及所需的數(shù)據(jù)結(jié)構(gòu)，也進(jìn)行步驟16做掃描完畢與否的判斷。當(dāng)于步驟16判斷知道掃描已完畢，則將所獲得的若干結(jié)構(gòu)表建構(gòu)得一可運(yùn)行集合(步驟18)。換言之，可運(yùn)行集合是由與應(yīng)用程序運(yùn)行相關(guān)文件(或稱相關(guān)資源)所對(duì)應(yīng)的結(jié)構(gòu)表所組成。當(dāng)然，尚有其他建立可運(yùn)行集合的方式，圖1僅為此中的一例。
再者，請(qǐng)參照?qǐng)D4，所示為根據(jù)本發(fā)明的分析功能方塊圖。根據(jù)本發(fā)明，
再者，請(qǐng)參照?qǐng)D4，所示為根據(jù)本發(fā)明的分析功能方塊圖。根據(jù)本發(fā)明，由不同平臺(tái)操作環(huán)境下所建立的可運(yùn)行集合，可分別通過(guò)各自的系統(tǒng)集合解譯器處理，譬如，圖4所示，各種系統(tǒng)程序如Windows95、Unix、Linux、Mac0S等由各自的解譯器40、41、42、43，并通過(guò)插接(plug-in)方式與一集合解譯公用介面44連接后，由分析模組件45做檢測(cè)。換言之，本發(fā)明的檢測(cè)方法可以檢測(cè)多種系統(tǒng)程序及其環(huán)境中運(yùn)行的應(yīng)用程序是否正確。由于分析方法是以集合形式為之，而集合解譯則與系統(tǒng)程序無(wú)關(guān)。
請(qǐng)參照?qǐng)D5，所示為根據(jù)本發(fā)明的檢測(cè)方法一優(yōu)選實(shí)施例的流程圖。首先，于步驟50讀取系統(tǒng)或應(yīng)用程序的原始數(shù)據(jù)，此原始數(shù)據(jù)是應(yīng)用程序運(yùn)行所建立的模板庫(kù)。再于步驟51根據(jù)是項(xiàng)原始數(shù)據(jù)建立當(dāng)前可運(yùn)行集合(詳如圖1所示)。接著，進(jìn)行步驟52分析當(dāng)前系統(tǒng)或應(yīng)用程序的正確性，此分析方法利用可行性分析模型(詳如下述)進(jìn)行判斷。再于步驟53判斷系統(tǒng)或應(yīng)用程序的運(yùn)行是否正確。若屬正確，則進(jìn)行步驟54判斷是否進(jìn)行下一次分析，若是，則回復(fù)至步驟50；若否，則完成此一流程。
若在步驟53知道系統(tǒng)或應(yīng)用程序運(yùn)行出錯(cuò)，則進(jìn)行步驟55產(chǎn)生分析錯(cuò)誤報(bào)告，并可于步驟56針對(duì)錯(cuò)誤文件進(jìn)行修正(詳如下述)。然后，于步驟54判斷是否進(jìn)行下一次分析。
由于本發(fā)明的檢測(cè)方法，是利用集合形式進(jìn)行分析。因此，當(dāng)用戶需要測(cè)試系統(tǒng)程序的可行性時(shí)，先決條件為當(dāng)前的系統(tǒng)程序(Sc)需包括于待檢測(cè)系統(tǒng)程序的標(biāo)準(zhǔn)格式(Sstd)，并以集合條件ScSos檢測(cè)當(dāng)前系統(tǒng)是否正常。
當(dāng)用戶欲對(duì)應(yīng)用程序的可行性進(jìn)行測(cè)試時(shí)，便需區(qū)分為與系統(tǒng)程序相關(guān)測(cè)試及與應(yīng)用程序相關(guān)測(cè)試兩類。就與系統(tǒng)相關(guān)測(cè)試而言，檢驗(yàn)當(dāng)前應(yīng)用程序(Aε)與當(dāng)前系統(tǒng)程序(Sc)的交集是否包含于標(biāo)準(zhǔn)系統(tǒng)程序(Sstd)。假若(Aε∩Sc)Sstd，表示當(dāng)前應(yīng)用程序(Aε，即應(yīng)用程序間接可運(yùn)行集合)所調(diào)用的動(dòng)態(tài)鏈接庫(kù)與當(dāng)前系統(tǒng)程序(Sc)相關(guān)的動(dòng)態(tài)鏈接庫(kù)正常；反之，則表示系統(tǒng)程序出錯(cuò)。就與應(yīng)用程序相關(guān)測(cè)試言，當(dāng)運(yùn)行一段時(shí)間的應(yīng)用程序，其相關(guān)記錄集合(Ac，即當(dāng)前可運(yùn)行集合)可能會(huì)發(fā)生變化，需與應(yīng)用程序在系統(tǒng)程序中的原始記錄集合(Aoriginal)相互比較。若前者包括于后者，則表示運(yùn)行后或運(yùn)行中的應(yīng)用程序未發(fā)生超出正常范圍的變化，即可認(rèn)定該應(yīng)用程序正常；否則，則視為該應(yīng)用程序出錯(cuò)。
經(jīng)過(guò)上述可行性分析后，檢測(cè)出系統(tǒng)程序或應(yīng)用程序錯(cuò)誤之后，將發(fā)生錯(cuò)誤的記錄歸納為錯(cuò)誤分析報(bào)告，并可從原始數(shù)據(jù)中自動(dòng)找出正確的記錄，根據(jù)以替換掉錯(cuò)誤的記錄。這樣，可針對(duì)發(fā)生錯(cuò)誤的個(gè)別文件進(jìn)行修正。然而，若欲實(shí)現(xiàn)個(gè)別性的錯(cuò)誤修復(fù)，前提當(dāng)需先為應(yīng)用程序進(jìn)行備份，并將必要的資料信息存入數(shù)據(jù)庫(kù)中。當(dāng)用戶選擇修復(fù)時(shí)，即可從預(yù)先備份者進(jìn)行相關(guān)調(diào)用，將欲修復(fù)的資源提取出來(lái)，進(jìn)行修復(fù)。
為了具體說(shuō)明本發(fā)明的檢測(cè)方法，以Winzip為例做一說(shuō)明首先，掃描Winzip文件系統(tǒng)的相關(guān)信息，其中，包括應(yīng)用程序名稱、大小、PE文件格式版本等特征描述，以及該應(yīng)用程序運(yùn)行時(shí)直接調(diào)用的動(dòng)態(tài)鏈接庫(kù)、間接調(diào)用的動(dòng)態(tài)鏈接庫(kù)、以及冗余調(diào)用文件等的詳細(xì)信息，建立Winzip的相關(guān)數(shù)據(jù)庫(kù)。
從該數(shù)據(jù)庫(kù)中獲取文件信息，對(duì)與Winzip相關(guān)的可運(yùn)行集合所需的文件進(jìn)行分析，獲取相對(duì)應(yīng)的結(jié)構(gòu)表，根據(jù)以構(gòu)成可運(yùn)行集合，即如下表所示。
然后，讀取該應(yīng)用程序預(yù)先備份好的原始數(shù)據(jù)，與可運(yùn)行集合進(jìn)行比較，分析當(dāng)前系統(tǒng)程序或該應(yīng)用程序運(yùn)行的正確性，若有不正確的狀態(tài)記錄，則產(chǎn)生純文字文件的錯(cuò)誤報(bào)告，即如下示。
WinZip 6.0WINZIPFM.DLL＝Different version→MalfunctionWZ.COM＝Different file size→MalfunctionWZ32.DLL＝Different version→Fail RunningWINZIP.HLP＝Different CRC code→NO HELP Function關(guān)于修正錯(cuò)誤的方法，譬如上例錯(cuò)誤報(bào)告中WINZIP.HLP不能正常開啟，是因?yàn)镃RC CODE錯(cuò)誤，故可將預(yù)先備份妥當(dāng)?shù)奈募_部分寫入當(dāng)前文件內(nèi)，恢復(fù)該文件的正常運(yùn)行。
雖然以上結(jié)合優(yōu)選實(shí)施例揭露了本發(fā)明，然而其并非用以限定本發(fā)明，任何熟悉本技術(shù)的人員，在不脫離本發(fā)明的精神和范圍內(nèi)，可作更動(dòng)與潤(rùn)飾，因此本發(fā)明的保護(hù)范圍應(yīng)當(dāng)視為附上的權(quán)利要求所界定的為準(zhǔn)。
權(quán)利要求
1.一種系統(tǒng)運(yùn)行正確性的檢測(cè)方法，其特征在于，包括下列步驟(a)讀取一程序的原始數(shù)據(jù)；(b)根據(jù)該原始數(shù)據(jù)建立一可運(yùn)行集合；(c)根據(jù)該可運(yùn)行集合分析該程序的運(yùn)行正確性；以及(d)若于步驟(c)知運(yùn)行有錯(cuò)誤，則產(chǎn)生一錯(cuò)誤報(bào)告。
2.如權(quán)利要求1所述的系統(tǒng)運(yùn)行正確性的檢測(cè)方法，其特征在于，步驟(b)包括掃描該程序的文件系統(tǒng)，并以此建立一數(shù)據(jù)庫(kù)，該數(shù)據(jù)庫(kù)包括該程序直接調(diào)用的動(dòng)態(tài)鏈接庫(kù)、間接調(diào)用的動(dòng)態(tài)鏈接庫(kù)、以及冗余調(diào)用文件等的信息；根據(jù)該各文件信息，選取該程序可行及所需的文件；根據(jù)每一該經(jīng)選取文件產(chǎn)生一對(duì)應(yīng)結(jié)構(gòu)表，而由該各對(duì)應(yīng)結(jié)構(gòu)表組成該可運(yùn)行集合。
3.如權(quán)利要求2所述的系統(tǒng)運(yùn)行正確性的檢測(cè)方法，其特征在于，每一該對(duì)應(yīng)結(jié)構(gòu)表包括文件名稱、文件大小、核對(duì)和、循環(huán)冗余檢測(cè)碼、PE文件格式版本等項(xiàng)。
4.如權(quán)利要求2所述的系統(tǒng)運(yùn)行正確性的檢測(cè)方法，其特征在于，選取該程序可行及所需的文件的步驟是自該文件系統(tǒng)中進(jìn)行提取。
5.如權(quán)利要求1所述的系統(tǒng)運(yùn)行正確性的檢測(cè)方法，其特征在于，該程序是系統(tǒng)程序。
6.如權(quán)利要求5所述的系統(tǒng)運(yùn)行正確性的檢測(cè)方法，其特征在于，步驟(b)是判斷當(dāng)前的該系統(tǒng)程序需包括于待檢測(cè)系統(tǒng)程序的標(biāo)準(zhǔn)格式。
7.如權(quán)利要求1所述的系統(tǒng)運(yùn)行正確性的檢測(cè)方法，其特征在于，該程序是應(yīng)用程序，該應(yīng)用程序是于一系統(tǒng)程序的操作環(huán)境下操作。
8.如權(quán)利要求7所述的系統(tǒng)運(yùn)行正確性的檢測(cè)方法，其特征在于，步驟(b)包括檢驗(yàn)當(dāng)前該應(yīng)用程序與當(dāng)前系統(tǒng)程序的交集是否包括于標(biāo)準(zhǔn)系統(tǒng)程序；以及運(yùn)行后的該應(yīng)用程序相關(guān)記錄集合是否可包括于該應(yīng)用程序在該系統(tǒng)程序中的原始記錄集合。
9.如權(quán)利要求1所述的系統(tǒng)運(yùn)行正確性的檢測(cè)方法，其特征在于，尚包括步驟(e)根據(jù)該錯(cuò)誤報(bào)告逐一修正。
全文摘要
一種系統(tǒng)運(yùn)行正確性的檢測(cè)方法,首先,讀取某一待測(cè)程序的原始數(shù)據(jù),并以此建立一可運(yùn)行集合,接著,據(jù)可運(yùn)行集合分析待測(cè)程序的運(yùn)行正確性,若知運(yùn)行有誤,則產(chǎn)生錯(cuò)誤報(bào)告。建立可運(yùn)行集合的步驟,是先對(duì)待測(cè)程序的文件系統(tǒng)進(jìn)行掃描,并以此建立一數(shù)據(jù)庫(kù),其包括動(dòng)態(tài)鏈接庫(kù)、動(dòng)態(tài)鍵接庫(kù)及冗余調(diào)用文件等信息。然后,據(jù)文件信息選取待測(cè)程序可行及所需的文件。最后,經(jīng)選取檔案而對(duì)應(yīng)的結(jié)構(gòu)表組成可運(yùn)行集合。
文檔編號(hào)G06F11/00GK1266226SQ9910248
公開日2000年9月13日 申請(qǐng)日期1999年3月4日 優(yōu)先權(quán)日1999年3月4日
發(fā)明者林光信, 陳玄同, 李鵬 申請(qǐng)人:英業(yè)達(dá)股份有限公司