TW480439B - Method for examining correctness of system operation - Google Patents

Abstract

A kind of method for examining correctness of system operation is disclosed in the present invention. At first, the original data of one program to be tested is read and an executable set is established according to the original data. Then, the operation correctness of the program to be tested is analyzed according to the executable set, in which an error report is generated if an operation error is known. The steps for establishing the executable set are described in the following. At first, the file system of the program to be tested is scanned and a database is then established according to the scanned results. The database includes the following information such as dynamic linking library directly used by the program to be tested, dynamic linking library that is indirectly used by the program to be tested, and the files used redundantly. After that, based on file information, the required executable file of program to be tested is selected. Finally, a corresponding structure table is generated according to the selected file, and the executable set composed of the corresponding structure table is formed.

Description

This Li Ming system is about computer system detection technology, especially there is a detection method for running accuracy. Only Men Fubei have something about a system program and its failure to make it, except for the logical errors: clothing: if the application to be run or the application is required to run: the reason is to form the system program cover . With Windows and other large, misunderstood, misunderstood, or resources that are required to run incorrectly, they tend to be widely used, and applications may be overwritten and used by mistakes. Loss, damage, and the more commonly used Fang Shi ..., the reasons for failure. When the operation fails, it is just & so = when the system program or application occurs, it is copied. So-come, (One through :: "The program is created, so it can only be easily collected; the case and other data are collected, and the data is unintelligible. Then again, the project; and the second will lead to the original application-related data. Simple stacking, each data ::: 2 template library, 'Just the asset ^ M.a. ^ There is no time or space ratio between 卄 and 、' for some special files. Resources, you ca n’t do it, you ca n’t automatically add the type of file analysis. In addition, Xi ca n’t analyze the files that have errors in detail, and the accuracy of the judgment process ca n’t be corrected for individual files. In addition, by: ;; itΐΐϊ is closely related to the dynamic link library of the current system program, so it cannot support cross-platform detection. wthis

V. Description of the invention (2) Therefore, the purpose of the present invention is to provide a “ready party” that uses the sandalwood system to run correctly. 仃 Set detection System and Application # 4 Αμ ⑺Long-term can be another method of detecting the present invention, by one person, is to provide a system operation and application error judgment_. Zhuo " face, cross-platform support system-the present invention Another one-shot detection method can specifically analyze the files that are correct for the median errors of the system operation, and correct the files, and can be targeted for the occurrence of the above-mentioned purposes with high accuracy and instantaneousness. The method can be completed by providing a system operation starting data, and based on the original = 读取, read the original row set of a program under test to analyze the Beco of the program under test to establish a feasible set. Then, according to An error report can be generated. As for build = f, if the operation is known to be wrong, the file system will be scanned. The steps of feasibility set are based on the program to be tested, including the program to be tested directly. Use ^ f to create a database, this database package library, and redundant use of file bad key connection library, indirect call dynamic link feasibility and need to wait for the program under test 4. Then, select the students according to the file information. There is a corresponding structure table, and ^ the last case of the building case is based on the selected broadcast case production up to # ώ 由 野 应 structure table can be used for free-隹 In order to make the above-mentioned and direct, the, and the present invention into a small set. The following gives a more detailed description of the features, characteristics, and advantages of # ς t as follows: Bezier examples, combined with the accompanying drawings, make a simple description of the detailed illustrations. Invention # xa 逯 立 可行 可 集集 的 例 C: \ ProgramFiles \ Patent \ 0549-4201-E.ptd page 5 480439 V. Description of the invention (3) Figure; Figure 2 shows the library according to the present invention, Schematic diagram of the structure; ^ The data corresponding to the granular form is shown in Fig. 3, which is the structure table of the corresponding resources in the feasible set. Schematic diagram related to the correct operation of the king style. Figure 5 shows the detection side according to the present invention: = and shown. No. Description: 20 ~ characteristic description stop; 21 ~ straight stop; 23 ~ redundant call stop; 3G ~ slot case = bit, ^ indirect call 32-check and sum; 33 ~ cyclic redundancy, Ran, 31 ~ File size; 40, 41, 42, 43 solutions ^ waiyu H; 34 ~ PE standard format version, and analysis of Λ 4 ~ set interpretation common interface; Example: blindness due to application running Lingxian Gan, damage, therefore, Yun & η 士 & \ The basic reason is the lack of resources. The analysis of the aluminum alloy, aluminum alloy and aluminum alloy can be done immediately. Make up, dagger: Li: Γ Kangί invented the detection method to analyze and restore the system and the ability of the application to restore the system to normal operation. ^ And = first ’Establish related mathematical models (detailed feasibility analysis models) based on the principles of system programs. In the operating environment of the system program: If the application program of Mu 2 can run normally, its most basic premise is the status of the basic resources provided by the various source programs and system programs called by the application. C. \ Prograni Files \ Patent \ 0549-4201-E.ptd page 6 480439

The state is normal. Therefore, according to the method of the present invention, an enable set is proposed as a judgment basis. The so-called feasible set refers to the sum of the resources required for a 'one-to-one' type to execute on its own system program; if "in a unified perspective, the concept of a feasible set is the sum of the resources required for the normal operation of the system program." Under different system program environments, the state parameters during execution are not the same. For the sake of convenience, the following uses the operating environment of the Windows 95 system program as an example to explain the process of establishing a feasible set of an application program. Please refer to FIG. 1, which shows a flowchart of establishing a feasible set according to the present invention. In FIG. 1, first, at step 10, scanning is performed on the file system to which the application under test belongs to obtain the application name, size, and file. File version and other file features, and includes dynamic link library (DLL: Dynamic Linking Library) files that the application runs and calls, dynamic link library files that are called indirectly, and redundant call files that are related to the application under test ( Such as extension files named hlp, txt, ..., dat, dbf, etc.), and in step 11, create this test application. Using a program-related database, the structure of this library is shown in Figure 2. Figure 2 is a schematic diagram of the database structure corresponding to an application according to the present invention. In the figure, the database structure of the application Including: feature description field 20, direct call field 21, indirect call field = 22, and redundant call field 23, etc. Among them, the feature description field "records the name, size, PE of the application Description of file format version, etc .; direct call field 2 1 records related to system program, direct adjustment

V. Description of the invention (5) A state link library (.dll), which indirectly calls the stop 22 to record the disk: "" :: information, the link library (.dll), belongs to; ^ ,, first% Dynamically related, indirect call, dynamic stop 23 records i series 2: detailed information of the file; redundant call files such as extension; and the file name directly related to the application is hlP, .txt ...... dat ,,,, and connect to the base case ^ ^ ^ ^ Special case. Since the first picture 'Go to step 12 to obtain from the database-the case belongs to the application under test can be executed = work interest :::; The phase file test application requires the necessary set of M. The right is known in step 13 as the corresponding message pair corresponding to the case s, then step 14 is based on this file in step 1 5 ^ Although the case, since Extraction in the file system. Then, the 3 bus station: The file is analyzed in the file format to obtain the structure table as shown in Figure d. For the knife 1 丨 J, please refer to Figure 3, So Qian & & Cheng m ^ ^ ^ ^ ^ ^ The structure of a dry case (or% poor source) related to the correct operation of the application means that the file name is stable (file nam6〇 弟 3 Chinese, Chinese ,, and ° structure table me ame) 30, file size (red size, ieek ·) 32, cyclic redundancy code (cyclic nd = checkc〇de) 33, pE file format version (pE We ers ion ) 34 stops, and each field is characterized. Refer to Figure 1 for the relevant broadcast case (Bai Yuan) of Ma, then ^ Whether the scan is complete, if not, go to step 16 to determine the file. After the system, return to step 12. Then, step 17: point down-file information ^ ^ Dan Kao judged in step 13 if it is not zinc: heading, 丨; ^ program feasible and required data structure : Right husband is not under test and should also be ordered in step 16

480439 V. Explanation of invention (6) When it is judged in step 16 that the scanning is completed, then a number of the structural tables are connected to each other, and the obtained table construction is performed (step 48). In other words, ^ application-related files (or related 2 ^ structured tables. Of course, there are other ways to set up a feasible set; Dangdang) is just one example of this. J Naoshi, Figure 1 and then, please Referring to FIG. 4, there is shown 5 according to the present invention Ϊ FIG. 2 According to the present invention, it is established under different platform operating environments: it can be aggregated, and one can be processed by its own system set interpreter, for example, # 4 Figures are not 'Various system programs such as Windows 95, Unix, Linux, Brother

MacOS and the like are connected to a collective interpretation public interface 44 through a plug-in method through respective interpreters 40, 41, 42, 43 and a module 45 performs detection. In other words, the detection method of the present invention can determine whether the system program and the application program running in the environment are correct. Because the ^^ method is in the form of a set, the set interpretation is related to the system program: Jin. … Please refer to FIG. 5, which shows a flowchart of an embodiment of the detection method according to the present invention. First, read the system or application's original data in step 50. This original data is a model created by the application running. Then, in step 51, the current feasible set is established based on the original data (see ^ 罔 for details). Next, go to step 52 to analyze the current system or application's accuracy. This analysis method uses a feasibility analysis model (see the following judgment for details. Then, step 53 to determine whether the system or application is running correctly. If the order is correct, perform Step 54 determines whether to perform the next analysis, if yes, then return to step 50; if not, complete this process. Right

480439 V. Description of the invention (7) If the system or application is known in step 53, step 55 generates an analysis error report, and if an error occurs in step ^, step correction is performed (see details below). Alas, in step 54 ^, analyze the error slot case. j Broken down whether to perform the next-time analysis [Feasibility Analysis Model] Due to the detection method of the present invention, when the user needs to test the system program in the form of = set ^ for analysis. c! TH? l (Sc) f ^ # ^ ^ ^ ^ ίί, std When the second V a is a test related to the system program and the response: the second test is distinguished from the system related test t, which is checked to the W department test Two categories. And; check the current application program (Αε) with the current system program

Is the parent set of formula (C) not included in the standard system program (U. If A is the current application program (Αε, the application program is indirectly feasible) /. The dynamic link library and the dynamic system program related to the current system program (sc) The original record set (A_inai) is compared with each other. If the former contains 2 and the latter, it means that the application is normal after running or running, and the application is considered normal; otherwise, the application is considered to be the other way around. 'It means that the system program has an error. It is related to the application test.' When an application is running for a period of time, its related record collection port (Ac 'that is when the 4 feasible set) may change.

Faint? , 隹 隹 人 / A \ one du each 4 ·, A is an error for this application. [Bug fixes

III _ C: \ Program Files \ Patent \ 0549-4201-E.ptd page 10. After the above feasibility analysis, after 柃, t is wrong, erroneous record r will occur, and the system program or application program will automatically find the correct ^ 2 from the original data for the error analysis report, and can. In fact, you can replace the error records with the errors that occurred. If you want to implement individual error repairs, the former j case will be amended. However, back up and save the necessary information into the data ^ ^ When you need to do it for the application first, you can do it from the backup person. When the user selects repair, remove it and repair it. For example, in order to specifically explain the detection of the present invention, I will use Winzip as an example to first 'scan the Winzip file application name, size, pE file. This application is called directly when the application is running. Sad link library, and related database of redundant call files. Relevant information of the system, including detailed descriptions such as file format versions, as well as detailed information such as dynamic link libraries, indirect action files, etc. Establish Winzip to obtain file information from this database, which is feasible for W inz ip related And the required files are analyzed to obtain the corresponding structure table, which constitutes a feasible set ', as shown in the following table.

C: \ Program Files \ Patent \ 0549-4201-E. Ptd page 11 480439 V. Description of the invention (9) File nature License.txt Redundant Order.txt Redundant Set Readme.txt Redundant Set Vendor.txt Redundant I set Whatsnew.txt Redundant set Winzip.cnt Help Redundant set Winzip.id Help Redundant set Winzip.hip Help Redundant set Winzip.txt Redundant set Winzip32.exe Teach-through Winzipfm.dll Direct dynamic link library We .com Indirect dynamic link library We32.dll Direct dynamic link library Wefm32.dll Indirect dynamic link library Wesepe32.exe Indirect dynamic link library Weshlext.dll Indirect dynamic link library Wetutor.help Help Redundant set Wewizard.gid Help Redundant set Wewizard .help Hdp Redundant Set Then read the pre-backed-up original data of the application, compare it with the feasible set, analyze the correctness of the current system program or the operation of the application, and if there is an incorrect status record, a pure The error report of the text file is shown below.

WinZip 6.0

C: \ Program Files \ Patent \ 0549-4201-E.ptd page 12 480439 V. Description of the invention (ίο) WINZIPFM · DLL ^ Different version—Malfunction WZ.COM = Different file size—Malfunction WZ 3 2. DLL — Different version Fail Running

WINZIP.HLP = Different CRC code—NO HELP

Function Regarding the method of correcting the error, for example, the WINZIP · HLP cannot be opened normally in the error report above, because the CRC code error is wrong, so the correct part of the pre-backed up building case can be written into the current file to restore the normal analysis of the case. run. Although the present invention has been limited to the present invention by a better implementation, anyone familiar with this technique and scope can make changes and retouch the examples defined in the scope of the patent application attached as above, but it is not intended to be used without departing from the present invention. The spirit of the invention, therefore, the scope of protection of the present invention shall prevail. $

Claims (1)

480439 1 · A correctness of system operation 丨 / Λ ^ ^ ^ ^ -V 〖Health detection method, including the following steps: (a) grab a private original data; w (b) establish a Feasible set · (c) Analyze the correctness of the operation of the private type according to the feasible set = ^ ll n β private operation, (d) If you know the right operation in step (c). ^ ^ ^ 丁 有 错 ^ 'Then Generate an error report. 2. The method for detecting the correctness of the system operation as described in item 1 of the m range, wherein step (b) includes: 60 ^ Scanning the slot of the program 糸 I I WV, ancient system, and based on it -Database, which includes the program directly calling the IAM u ^, η ~ Κ dynamic link library, indirect calling dynamic bear key connection library, and several more calls to the project, etc. I, · < w According to the special Eaves case information, choose # 2 ^ far to get the program feasible and required files; according to the mother should choose the trough case paint seat a slant seat /, v, housing correspondence ,,, rr structure table '箸 The corresponding structure table composes this feasible set. Finding 3. The method for detecting the correctness of the system operation as described in the second item of the application, where each corresponding structure table includes: file name, file size, checksum, cyclic redundancy check code, PE file Blocks such as format version 0 4 · The method for detecting the correctness of system operation as described in item 2 of the scope of the patent application, 'wherein' the steps of selecting the feasible and required files of the program are extracted from the file system. "5 · The method for detecting the correctness of system operation as described in item 1 of the scope of patent application, wherein the program is a system interpretation. 6 · The method for detecting the correctness of system operation as described in item 5 of the scope of patent application, Among them, step (b) judges that the current system program needs to include 480439 VI. The scope of patent application The standard format of the system program to be tested. 7. The method for detecting the correctness of system operation as described in item 1 of the scope of patent application, wherein the program is an application program and the application program operates under the operating environment of a system program. 8. The method for detecting the correctness of system operation as described in item 7 of the scope of patent application, wherein step (b) includes: checking whether the intersection of the current application program and the current system program is included in the standard system program; and Whether the application-related record collection is included in the application's original record collection in the system program. 9. The method for detecting the correctness of system operation as described in item 1 of the scope of the patent application, further comprising step (e) of correcting one by one according to the error report. C: \ ProgramFiles \ Patent \ 0549-4201-E.ptd page 15