Processing method and apparatus for complex data structure in code static state testing

A technology of complex data and static testing, applied in software testing/debugging, etc., can solve problems such as imperfect modeling and analysis, and achieve the effect of improving accuracy

Inactive Publication Date: 2012-09-12
BEIJING UNIV OF POSTS & TELECOMM
View PDF4 Cites 6 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] In view of this, the main purpose of the present invention is to provide a method and device for processing complex data structures in code static testing, which can solve the problem of false negatives caused by imperfect overall modeling and analysis of complex data types in static testing. Improve the accuracy of static testing to a certain extent

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
  • Processing method and apparatus for complex data structure in code static state testing
  • Processing method and apparatus for complex data structure in code static state testing
  • Processing method and apparatus for complex data structure in code static state testing

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0070] This embodiment implements a processing method for complex data structures in code static testing, such as image 3 As shown, the method includes the following steps:

[0071] Step A, recording the basic data type information related to the complex data type in the symbol table;

[0072] Step B, taking the next node of the control flow graph as the current node in sequence according to the order of the nodes in the control flow graph of the software;

[0073] Step C, generate an abstract syntax tree corresponding to the software through an auxiliary tool, use the generated abstract syntax tree to obtain data types corresponding to different program statements, and find out all statement statements corresponding to complex data types;

[0074] Step D, determine whether the declaration type of the current node declaration statement is a structure, if so, execute step E; otherwise execute step F;

[0075] Step E, split the basic data type according to the ba...

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 processing method and an apparatus for a complex data structure in code static state testing. According to the invention, the following steps are carried out: basic data type information relevant to complex data type is recorded in a symbol table; according to the basic data type information relevant to the complex data type, basic data type information splitting is carried out on the complex data type of every node in a control flow graph, independent analysis is carried out on every independent variable obtained by the basic data type information splitting, and corresponding control flow graph node information is updated; and the updated control flow graph is outputted. The invention further discloses a processing apparatus for the complex data structure in the code static state testing. By using the scheme in the present invention, the problem of failing to report generated by imperfect analysis of integrated modeling of the complex data type in the static state testing is solved, and precision of the static state testing is improved to some extent.

Description

technical field [0001] The invention relates to software testing technology, in particular to a processing method and device for complex data structures in code static testing. Background technique [0002] Software testing is a kind of software quality assurance activity, whose motivation is to discover the defects existing in the software through some economical and effective methods, so as to ensure the software quality. Software testing is usually carried out from two aspects, namely dynamic testing and static testing. In dynamic testing, it is necessary to design multiple sets of test cases according to the actual situation, and to test the dynamic behavior of the program and the correctness of the running results by actually running the program under test; static testing is to scan the source program to find out the errors that may cause errors. Structural exceptions, control flow exceptions, and data flow exceptions. Compared with dynamic testing, static testing is ...

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