该文类的数据流测试从以下两方面着手研究:(1)基于规范的类的数据流测试技术研究基子规范的测试就是利用软件的文档规范来产生测试用例的测试策略,从而可以揭示软件规范中存在的错误.将数据流技术引入到状态机的测试方法,产生的测试用例可以揭示所有的实例变量的错误,而不再仅限于发现与对象状态定义有关的实例变量的错误.另外,有限状态机测试又能为类的数据流测试提供有效的测试用例(函数序列)生成方法,提高了测试效率.(2)基于代码的类的数据流测试技术研究基于代码的测试就是从程序源代码产生测试用例的软件测试方法.它可以发现系统实现中产生的错误.作为一种非常有效的基子代码的测试策略,数据流测试也可以用于类的代码测试中.这是基于这样一种观察,即对象中的计算是实例变量上的动作序列.基于此,提出了一种类数据流测试框架.该测试框架首先在类的范围内建立数据流图,并计算出实例变量的定义-使用对信息.接着通过匹配备成员函数的前置条件和后置条件(函数激活所必须满足的),为定义-使用对演绎出DC路径(如果存在的话),即函数激活序列.这种测试策略降低了数据流测试中策使用例选择的复杂性,而且产生的测试用例可以发现成员函数和实例变量的交互作用错误.