类的数据流分析方法研究

RESEARCH ON DATA FLOW ANALYSIS APPROACH FOR CLASS

本文把类的操作划分成三个不同的级别,采用增量算法分别对不同级别的操作进行数据流分析,相应得到三种不同的定义-引用对,根据生成的定义-引用对就可以进行基于数据流的测试。如何对有调用关系的操作之间进行快速有效的数据流分析是对类进行数据流分析的一个难点,本文对该问题进行了深入研究,并提出了相应的解决方法。

The basic unit of testing on object - oriented software is class. In order to perform data flow analysis easily on class, in this paper we classify class methods into three levels,then incremental algorithms are adopted to analyze the data flows. According to these incremented data flow analysis algorithms, we get three kinds of def - use pairs, after that, data flow testing can be performed based on those def - use pairs. The focus of this article is on quick and effective data flow analysis between class methods which have invocation associations and produce def- use pairs for public methods.