白盒检验实验报告-样式规范

1、实验报告书实验盒测试学生姓名：李庆忠 专 业：计算机科学与技术学号： 1341901317白盒测试实验报告1、实验内容系统地学习和理解白盒测试的基本概念、原理，掌握白盒测试的基本技术和方法；2、举例进行白盒测试，使用语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合3、4、5、覆盖、路径覆盖进行测试。通过试验和应用，要逐步提高和运用白盒测试技术解决实际测试问题的能力；熟悉 C+ 编程环境下编写、调试单元代码的基本操作技术和方法；完成实验并认真书写实验报告（要求给出完整的测试信息，如测试程序、测试用例，测试报告等）实验原理白盒测试原理： 已知产品的内部工作过程， 可以通过测试证明每种内部操作是否

2、符合设计规格要求， 所有内部成分是否已经过检查。 它是把测试对象看作装在一个透明的白盒子里，也就是完全了解程序的结构和处理过程。 这种方法按照程序内部的逻辑测试程序， 检验程序中的每条通路是否都能按预定要求正确工作。其又称为结构测试。流程图如下图所示s-宀6L+A+XHZ(OAA)sgoAX)=_JA吃X吃=p齐p齐=ussy-A-x lu-()u一BE lU一=Lro 一 ss®pn_ou 算z=x+y-10;if(z<0)z=0;printf("%dn",z);elseprintf("%dn",z);return 0;语句覆盖 是指选

3、择足够的测试，使得程序中每个语句至少执行一次。如选择测试x=1,y=1 和 x=1,y=-1 可覆盖所有语句。判定覆盖 是指选择足够的测试，使得程序中每一个判定至少获得一次“真”值和“假”。选择测试 x=1,y=1 和值，从而使得程序的每个分支都通过一次（不是所有的逻辑路径）x=1,y=-1 可覆盖所有判定。条件覆盖 是指选择语句多数的测试，使得程序判定中的每个条件能获得各种不同的结 果。选择测试 x=1,y=1 和 x=-1,y=-1 可覆盖所有条件。判定/条件覆盖是指选择足够多的测试，使得程序判定中每个条件取得条件可能的值,。即满足条件覆盖，又满足判定并使每个判定取到各种可能的结果（每个分

4、支都通过一次）覆盖。选择测试x=1,y=1和x=-1,y=-1可覆盖所有判定/条件。条件组合覆盖是指选择足够的测试，使得每个判定中的条件的各种可能组合都至少出现 一次（以判定为单位找条件组合）。注：a,条件组合只针对同一个判断语句存在多个条件的情况，让这些条件的取值进行 笛卡尔乘积组合。b，不同的判断语句内的条件取值之间无需组合。C对于但条件的判断语句，只需要满足自己的所有取值即可。选择测试用例x=1,y=1 ； x=1,y=-1，x=-1,y=1 和x=-1,y=-1可覆盖所有条件组合。路径覆盖是分析软件过程流的通用工具，有助分离逻辑路径， 进行逻辑覆盖的测试， 所 用的流程图就是讨论软件结

5、构复杂度时所用的流程图。实验方法1、语句覆盖测试用例输入输出magic判定M的取值判定N的取值覆盖路径x=1,y=112TFabefx=1,y=-10FTacdf2、判定覆盖测试用例输入输出magic判定M的取值判定N的取值覆盖路径x=1,y=112TFabefx=1,y=-10FTacdf3、条件覆盖测试用例输入输出magic判定M的取值判定N的取值覆盖路径x=1,y=112TFabefx=-1,y=-10TTacdf4、判定/条件覆盖测试用例输入输出magic判定M的取值判定N的取值覆盖路径x=1,y=112TFabefx=-1,y=-10TTacdf5、条件组合覆盖测试用例输入输出mag

