下载文档原格式
第4章白盒测试技术
教学要求
熟练掌握：熟悉掌握白盒测试的依据和流程，白盒测试的方法以及本章介绍的几个白盒测试工具。
掌握：白盒测试的依据和流程和白盒测试的方法和。
了解：白盒测试的优点和缺点和白盒测试工具。
教学重点
白盒测试的依据和流程和白盒测试的方法。
教学难点
白盒测试的方法。
课时安排
本章安排4课时。
其中，理论讲授2课时。
教学大纲
4.1 白盒测试的优点和缺点
4.2 白盒测试的依据和流程
4.3 白盒测试的方法
4.3.1 逻辑覆盖法
4.3.2 基路径测试法
4.3.3 对循环的测试
4.3.4 数据流测试
4.3.5 静态白盒测试
4.3.6 动态白盒测试技术
4.4 白盒测试工具
4.4.1 C++ Test介绍
4.4.2 Logiscope介绍
4.4.3 BoundsChecker介绍
主要概念
1．逻辑覆盖法
2．基路径测试法
3．对循环的测试
4．数据流测试
5．静态白盒测试
6．动态白盒测试技术。
第一章软件测试基础课后习题答案1．什么是软件测试？软件测试发现一个应用从开始到结束时的错误，测试是一个过程。
(Glenford J.Myers 提出对软件测试的定义)测试是发现错误而执行的一个程序或系统的过程测试以发现故障为目的，是为了发现故障而执行程序过程2．软件测试涉及哪几个关键问题？软件测试的经济性原则谁来测试（who）测试什么（what）什么时候测试（when）怎样进行测试（how）测试的停止标准是什么（which）3．为什么说软件需求说明是软件故障的最大来源？软件需求是描述了系统有哪些功能，功能操作，性能如何等问题，是开发阶段的重要文档，也是后期软件开发的重要依据。
如果软件需求一开始就错了，在后面处理过程则会把错误放大，这样使得修复起来成本就是提升。
4．简述软件测试的复杂性和经济性。
复杂性1.完全测试是不现实的2.软件测试是有风险的3.杀虫剂现象4.缺陷的不确定性经济性软件测试是软件生命期中费用消耗最大的环节。
测试费用除了测试的直接消耗外，还包括其他的相关费用5．分析最近发生的软件质量事故，并简要分析产生的原因。
具体案例具体分子6．启动Windows计算器，输入“6,000-6=”（逗号不能少），观察计算结果，这是软件故障吗？为什么？这是软件故障中的界面缺陷。
由于无法输入逗号，无法进行输入，当做一个界面缺陷，因为不符合需求，原本是小数点变成了逗号。
7．软件测试应遵循哪些重要的原则或方针？1．完全测试程序是不可能的2．软件测试是有风险的3．测试无法找到隐藏的软件故障4．存在的故障数量与发现的故障数量成正比5．杀虫剂现象6．并非所有软件故障都能修复7．一般不要丢弃测试用例8．应避免测试自己编写的程序9．软件测试是一项复杂且具有创造性的和需要高度智慧的挑战性任务8．假定无法完全测试某一程序，那么在决定是否应该停止测试时应考虑哪些问题？在工作中，常用的停止测试标准有五类：测试超过了预定时间，停止测试执行了所有测试用例但没有发现故障，停止测试使用特定的测试用例方法作为判断测试停止的基础正面指出测试完成要求，如发现并修改70个软件故障根据单位是见查出故障数量决定是否停止测试9 . 假如星期一测试软件的某一功能时，每小时能发现一个新的软件故障，那么星期二会以什么频率发现软件故障？第一感觉就是与第一天（星期一）的一样，既然前一天发现的频率以每小时都有新的故障，说明软件的缺陷很高，所以第二天也可能有同样的频率。
先看以下代码：/** 白盒测试逻辑覆盖测试范例*/int logicExample(int x, int y){int magic=0;if(x>0 && y>0){magic = x+y+10; // 语句块1}else{magic = x+y-10; // 语句块2}if(magic < 0){magic = 0; // 语句块3}return magic; // 语句块4}解答：一般做白盒测试不会直接根据源代码，而是根据流程图来设计测试用例和编写测试代码，在没有设计文档时，要根据源代码画出流程图：做好了上面的准备工作，接下来就开始讲解六个逻辑覆盖标准：一、语句覆盖1、概念：设计足够多的测试用例，使得被测试程序中的每条可执行语句至少被执行一次。
在本例中，可执行语句是指语句块1到语句块4中的语句。
2、测试用例：{x=3, y=3}可以执行到语句块1和语句块4，所走的路径：a-b-e-f{x=-3, y=0}可以执行到语句块2、语句块3和语句块4，所走的路径：a-c-d-f这样，通过两个测试用例即达到了语句覆盖的标准，当然，测试用例（测试用例组）并不是唯一的。
3、测试的充分性：假设第一个判断语句if(x>0 && y>0)中的“&&”被程序员错误地写成了“||”，即if(x>0 || y>0)，使用上面设计出来的一组测试用例来进行测试，仍然可以达到100%的语句覆盖，所以语句覆盖无法发现上述的逻辑错误。
在六种逻辑覆盖标准中，语句覆盖标准是最弱的。
二、判断覆盖（分支覆盖）1、概念：设计足够多的测试用例，使得被测试程序中的每个判断的“真”、“假”分支至少被执行一次。
在本例中共有两个判断if(x>0 && y>0)（记为P1）和if(magic < 0)（记为P2）。
2、测试用例：两个判断的取真、假分支都已经被执行过，所以满足了判断覆盖的标准。
[试题分类]:[04]白盒测试方法/[0400][综合]白盒测试方法1.下面不属于白盒测试能保证的是。
A.模块中所有独立途径至少测试一次B.测试所以逻辑决策真和假两个方面C.在所有循环的边界内部和边界上执行循环体D.不正确或漏掉的功能答案:D分数:1题型:单选题难度:12.因果图方法是根据（）之间的因果关系来设计测试用例的。
A.输入与输出B.设计与实现C.条件与结果D.主程序与子程序答案:A分数:1题型:单选题难度:13.使用白盒测试方法时，确定测试数据应根据（）和指定的覆盖标准。
A.程序的内部逻辑B.程序的复杂程度C.使用说明书D.程序的功能答案:A分数:1题型:单选题难度:14.软件测试中常用的静态分析方法是（）和接口分析。
A.引用分析B.算法分析C.可靠性分析D.效率分析答案:A分数:1题型:单选题难度:15.软件测试中常用的静态分析方法是引用分析和（）。
A.引用分析B.算法分析C.可靠性分析D.接口分析答案:D分数:1题型:单选题难度:16.白盒方法中常用的方法是（）方法。
A.路径测试B.等价类C.因果图D.归纳测试答案:A分数:1题型:单选题难度:17.在软件工程中，白箱测试法可用于测试程序的内部结构。
此方法将程序看作是（）A.路径的集合B.循环的集合C.目标的集合D.地址的集合答案:A分数:1题型:单选题难度:18.软件测试白箱测试是对软件的结构进行测试，下述：Ⅰ.边缘值分析Ⅱ.语句测试Ⅲ.分值测试Ⅳ.路经测试（）是其应包括的内容。
A.ⅠB.Ⅱ和ⅢC.Ⅲ和ⅣD.Ⅱ.Ⅲ和Ⅳ答案:D分数:1题型:单选题难度:19.在进行单元测试时，常用的方法是（）。
A.采用白盒测试，辅之以黑盒测试B.采用黑盒测试，辅之以白盒测试C.只适用白盒测试D.只适用黑盒测试答案:A分数:1题型:单选题难度:110.白盒测试法一般使用于（）测试。
A.单元B.系统C.集成D.确认答案:A分数:1题型:单选题难度:1[试题分类]:[04]白盒测试方法/[0401]逻辑覆盖法11.关于条件测试错误的是（）A.可以检查程序中所包含的逻辑条件B.条件中包含的错误有布尔算子错误C.条件中包含的错误有布尔变量错误D.条件中包含的错误有接口错误答案:D分数:1题型:单选题难度:112.关于条件中包含的错误类型说法错误的是（）A.关系算子错误B.算术表达式错误C.条件中包含的错误有布尔变量错误D.条件中包含的错误有接口错误答案:D分数:1题型:单选题难度:113.语句覆盖.判定覆盖.条件覆盖和路径覆盖都是白盒测试法设计测试用例的覆盖准则，在这些覆盖准则中最弱的准则是（）。
软件测试基本原理与实践第四章课后习题答案1. 白盒测试只能由程序员完成。
[判断题] *对错(正确答案)2. 控制流图中只有结点和边。
[判断题] *对(正确答案)错3. 程序员与测试工作无关。
[判断题] *对错(正确答案)4. 白盒测试的“条件覆盖”标准强于“判定覆盖”。
[判断题] *对错(正确答案)5. 白盒测试中，满足条件覆盖的测试用例一定能够满足判定覆盖。
[判断题] *对错(正确答案)6. 语句覆盖是白盒测试中覆盖程度最弱的一种覆盖。
[判断题] *对(正确答案)错7. 白盒测试能够发现100%的程序缺陷。
[判断题] *对错(正确答案)8. 软件开发全过程的测试工作都可以实现自动化。
[判断题] *对错(正确答案)9. 采用自动化测试有可能延误项目进度。
[判断题] *对(正确答案)错10. 程序员兼任测试员可以提高工作效率。
[判断题] *对错(正确答案)11. 测试人员要坚持原则，缺陷未修复完坚决不予通过。
[判断题] *对(正确答案)错12. 好的测试员坚持不懈追求完美。
[判断题] *对错(正确答案)13. 单元测试通常应该先进行“人工走查”，再以白盒法为主，辅以黑盒法进行动态测试。
[判断题] *对(正确答案)错14. 单元测试能发现约80%的软件缺陷 [判断题] *对(正确答案)错15. 单元测试属于动态测试 [判断题] *对(正确答案)错16. 测试是证明软件正确的方法。
[判断题] *对错(正确答案)17. 等价类划分属于黑盒测试技术而循环测试属于白盒测试。
[判断题] *对(正确答案)错18. 测试中应该对有效和无效、期望和不期望的输入都要测试。
[判断题] *错19. 程序中隐藏错误的概率与其发现的错误数成正比。
[判断题] *对(正确答案)错20. 测试应从“大规模”开始，逐步转向“小规模”。
[判断题] *对错(正确答案)21. 找出的软件缺陷越多，说明剩下的软件缺陷越少。
第四章白盒测试参考答案（注意：答案仅供参考，若有误，请自行修改。
）1、使用逻辑覆盖法测试以下程序段。
private void DoWork(int x, int y, int z)1 {2 int k = 0, j = 0;3 if ((x > 3) && (z < 10)) //3-a 和 3-b4 {5 k = x * y - 1;6 j = (int)Math.Sqrt(k);7 }8 if ((x == 4) || (y > 5)) //8-a 和 8-b9 j = x * y + 10;10 j = j % 3;11 lbResult.Text = "k=" + k.ToString() +" j=" +j.ToString () ;12 }说明：程序段中每行开头的数字是对每条语句的编号。
要求：（1）画出程序的控制流图（用题中给出的语句编号表示）。
（2）分别以语句覆盖、判定覆盖、条件覆盖、判定-条件覆盖、条件组合覆盖和路径覆盖法设计测试用例，并写出每个测试用例的执行路径（用题中给出的语句编号表示）。
（3）执行测试用例，并记录测试结果。
参考答案：（1）：控制流图：（2）(3)测试用例略。
2．基本路径测试按要求对下面的代码进行测试。
代码功能是：用折半查找在元素呈升序排列的数组中查找值为key的元素。
代码如下：private int BinSearch(int [] array,int key)1 {2 int mid,low,high;3 low=0;4 high = array.Length - 1;5 while (low <= high)6 {7 mid = (low + high) / 2;8 if (key == array[mid])9 return mid;10 else if (key < array[mid])11 high = mid - 1;12 else13 low = mid + 1;14 }15 return -1;16 }参考答案：（1）控制流图：（2）环形复杂度V（G）=3+1=4；（3）独立路径：5→15→165→8→165→8→10→11→14→5→……5→8→10→13→14→5→……测试用例表略。
