白盒测试方法.pptVIP

上机实习3procedureexample(a,b:real;varx:real),;begin if(a1)and(b=0)thenx:=x/a; if(a=2)or(x1)thenx:=x+1;end;将上面过程改写为C++的main函数，并通过程序插装在每个关键位置插入打印语句，进行编译和运行！给出覆盖L1,L2,L3,L4四条路径的测试数据，并通过运行显示这些路径，最后写出相应的测试报告！*第62页，共99页，星期日，2025年，2月5日上机实习3#includeiostream.h供参考的C++程序，在此基础上加入打印语句！voidmain(){floata,b,x;cina;cinb;cinx;if((a1)(b==0)) x=x/a;if((a==2)||(x1)) x=x+1;Coutx;}*第63页，共99页，星期日，2025年，2月5日测试路径L1的结果例如，输入a=2,b=0,x=4,打印出路径L1（sacbed）*第64页，共99页，星期日，2025年，2月5日上机实习4阅读下面程序，试用语句覆盖、判定覆盖、条件覆盖及路径覆盖分析技术对其进行测试，请列出所用的测试用例，并分析其覆盖率！READX,Y；IFY0THENPOW:=-Y;ELSEPOW:=Y;Z=1;WHILE(POW!=0){Z:=Z*X;POW:=POW-1;}IFY0THENZ:=1/Z;ANSWER:=Z+1;PRINTANSWER;*第65页，共99页，星期日，2025年，2月5日3.5基本路径测试在实际问题中，一个不太复杂的程序，特别是包含循环的程序，其路径可能非常大。因此，测试常常难以做到覆盖程序中的所有路径。基本路径（也称独立路径）测试是TomMaCabe首先提出的一种白盒测试技术，希望把测试的程序路径压缩到一定范围。它是在程序控制流图的基础上，分析控制构造的环路复杂性，导出基本可执行路径集合，设计测试用例的方法。设计出的测试用例要保证在测试中，程序的每一个可执行语句至少要执行一次。基本路径测试是它允许测试用例设计者导出一个过程设计的逻辑复杂性测度，并使用该测度作为指南来定义执行路径的基本集。*第66页，共99页，星期日，2025年，2月5日分析程序的控制流图在使用基本路径方法设计时要用到流图或程序图流图由结点和边组成，分别用圆和箭头表示。结点代表一个或多个语句。符号○为控制流图的一个结点，表示一个或多个无分支的PDL语句或源程序语句。箭头为边，表示控制流的方向。设计图中一个连续的处理框序列和一个判定框映射成流图中的一个结点。设计图中的箭头映射成流图中的一条边。注意：设计中判定中不可包含复合条件!*第67页，共99页，星期日，2025年，2月5日5种不同的控制流图*第68页，共99页，星期日，2025年，2月5日程序的控制流图在选择或多分支结构中，分支的汇聚处应有一个汇聚结点（空结点）。边和结点圈定的区域叫做区域，当对区域计数时，图形外的区域也应记为一个区域。如下图所示,左边的结构图可改写为右边的控制流图图中共有4个区域,分别是三个闭合区域(R1,R2,R3)和一个开放区域(R4)*第69页，共99页，星期日，2025年，2月5日程序的控制流图*第70页，共99页，星期日，2025年，2月5日一个简单子程序测试procedureexample(a,b:real;varx:real),;begins if(a1)and(b=0)athenx:=x/ac; if(a=2)or(x1)bthenx:=x+1e;endd;*第30页，共99页，星期日，2025年，2月5日入口（a1)and(b=0)(a=2)or(x1)x=x/ax=x+1返回sabdcetftf子程序流程图*第31页，共99页，星期日，2025年，2月5日被测程序段路径If((a1)and(b==0))－aIf((a==2))or(x1))－bx=x/a;－cx=x+1;－e返回－d图中存在4条不同路径：L1：sacbed;即条件a为t，且条件b为tL2:sabd;即条件a为f，且条件b为fL3:sabed;即条件a为f，且条件b为tL4:sacbd;即条件a为t，且条件b为f以下讨论该例子的各种覆盖和测试用例设计！*第32页，共99页，星期日，2025年，2月5日语句