Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

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 more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • A Method for Detecting Operating System Resource Problems
  • A Method for Detecting Operating System Resource Problems
  • A Method for Detecting Operating System Resource Problems

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

No 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
no application 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 Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com