基于扩展数据流策略的面向对象程序测试

鉴于面向对象程序在结构、行为特征等方面不同于结构化程序的特点，在面向对象软件测试中需要采用相适应的技术。文章提出了一种通用的代码级错误分类，并由此研究了一种扩展的数据流策略—计算效果传播特征，定义了其表示方法，分析其对于错误检测的作用，以提高发现错误的针对性。最后提出了面向对象程序扩展数据流覆盖的策略和标准。

Object Oriented Program Testing Based on An Improved Data Flow

Object orieated program has some different characteristics in structure and behavior that differ from those in traditional structural program. This paper puts forward a general catalog of program errors based on code and researches an improved data flow strategy-computation propagation. Then. it gives the presentation method of computation propagation, analyzes its effects for error finding. Finally, the paper gives test adequacy standard based on the improved data flow.