6、ic判定M的取值判定N的取值覆盖路径x=1,y=112TFabefx=1,y=-10TTacdfx=-1,y=10TTacdfx=-1,y=-10TTacdf6、路径覆盖测试用例输入输出magic判定M的取值判定N的取值覆盖路径x=1,y=112TFabefx=1,y=-10TTacdfx=12,y=-11TFacef本例覆盖路径abdf不存在四实验结果根据上面设计的测试案例，编写程序后，白盒测试结果如下所示:1、语句覆盖 x=1,y=1P-"tie«e exited 淀th jceluru 圻ilue 0 rrc= aciy tej" t口 continue -

7、.x=1,y=-1llbj 2 CVUitnOVEFpriglDesKtcip'Hil cTECJ Xx=1,y=-1I'Tces exited with T&LQni Filue 0I'ress a.ny kej- *1 口 CEmti nuc _ _ _2、判定覆盖 x=1,y=1CJ XCAU«ELCIVEFenglDMktDpXbm&GP12rroess 臼iLted with jc&lqxl 咗ilue 0 'Pes any Lt/ to Lriitluutf . _ _ _CJ X'j 旷 CVUitnOVE

8、FpriglDesKtcip'Hil cTEj'Tce«s exited with T&LQni Filue 0I'ress a.ny kej- *1 口 CEmti nuc _ _ _条件覆盖x=1,y=1CJ XS CAUftt事VE»rigL.De5ktDpXbml"GP1SPfceess 白icLted with t&lqxl ilue 0Fp3s any Le/ to <QiitlijUtf . _ _ _X=-1,y=-1二 CVUitrTOVEFpnnlDenktcip'Hil cm 口-I

9、9;Tces exited with j&:uni Filue 0Press a.ny kej- *1 口 CEmti nuc _ _判定/条件覆盖x=1,y=1- C-：'JUierT'LOVCFerigI>eflh*Dp'Hil.F"P1SPMiee exited vLth jcetunj '；ilue 0 rres弓 any tej" t口 CEjntinuE _-_X=-1,y=-1CJ XCJ X J -' CAUnrrCIVEFLngLDeqktcipXbmfcm 口-I'Tces exited wi

10、th j&:uni Filue 0Press a.ny kej- *1 口 CEmti nuc _ _条件组合覆盖x=1,y=1x=1,y=-11SPfceess 白icLted with t&lqxl ilue 0Fp3s any Le/ to <QiitlijUtf . _ _ _CJ Xj C-：VUimOVEFprigDenkti：ip'0?HilEI'Tces exited with T&LQni Filue 0I'ress a.ny kej- *1 口 CEmti nuc _ _ _x=-1,y=1CJ XS 心讥htn事VEI

11、>nglOeqktDpXbml"0已|Pieese exited vLth jcetunj '；ilue 0 !'«= any tej-七口 continue _-_X=-1,y=-1CJ XCJ X J -' CAUnrrCIVEFLngLDeqktcipXbmfcm 口-I'Tces exited with j&:uni Filue 0Press a.ny kej- *1 口 CEmti nuc _ _路径覆盖x=1,y=11SPfceess 白icLted with t&lqxl ilue 0Fp3s any Le

12、/ to <QiitlijUtf . _ _ _'j " C-：VUitn.OVCFpngCenkti：ip'0?Hil rKECJ XI'Tces exited with j&:uni Filue 0I'ress a.ny kej- *1 口 CEmti nuc _ _x=12,y=-1.I'focess 日lited with x&Loni alije 0 Press any te)- tn ccmtiiiu匕-.-.本例覆盖路径abdf不存在五实验分析对于白盒测试， 在设计测试用例时首先对程序进行分析， 从程序的内部结构出发设计测 试用例，涉及到程序的控制方法、源语句、编码细节、数据库设计等。设计测试用例时应用 了白盒测试中的多种测试方法，其中包括：测试覆盖（语句覆盖、分支覆盖、分支条件覆盖 等）、基路径测试等方法。白盒测试中，