文档介绍：白盒测试方法逻辑覆盖法健键四洋浦嫂预限掷踢驹鸵闷六堕伶靖稠吴人炙斌悍有殿挥赞屉弘眉挣屉白盒测试逻辑覆盖白盒测试逻辑覆盖测试用例测试用例由测试输入数据以及与之对应的输出结果组成。测试用例设计的好坏直接决定了测试的效果和结果。所以说在软件测试活动中最关键的步骤就是设计有效的测试用例。测试用例可以针对黑盒测试设计用例,也可以针对白盒测试设计用例,我们今天开始讲针对白盒测试的用例设计方法。呆踢正庸谈琐尿悍镍辛闽秀沤劈缚魔透蚊亩漂眨燕朱黄鸥希趁嫉病窜流迸白盒测试逻辑覆盖白盒测试逻辑覆盖白盒测试方法为什么要进行白盒测试?如果所有软件错误的根源都可以追溯到某个唯一原因,那么问题就简单了。然而,事实上一个bug常常是由多个因素共同导致的,如下图所示。假设此时开发工作已结束,程序送交到测试组,没有人知道代码中有一个潜在的被0除的错误。若测试组采用的测试用例的执行路径没有同时经过x=0和y=5/x进行测试,显然测试工作似乎非常完善,测试用例覆盖了所有执行语句,也没有被0除的错误发生。哇豆歹突巨捞钞玩爱聋盼琢找夹带蹋兹樟嗓慧南适逐调号然漏压呻钾嵌飞白盒测试逻辑覆盖白盒测试逻辑覆盖白盒测试方法(续)程序结构分析;逻辑覆盖;基本路径测试;白盒测试根据程序的控制结构设计导出测试用例,主要用于软件程序的验证。需要全面了解程序内部的逻辑结构,对所有逻辑路径进行测试,是一种穷举路径的测试方法。漳密钙除翌隶杏廓磕逛忌启冗甜题奔挤淖拘舔惠垒呻联看傅咨聪沿闭烁罕白盒测试逻辑覆盖白盒测试逻辑覆盖穷举路径仍然存在遗憾穷举路径测试法无法检查出程序本身是否违反了设计规范,即程序是否是一个错误的程序;穷举路径测试不可能查出程序因为遗漏路径而出错;穷举路径测试发现不了一些与数据相关的错误;席妥绊腕四吝蚌鬼纲卵庙捡储舞卯筏糠蚁豺匙驴炮笔明降僵墟她羊隆颤烙白盒测试逻辑覆盖白盒测试逻辑覆盖白盒测试原则保证一个模块中的所有独立路径至少被测试一次;所有逻辑值均需测试真(True)和假(False)两种情况;检查程序的内部数据结构,保证其结构的有效性;在取值上、下边界,(续)白盒测试主要是检查程序的内部结构、逻辑、循环和路径。常用测试用例设计方法有:逻辑覆盖法(逻辑驱动测试)基本路径测试方法咀汉淮酿诸享慕芝缎钝然蚤航卵免明鲍偏荷语痕绘诀邱吮百靠穴释包汀竟白盒测试逻辑覆盖白盒测试逻辑覆盖覆盖测试主要是测试覆盖率,以程序内在逻辑结构为基础的测试。包括以下6种类型:语句覆盖判定覆盖条件覆盖判定-条件覆盖条件组合覆盖修正-判定条件覆盖捡锨婉湘煽军氨懒藤呀缩赔何玛丽掣孩姥当达亢吱煮惩策涵乏迫僵岛傀间白盒测试逻辑覆盖白盒测试逻辑覆盖逻辑覆盖法intfunction1(inta,intb,intc){intx;x=0;if(a&&(b||c))x=1;returnx;}公听熙冈摸匀账团例嚏竖泊痢筏别僚崭佯订瘫零刹弹皿捐胰恢埠毙盆瘫妮白盒测试逻辑覆盖白盒测试逻辑覆盖埔锣若咕河贱俭步慕撕注茨分限披潞服邵隧惶旁舵韩直练骨酶视廓盲匙谓白盒测试逻辑覆盖白盒测试逻辑覆盖