| 类的数据流分析方法研究 |
| |
| 引用本文： | 孙跃勇,张涌,赵文耘,丁文.类的数据流分析方法研究[J].计算机应用与软件,2002,19(12):6-10,43. |
| |
| 作者姓名： | 孙跃勇 张涌 赵文耘 丁文 |
| |
| 作者单位： | 复旦大学计算机科学与工程系,上海,200433 |
| |
| 摘 要： | 本文把类的操作划分成三个不同的级别，采用增量算法分别对不同级别的操作进行数据流分析，相应得到三种不同的定义－引用对，根据生成的定义－引用对就可以进行基于数据流的测试，如何对有调用关系的操作之间进行快速有效的数据流分析是对类进行数据流分析的一个难点，本文对该问题进行了深入研究，并提出了相应的解决方法。
|
| 关 键 词： | 数据流分析方法 面向对象 软件开发 操作级别 操作调用序列 操作调用图 控制流图 |
RESEARCH ON DATA FLOW ANALYSIS APPROACH FOR CLASS |
| |
| Sun Yueyong Zhang Yong Zhao Wenyun Ding Wen.RESEARCH ON DATA FLOW ANALYSIS APPROACH FOR CLASS[J].Computer Applications and Software,2002,19(12):6-10,43. |
| |
| Authors: | Sun Yueyong Zhang Yong Zhao Wenyun Ding Wen |
| |
| Abstract: | 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. |
| |
| Keywords: | Data flow analysis Def- use pair Method level Method invocation sequence Method invocation diagram Control flow graph |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
