基于面向对象程序代码的类测试技术-复旦大学软件工程试验室.pdfVIP

第 17 卷　第 6 期 计算机工程与设计 1996 年 12 月 V o l. 17　 N o. 6 　 　 　 COM PUTER ENGINEER ING AND D ESIGN 　 　 　 D ec. 　1996 基于面向对象程序代码的类测试技术 郑学军　王春森 ( 复旦大学计算机科学系, 上海, 200433) 摘　要　面向对象软件的基本测试单元是类, 文中提出了用一种基于代码的测试 技术——数据流测试来全面地测试类。对类测试分为 3 级: 单个成员函数的测试; 公有成员函数的测试; 公有成员函数间接口的测试。大多数现有的数据流测试可 以对前两级进行测试, 作者利用改进的数据流测试来测试第 3 级, 通过构造类控 制流图来计算数据流信息。这种技术即使在无规格说明的情况下也可以决定类中 成员函数间消息传递的次序,