Complexity Analysis Method of Software Defect Detection System Based on Module Decomposition Technology

A software defect and analysis method technology, applied in software testing/debugging, etc., can solve problems such as increasing calculation amount and decreasing analysis efficiency

Inactive Publication Date: 2015-11-25
BEIJING UNIV OF POSTS & TELECOMM
View PDF3 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, the negative impact of the abstraction of program semantics is to increase the amount of calculation, resulting in a decrease in analysis efficiency.

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
  • Complexity Analysis Method of Software Defect Detection System Based on Module Decomposition Technology
  • Complexity Analysis Method of Software Defect Detection System Based on Module Decomposition Technology
  • Complexity Analysis Method of Software Defect Detection System Based on Module Decomposition Technology

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0053] The complexity analysis method of the software defect detection system of the present invention will be further described in detail below in conjunction with the accompanying drawings and the embodiments of the present invention.

[0054] The complexity analysis method of the defect detection system (DTS) based on the module decomposition technology of the present invention includes:

[0055] Step 1, according to the defect detection principle of the software DTS, its analysis process can be abstracted into three logically independent modules (Module) (namely, the front-end input preprocessing module (InputPreprocessor), pre-analysis module (Pre-Analysis) and The formal analysis module (FormalAnalysis) is completed, that is, the front-end input preprocessing module (InputPreprocessor) completes the front-end input preprocessing steps, the pre-analysis module (Pre-Analysis) completes the pre-analysis steps, and the formal analysis module (FormalAnalysis) completes Steps ...

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 complexity analysis method of a software defect testing system (DTS) based on a modular decomposition technology, which comprises the following steps that: A. according to a DTS defect testing principle, the flow of the analysis method comprises a front-end input pre-processing step completed by a front-end input pre-processing module, a pre-analysis step completed by a pre-analysis module, and a formal analysis step completed by a formal analysis module; B. the complexity of all analysis units inside the front-end input pre-processing module, the pre-analysis module, and the formal analysis module is sequentially analyzed according to the calling sequence and the dependence relationship to obtain the property and the law of complexity distribution of each analysis unit; and C. according to the analysis results of a step B, the complexity distribution situation of the whole DTS System is obtained by statistic. By using the complexity analysis method, the complexity distribution situation of the whole DTS system is obtained by statistic through the complexity analysis of the analysis unit inside each module, and the defects that the traditional complexity analysis method is not systemic and comprehensive enough and the like are overcome.

Description

technical field [0001] The present invention relates to software testing technology, in particular to a method for analyzing the complexity of a software defect detection system (DTS, DefectTestingSystem) based on module decomposition technology, so as to discover the performance bottleneck of the defect detection system and improve the efficiency of defect detection and concurrent execution. A test task provides a theoretical basis. Background technique [0002] Static program analysis technology can obtain the semantic information of the program without dynamically executing the program by analyzing the source code. Complete program analysis technology can be applied to the process of defect finding, type checking, compilation optimization, etc. through the abstraction of program semantics (over-approximation). However, the negative impact of the abstraction of program semantics is that it increases the amount of calculation, resulting in a decrease in analysis efficiency...

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 BEIJING UNIV OF POSTS & TELECOMM
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