第5章面向对象软件的测试1汇总.ppt

LOGO 5.2面向对象的单元测试 在面向对象软件的设计和开发中，说到底就是对类的设计和开发。因为面向对象软件的功能的实现，是由类通过消息传递来完成的。因此，面向对象的单元测试，实际就是对类的测试。通过前面的测试策略介绍，类测试内容包括：基于服务的测试、基于状态的测试、基于响应状态的测试，本文将着重介绍前两种类测试技术。 Kung等人提出的块分支图（Block Branch Diagram，BBD）是一种比较好的类的服务测试模型，如图5-1所示。 BBD五元组可写为f=(Du，Dd，P，Fe，G)，其中：Du={di| di∈f 引用的全局数据或类数据}；Dd={di| di∈f修改了全局数据或类数据}；P={Xlθl，X2θ2，…，Xnθn，Xn+1θn+1∈f的参数表和函数返回值，θi为↓（表示输入）、↑（表示输出）、↓↑（表示输入/输出），若Xn+1缺省，则无返回值}；Fe={Fi| Fi∈被f 调用的其他服务}；G是一个有向图，叫块体，它是按照控制流图的思想修改f的程序流程图而来的，表示f的控制结构，f中的复合条件判断被分解，每个判断框只有单个的条件。 5.2.1 基于服务的类测试技术 ? 基于服务的类测试主要考察封装在类中的一个方法对数据进行的操作。它可以采用传统的白盒测试方法，如：基路径法、插桩法、边界值法、