A Method for Detecting Operating System Resource Problems
A detection method and resource technology, applied in the field of operating system resource problem detection, can solve the problems of inability to comprehensively detect memory leaks, complex operating system software functions, and high reliability and security requirements, so as to solve automatic detection problems and improve The effect of test efficiency and low false negative rate
Inactive Publication Date: 2016-03-09
DALIAN JIAOTONG UNIVERSITY
View PDF1 Cites 0 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Resource problem is a common software defect, which has the characteristics of strong concealment, strong harm, strong randomness, and wide influence.
This method is more effective than testing in large-scale system error detection, but the detection is based on the model abstracted from the code, not the code itself; the abstraction technology and transformation method used in the model building process may make the built model and program There is a large deviation in the code, which affects the reliability of the monitoring results
There are two main defects in dynamic analysis technology: due to the limitation of the quality and quantity of test cases, it is impossible to comprehensively detect the memory leak problem in the program; Detection of the operating system kernel
The operating system software has the characteristics of complex functions, high reliability and security requirements, etc.
Therefore, resource problems are very harmful to the operating system.
Method used
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
Examples
Experimental program
Comparison scheme
Effect test
Embodiment Construction
[0016] The specific detection process is completed in the following five steps, such as figure 1 shown.
[0017] The first step is to read the file: responsible for reading the specified source code file, find out each function in the file, and instantiate the file name, function name, and function code information of the function into the function information class variable, and store it in the function linked list.
[0018] The second step is statement preprocessing: standardize the statement to ensure that each line contains only one statement; add a return statement to the function without the "return" keyword at the end, so that the exit can be found in the later detection; convert the break statement into goto statement, and delete the goto statement and its label statement returned upwards to prevent "loops" from appearing in the resource path diagram; type mark the function statement and delete irrelevant statements; record the original line number, statement type, s...
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more PUM
Login to view more Abstract
The invention discloses a resource problem detection method for a novel operation system, which belongs to the technical field of software testing. The method comprises the following steps: I, reading a file; II, preprocessing sentences; III, processing the sentences; IV, generating paths; V, detecting and reporting a detection result: traversing paths in a path linked list to monitor the quantity change condition of resources in each path; detecting possible resource problems according to a resource problem error model; recording the types, occurrence positions and information of the detected resource problems, and generating a detection result report; recording execution paths from entries to codes where resource problems occur and control conditions, and generating an auxiliary test case, wherein in the step, the quantity change condition of each resource in the paths is recorded by traversing the resource paths so as to judge whether resource problems exist in functions or not.
Description
technical field [0001] The invention relates to a method for detecting an operating system resource problem, belonging to the technical field of software testing. Background technique [0002] In the process of resource application, use, and release, errors caused by failure to meet normative, security, and reliability requirements are called resource problems. Common resource problems include resource leakage and resource access conflicts. Resource problem is a common software defect, which has the characteristics of strong concealment, strong harm, strong randomness, and wide influence. The seriousness of resource problems has attracted the attention of many scholars, but most of them are limited to memory resources, without considering other resources such as kernel locks and sockets; at the same time, only the detection of memory resource leaks has been solved, and no Resolves detection of resource access violation issues. The detection methods for memory resource leak...
Claims
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more Application Information
Patent Timeline
Login to view more Patent Type & Authority Patents(China)
IPC IPC(8): G06F11/36
Inventor 黄明郭书杰梁旭
Owner DALIAN JIAOTONG UNIVERSITY
Who we serve
- R&D Engineer
- R&D Manager
- IP Professional
Why Eureka
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Social media
Try Eureka
Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap