论文部分内容阅读
目前，在面向对象软件测试中，如何建立合适的程序模型、提高发现错误的能力等方面还没有得到解决。该文研究了对象类数据流建模技术，首先定义一种数据流表示工具：（方法及对象类）数据流ＢＢ（Ｂｌｏｃｋ ｔｏ Ｂｌｏｃｋ）图，以描述方法和对象类数据流模型，然后基于对象的动态特征和计算效果传播特征，讨论了对象类数据流测试的策略。