《白盒测试》由会员分享，可在线阅读，更多相关《白盒测试（15页珍藏版）》请在金锄头文库上搜索。
1、湖北科技学院软件测试实验报告课程名称软件测试措施与技术班级实验日期姓名学号实验成绩实验名称白盒测试实验实验目的与规定（1)掌握白盒测试技术,并能应用白盒测试技术设计测试用例(2)能用J 实行测试实验环境主流 PC机一套，需安装wndows 操作系统、Ofic、clipse 和nit实验内容题目一:用逻辑覆盖测试措施测试如下程序段void Doork(intx,it ,int )intk0, j=0;2i (x3)&(0）3 4 =*-1;5j=sqrt(k）;6 7 if（(=4)|(y5)8j=*+10;9 =%3;0 阐明：程序段中每行开头的数字(110）是对每条语句的编号。（1)画出程序
2、的控制流图（用题中给出的语句编号表达)。(2）分别以语句覆盖、鉴定覆盖、条件覆盖、鉴定/条件覆盖、组合覆盖和途径覆盖措施设计测试用例,并写出每个测试用例的执行途径(用题中给出的语句编号表达）。题目二、折半查找请按规定对下面的jav 代码进行测试。代码的功能是:用折半查找法在元素呈升序排列的数组中查找值为ky的元素。pli int biSeah ( intarray, itkey ) it i, ow， high;l = 0;high= aay.legth-;hle ( ow =hih) md (ow hi)/2;if （ key = = aray m ）tu mid；eleif (key 3&
3、z5x*y+10j=j%3j=sqrt(k)TFTF开始结束程序的控制流图如下：56789101234语句覆盖的测试用例:语句覆盖是设计足够的测试用例使程序中的每一条可执行语句至少执行一次。这题中,两个i语句的鉴定之后,只要保证使两个鉴定都为真,那么所有的执行语句就都可以执行了，即可达到语句覆盖的规定。因此设计的测试用例如下：x ， y 6 , = 8 。 这组测试用例的执行途径是123567810鉴定覆盖的测试用例:鉴定覆盖规定程序中每个判断的取真分支和取假分支至少经历一次。这题中,有两个鉴定语句,至少需要设计两组测试用例，才干分别覆盖两个f语句的真分支和假分支。因此设计的测试用例如下:用例
4、1: , = ，z = ，其执行途径是13456910 ；用例：x , y = 5 , z = 8 ,其执行途径是167910。条件覆盖的测试用例条件覆盖规定每个判断中每个条件的也许取值至少要满足一次。这道题目中的条件有四个,分别如下: x 3 ； 3 ; z ;该程序中的分支有四个 。因此设计的测试用例如下表所示:测试用例编号测试数据覆盖条件执行途径1x=,y=,z8真真真真-2-5-78-9-102x3，=5,3假假假假1-23-6-10条件组合覆盖：条件组合覆盖规定每个鉴定的所有也许条件取值组合至少执行一次。这道题目中共有四个条件分别如下: 3 ; z ；设定x 3 为真时，记作1;为假
5、时，即 3 ， 记作F1 ；z 5为真时,记作T4 ； 为假时,即y 5, 记作F4 。条件组合如下表:编号具体条件取值覆盖条件鉴定取值x 3 ， 3 ， z 11,F2第一种鉴定：取假分支x 3，z 5F3，T4第二个鉴定：取真分支8x 4, y 5F,4第二个鉴定:取假分支设计的测试用例如下:测试用例编号测试数据覆盖条件执行途径x = , y = , = 81,T，T3,T41-34-56-7-8-102x = ,y= 3 , z = 1T1,2,3,41-2-3-6-7-8-10x =2 ,= 8 , F1,T2,F3,41-2-67-8-9-104x 2 ， = 3 , z = 131
6、,F2,F3,F41-2-7-9-10途径覆盖：途径覆盖规定覆盖程序中所有也许的途径。这道题中也许的执行途径共有4条，因此需要设计个测试用例：测试用例编号测试数据执行途径1= 4, y =8 ,z 8-23-4-789-1x = ,= 3 ， z 131-2-3-6-7-9-03x= 6 ， y 2 , = 12-4-5-6-904x =,y 3 , 131-2-36-7-910(2) 题目二程序编号后如下：li int binSerh ( it rray, i ky ） .int md,o,hih；2low 0；3.hiharayength-1;.while ( low hh) .id=(l
7、ow igh)2;6. （ key= ary mid )7trn mid;.le if (ke arramid )9.hig mid -;.el1.low = mid +111retn -1;1.程序的流程图如下：开始Low=0high=array.length-1low=highFTmid=(high+low)/2return -1结束Key=arraymidTFreturn midkeyarraymidFTlow=mid+1high=mid-1程序的控制流图如下：1234567813149101112R1R2R4R3程序的环路复杂性即cCabe复杂性度量，简朴的定义为控制流图的区域数。从程
8、序的环路复杂性可导出程序基本途径集合中的独立途径条数,这是保证程序中每个可执行语句至少执行一次所必需的至少测试用例数。一般环路复杂性可用如下三种措施求得。（1)通过控制流图的边数和节点数计算。设为控制流图的边数,N为控制流图的节点数,则定义环路复杂性为 V（G）= E + 2 ;该图中共有16条边，14个节点，因此 = ,N= 14，（)=E-N+2=1-14+= 4 ,程序的环路复杂性为4。（2）通过控制流图中鉴定节点数计算。若设P为控制流图中的鉴定节点数,则有V(G）= + 1该图中有3个鉴定节点,因此其环路复杂性为V(G)=P+1=+14，因此该程序的环路复杂性为4。（3)将环路复杂性定
9、义为控制流图中的区域数。该控制流图中有4个区域：1、R2、R3、R4，因此其环路复杂性为4。通过程序的控制流图导出基本途径集,列出程序的独立途径。 PAH：1-3-114PAT：1-2-456-7-12-4-13-4PAT3:12-4-8-9-143-4PATH：12-3-568-0-11-2-4-314根据程序构造和程序环路复杂性设计用例输入数据和预期成果,保证基本途径集中的每一条途径的执行。用例编号途径输入数据预期输出path1：1-3-4ray=;key = 1-12ph2：1-2-34-5-6-12-4-4ara32，4，;ky =43pah3：1-2-3-56-9-2-13-14ry
10、42,8;key = 20：1-2-4-56-10-1112-13-14rray4=2,4，6,;ke = 62调试过程及实验结果实验过程中由于初次使用juni测试工具，在测试过程中对测试措施存在部分问题,已经得到理解决。本次实验成果基本上与预期成果一致。总结白盒测试并不是简朴地按照代码设计测试用例,而是需要根据不同的测试需求，结合不同的测试对象,使用合适的措施进行测试。同步白盒测试与程序内部构造有关,因此也称为构造测试或逻辑驱动测试。而在进行白盒测试时,测试者必须检查程序的内部构造,从程序的逻辑构造着手，得出测试数据。因此测试者需要理解程序构造的实现细节等知识，才干有效进行测试用例的设计工作。附录1源程序:packa gts2;pulic las
