Timing sequence software quality defect detection method and system based on model detection

A defect detection and software quality technology, applied in the field of computer information security, can solve problems such as inability to guarantee the completeness of defect discovery, defects that cannot be described well, and insufficient defect description capabilities, so as to achieve convenient use and analysis, and easy operation , The effect of saving development costs

Inactive Publication Date: 2015-04-15
WUHAN HUAYA XINGTONG INFORMATION TECH CO LTD
View PDF3 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Although this method can find defects in software quality inspection, there are still obvious shortcomings: 1. The completeness of defect discovery cannot be guaranteed; 2. False and wrong defect reports account for the majority, which consumes a lot of extra manpower and material resources for further analysis Review; 3. The ability to describe defects is insufficient, and certain types of defects cannot be described well; 4. The ability to analyze across processes is not available, and there is nothing that can be done for overall and subtle defects

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
  • Timing sequence software quality defect detection method and system based on model detection
  • Timing sequence software quality defect detection method and system based on model detection

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0038] The specific steps of a kind of sequential software quality defect detection method based on model checking provided by the present invention are as follows:

[0039] Step A. Input the detected source code, and select a defect mode according to the detected source code.

[0040] Step B, preprocessing the detected source code, step B specifically includes:

[0041] B1. Analyzing the detected source code file, and generating a control flow graph;

[0042] B2. If the detected source code program is composed of a plurality of code files, first generate respective control flow graphs, and then merge the control flow graph files into a global control flow graph file;

[0043] B3. Modeling according to the generated control flow chart.

[0044] Step C, performing control flow graph compression on the merged source code model according to the defect pattern selected in the step A, the compression specifically includes:

[0045] C1. Deleting the content in the detected source...

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 relates to software quality defect detection method and system based on static analysis, belonging to the technical field of computer information safety. The detection method comprises the concrete steps as follows: firstly, inputting detected source codes, and selecting a defect mode according to the detected source codes; secondly, pre-processing the detected source codes; thirdly, carrying out control flow graph compression on merged source codes; fourthly, determining whether defects exist in the mode of an original detected program; fifthly, treating results, i.e., converting the position information of a termination status of detected source program codes to the position information of the original source codes; and sixthly, outputting, i.e., showing final determined result to users. The detection method and system can find software defects in advance, shorten software development cycle, save development cost and improve software quality, directly positions the detected program source codes, accurately positions the defects, and can improve the test efficiency and reduce false alarm rate.

Description

Technical field: [0001] The invention relates to a technology for detecting defects in software source codes, in particular to a software quality defect detection method based on static analysis, which belongs to the technical field of computer information security. Background technique: [0002] With the rapid development of information technology, software products (from the underlying operating system to high-level application programs) have more and more codes, and the program design has become more and more complex. There are a large number of quality defects in itself, which endangers the integrity of the information system. Usability, reliability and security, so how to detect possible defects in software programs has become a hot spot in the field of information technology. [0003] There are many detection methods for software quality defects, which can be divided into two types according to whether the software under test needs to be executed: one is dynamic analys...

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 WUHAN HUAYA XINGTONG INFORMATION TECH CO LTD
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