Resource problem detection method for novel operation system

An operating system and resource technology, which is applied in the field of new operating system resource problem detection, can solve problems such as inability to comprehensively detect memory leaks, high reliability and security requirements, and complex functions of operating system software, so as to solve the problem of automatic detection , low false negative rate, and the effect of improving test efficiency

Inactive Publication Date: 2013-12-11
DALIAN JIAOTONG UNIVERSITY
View PDF1 Cites 12 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

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
  • Resource problem detection method for novel operation system
  • Resource problem detection method for novel operation system
  • Resource problem detection method for novel operation system

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 novel operating system resource problem detection method, which belongs 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 l...

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
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
PatSnap group products

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