结构体对象的赋值运算方法研究

摘要

With the rapid development of computer technology, more and more people use software to do their work, software quality assurance has become an increasingly important link. The structure is widely used in programming language. In the Static testing, it always cannot give correct interval information when you use structure variables to calculate, so it could affect the accuracy of the judgment to related defect test. This paper introduces a kind of structure assignment operation interval calculation method. First of all, to identify a structure variable nodes from the abstract syntax tree, secondly to establish Abstract memory model for them, again according to the control lfow graph node when the assignment operators to its sub member variables.%随着计算机技术的飞速发展，软件的覆盖面越来越广，软件质量的保证成为了一个越来越重要的环节。结构体在程序设计语音中被广泛使用，在静态代码检测的时，对结构体变量进行区间运算的时候不能给出其明确的区间信息，会对其相关运算的判断精度造成影响，本文介绍了一种对结构体赋值运算的区间计算方法。首先，从抽象语法树中识别结构体变量节点，其次为他们建立抽象内存模型，再次根据控制流图节点在其进行赋值运算的时候对它的子成员变量进行运算。