第4代白盒测试方法介绍VcTester实践篇.doc

第4代白盒测试方法介绍—VcTester实践篇 2006-6-15 拟制：Wayne Chan 2006-06-15 审核： 2005-01-01 审核： 2005-01-01 批准： 2005-01-01  文档修改说明： 序号 修改描述 时间 责作人 版本 1 完成初稿 2006-06-15 Wayne 1.0 文档分发列表： 序号 角色 文档接收者 分发时间 说明  目 录 1从实践到理论，再到实践 4 1.1先实践后总结 4 1.2已有的4GWM实践 4 1.3从一个例子开始 5 2在线测试 5 2.1在线驱动与在线桩 5 2.2在线测试改进 7 3测试设计先行 8 3.1测试设计先行 8 3.2 增量开发 10 4检视器 10 4.1选择检视变量 11 4.2添加检视操作 13 5测试设计模式 14 5.1三种测试设计模式 14 5.2如何选择测试设计模式 15 6测试效果评估 15 6.1基于函数调用的评估体系 15 6.2测试效果评估 16 6.3红灯停，绿灯行 16 7总结 17 附1：被测代码BubbleSort 18 附2：本文用到的测试用例 20 关键词： 白盒测试 第4代 测试方法 4GWM 在线测试 持续测试 灰盒 脚本驱动 脚本桩 摘 要： 本文是第4代白盒方法测试实践介绍，结合使用VcTester实施一次具体测试过程，描述在线测试、灰盒调测、持续测试等特性的实践特征。 缩略语： 4GWM：The 4th Generation White-box-testing Methodology，第4代白盒测试方法 XP：Extreme Programming，极限编程 SAR：Select And Run，选中执行 PCO：Points of Control and Observation，观察控制点 TDF：Test Design First，测试设计先行 LICC：Location-Independent Call Coverage，位置无关调用覆盖 LDCC：Location-Dependent Call Coverage，位置相关调用覆盖 TCC：Test Case Coverage，用例覆盖度 1从实践到理论，再到实践 1.1先实践后总结 本文的上篇从理论角度描述了4GWM的九项关键特征，本文再从实践角度诠释这些特征。 4GWM方法来源于长期工程实践，强调实践性是该方法论的显著特色，现实测试中某个问题难以解决，我们先尝试各种各样方法，最后形成最佳解决方案，归结升华就成为4GWM方法论体系。 比如，当年引入测试先行，并非要赶XP时髦，而是克服一个具体问题。在推行在线测试时，许多项目组反映测试工具好用但缺少意义，因为测试针对看得见的代码，比方计算“1+1”，设计用例测试它，其结果1+1肯定是等于2的。这个问题在一次测试模式下普遍存在，其根源在于测试设计方法，若只按代码（而非按规格）设计用例，肯定会漏掉不少设计问题。尽管如此，我们后来的实践表明，这个问题并不是向大家强调要改变测试习惯就能解决的，若从根本上去解决，还得引入测试设计先行的实践。 再如，引入测试设计程度评估，也是为了解决一个长期实践中难以回避的问题，即：覆盖指标可以评估大家有没做过测试，但无法推断是否用心的做测试了。统计问题缺陷密度不足以说明问题，因为发现问题数量直接与被测代码质量相关，测试发问题多了，一定程度上能说明问题，但发现问题少了就不好说，高手会宣称自己写的代码不必测，而假装高手的人会说，“嗯，我写的代码问题本来就少嘛！”，引入用例覆盖度尝试解决这个问题。 1.2已有的4GWM实践 目前第4代白盒方法主要实践集中在C语言与CSE语言，包括在线测试、持续测试等特性，已在许多产品得到充分验证。当然，4GWM体系经历长期发展才最后形成，少量近期发展的特性（如测试用例重构）经历市场验证尚不充分。 已有VcTester工具支持C语言的4GWM方法测试，该工具分共享版与商用版两个系列，共享版可从/VcTester下载，支持脚本驱动、脚本桩、在线测试等功能，商用版本则完整支持4GWM，共享版的功能弱一些，但针对简单的个人应用已基本足够。 下文并不尝试把4GWM涉及的功能彻头彻尾介绍清楚，做到这一点实际很难，也不见得必要。我们仅列举该测试方法区别于常规方法的主要特征，更细节内容，请大家参考VcTester相关参考手册。4GWM是通用方法论，对具体被测语言没有限定，既然C语言能够支持，相信多数编程语言都能支持（开发一个类似VcTester的工具即可），下面我们拿VcTester商用版为例展开介绍。 1.3从一个例子开