基督教文明(1)教学课件.pptVIP

*************************************判定（分支）覆盖定义：测试用例使得程序中每个判断的取真分支和取假分支至少经历一次。选取下列测试用例达到判定覆盖(2,0,1)3a——c——e(3,1,1)1a——b——d条件覆盖定义：测试用例使得程序中每个判断的每个条件的可能取值至少执行一次。选取下列测试用例达到条件覆盖(2,0,1)，a——c——eTTTF(1,1,2)，a——b——eFFFT条件组合判断定义：测试用例使得每个判断的所有可能的条件取值组合至少执行一次。选取下列测试用例达到条件覆盖(2,0,4)3a——c——eTTTT(1,1,1)1a——b——dFFFF(2,1,1)2a——b——eTFTF(1,0,3)4a——c——eFTFT判定条件覆盖定义：测试用例使得判断中每个条件的所有可能取值至少执行一次，同时每个判断中的每个条件的可能取值至少执行一次。选取下列测试用例达到判定覆盖(2,0,4)3a——c——eTTTT(1,1,1)1a——b——dFFFF路径覆盖定义：测试用例覆盖程序中所有可能的路径。选取下列测试用例达到判定覆盖(2,0,4)3a——c——eTTTT(2,1,2)3a——b——eTFTT(3,0,3)1a——b——dFFFF(3,1,1)1a——c——dTFFF控制流图中的循环路径循环路径测试用例选择（1）简单循环①零次循环：从循环入口到出口

②一次循环：检查循环初始值

③二次循环：检查多次循环

④m次循环：检查多次循环

⑤最大次数循环、比最大次数多一次、少一次的循环。

简单循环路径例：求a[k]~a[n]中最小值k=i;?for(j=i;j=n;j++)??? if(A[j]A[k])thenk=j;??流程图测试用例示例循环路径测试用例选择（2）(2)嵌套循环

①对最内层循环做简单循环的全部测试。所有其它层的循环变量置为最小值；

②逐步外推，对其外面一层循环进行测试。测试时保持所有外层循环的循环变量取最小值，所有其它嵌套内层循环的循环变量取“典型”值。。

③反复进行，直到所有各层循环测试完毕。 ④对全部各层循环同时取最小循环次数，或者同时取最大循环次数循环路径测试用例选择（3）(3)连锁循环

如果各个循环互相独立，则可以用与简单循环相同的方法进行测试。但如果几个循环不是互相独立的，则需要使用测试嵌套循环的办法来处理。(4)非结构循环

这一类循环应该使用结构化程序设计方法重新设计测试用例。小结：结构化覆盖率问题结构化覆盖率可以作为测试完整性的一个标准；某些覆盖率很难达到，例如条件覆盖是一个NP-hard问题；即使达到100%的结构化覆盖率也不能保证程序的正确；基于数据流的测试方法程序数据流视角：程序是一个程序元素对数据访问的过程；数据流关系：数据“定义——使用”对；使用程序图来描述数据定义-使用对；出发点：对数据的不正确处理；定义/引用错误:变量被定义，但从未被引用过；所使用变量没有被定义变量在使用之前被定义两次变量定义和使用变量定义使某变量存储单元内容改变的语句就是该变量的定义语句；记作DEF(v,n)v:变量;n:对应的语句节点；输入语句、赋值语句、循环控制语句、过程调用等；变量使用使用某变量存储单元的内容语句就是该变量的使用语句；记作USE(v,n)v:变量;n:对应的语句