对类执行数据流测试

面向对象程序中测试的基本单元是类。尽管最近有很多关于类测试的研究，但大多数工作都集中在黑盒方法上。然而，由于黑盒测试技术可能无法提供足够的代码覆盖范围，因此应该使用基于代码或白盒技术来增强它们。数据流测试是一种基于代码的测试技术，它使用程序中的数据流关系来指导测试的选择。现有的数据流测试技术既可以应用于类中的单个方法，也可以应用于通过消息进行交互的类中的方法，但这些技术不考虑类用户以任意顺序调用方法序列时出现的数据流交互。我们提出了一种新的类测试方法，它支持对类中的数据流交互进行数据流测试。对于类中的单个方法，以及向类中的其他方法发送消息的方法，我们的技术类似于现有的数据流测试技术。对于可以在类外部访问并且可以由类用户以任何顺序调用的方法，我们计算数据流信息，并使用它测试这些方法之间可能的交互。我们的方法的主要优点是它有助于对整个类进行数据流测试。通过支持类的数据流测试，我们提供了发现类中可能无法通过黑盒测试发现的错误的机会。我们的技术对于确定应该执行哪些方法序列来测试类也很有用，即使在没有规范的情况下也是如此。最后，与其他基于代码的测试技术一样，我们的技术的很大一部分可以自动化。