类的数据流分析方法研究  

RESEARCH ON DATA FLOW ANALYSIS APPROACH FOR CLASS

作　　者：孙跃勇[1] 张涌[1] 赵文耘[1] 丁文 

机构地区：[1]复旦大学计算机科学与工程系,上海200433

出　　处：《计算机应用与软件》2002年第12期6-10,43,共6页Computer Applications and Software

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

关 键 词：数据流分析方法 面向对象 软件开发 操作级别 操作调用序列 操作调用图 控制流图 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]