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 the problems that the completeness of defect discovery cannot be guaranteed, defects cannot be described well, and cross-process analysis is not available, so as to achieve convenient use and analysis, and easy The effect of operation and development cost saving

Inactive Publication Date: 2010-09-15
WUHAN HUAYA XINGTONG INFORMATION TECH CO LTD
View PDF3 Cites 19 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 materi

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
  • 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, compressing the control flow graph of the merged source code model according to the defect pattern selected in the step A, the compression specifically includes:

[0045] C1. Delete the content in the detected source code mod...

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
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