资源描述：
《第4章 白盒测试方法》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、第4章白盒测试方法1．简述白盒测试用例的设计方法，并进行分析总结。解：白盒测试用例设计方法主要有逻辑覆盖和独立路径测试。从覆盖源程序语句的详尽程度分析，逻辑覆盖主要有以下不同的覆盖标准：语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖。实际项目中，由于程序内部的逻辑存在不确定性和无穷性，尤其对于大规模复杂软件，不必采用所有的覆盖指标，而应根据实际情况选择合适的覆盖指标。独立路径测试是在程序控制流图的基础上，通过分析控制结构的环路复杂性，导出可执行的独立路径集合，从而设计出相应
2、的测试用例。设计出的测试用例要保证被测程序的每条可执行的独立路径至少被执行一次。独立路径测试给出了满足路径覆盖指标所需测试用例的下限，同时给出了语句覆盖的上限，它可以确保对所有相互独立的决策结果进行测试。2．分析归纳逻辑覆盖的各种策略，并比较每种覆盖的特点，分析在怎样的情况下采用何种覆盖方式。解：语句覆盖是选择足够多的测试数据，使被测程序中每个语句至少执行一次。语句覆盖是最弱的逻辑覆盖标准。判定覆盖又叫分支覆盖，它不仅每个语句必须至少执行一次，而且每个判定表达式的每种可能的结果都应该至少执行一次
3、。判定条件覆盖比语句覆盖强，但是对程序逻辑的覆盖程度仍然不高。条件覆盖的含义是，使判定表达式中的每个条件都取到各种可能的结果。条件覆盖通常比判定覆盖强，但是也可能有相反的情况：虽然每个条件都取到了两个不同的结果，判定表达式却始终只取一个值。判定/条件覆盖的含义是，选取足够多的测试数据，使得判定表达式中的每个条件都取到各种可能的值，而且每个判定表达式也都取到各种可能的结果。但有时判定/条件覆盖也并不比条件覆盖更强。条件组合覆盖是更强的逻辑覆盖标准，它要求选取足够的测试数据，使得每个判定表达式中条件
4、的各种可能组合都至少出现一次。满足条件组合覆盖标准的测试数据，也一定满足判定覆盖、条件覆盖和判定/条件覆盖标准。因此，条件组合覆盖是前述几种覆盖标准中最强的。但是，满足条件组合覆盖标准的测试数据并不一定能使程序中的每一条路径都执行到。路径覆盖的定义是选取足够多测试数据，使程序的每一条可能路径都至少执行一次。但在实际问题中，一个不太复杂的程序，其路径数都可能是一个庞大的数字，以致要在测试中覆盖所有的路径是不可能实现的。即使对于路径数有限的程序做到了路径覆盖，也不能保证被测程序的正确性。3．对图所示
5、程序段进行语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖方法进行测试用例设计。图4.14练习题3解：语句覆盖：x=90,y=90x=79,y=90x=70,y=60判定覆盖：同上条件覆盖：同上判定/条件覆盖：同上条件组合覆盖：Ix>=80,y>=80IIx>=80,y<80IIIx<80,y>=80IVx<80,y<80Vx>=90,y>=90,x+y>=140VIx>=90,y<90,x+y>=140VIIx<90,y>=90,x+y>=140VIIIx<90,y<90,
6、x+y>=140IXx>=90,y>=90,x+y<140不存在Xx>=90,y<90,x+y<140XIx<90,y>=90,x+y<140XIIx<90,y<90,x+y<140x=90,y=90x=90,y=70x=70,y=90x=70,y=70x=100,y=30x=30,y=100x=80,y=50路径覆盖：同语句覆盖4．请下述语句按照各种覆盖方法设计测试用例。if(a>2&&b<3&&(c>4
7、
8、d<5)){statement;}else{statement;}解：语句覆盖：a=3
9、,b=2,c=5,d=5a=2,b=2,c=5,d=5判定覆盖：同上条件覆盖：a=3,b=2,c=5,d=5a=2,b=4,c=3,d=4判定/条件覆盖：同条件覆盖条件组合覆盖：Ia>2,b<3,c>4,d<5IIa>2,b<3,c>4,d>=5IIIa>2,b<3,c<=4,d<5IVa>2,b<3,c<=4,d>=5Va>2,b>=3,c>4,d<5VIa>2,b>=3,c>4,d>=5VIIa>2,b>=3,c<=4,d<5VIIIa>2,b>=3,c<=4,d>=5IXa<=2,b<3,
10、c>4,d<5Xa<=2,b<3,c>4,d>=5XIa<=2,b<3,c<=4,d<5XIIa<=2,b<3,c<=4,d>=5XIIIa<=2,b>=3,c>4,d<5XIVa<=2,b>=3,c>4,d>=5XVa<=2,b>=3,c<=4,d<5XVIa<=2,b>=3,c<=4,d>=5测试数据略5．针对test函数按照基本路径测试方法设计测试用例。 int Test(int i_count, int i_flag) { int i_te
