软件工程系统测试.ppt

软件测试技术*保证在模块中的独立路径最少被检查一次；检查每个逻辑判断的真假两种情况；对每个循环变量的初值、中间值和终止进行检查；检查程序的内部结构是否有效。由白盒测试产生的测试实例应具有下列功能：01程序中的逻辑错误和不正确的假设和条件；没预料到的意外路径；语法检查未发现的印刷或书写错误。四.通过白盒测试发现的错误：02一、逻辑覆盖*逻辑覆盖:逻辑覆盖法是以程序内部的逻辑结构为基础的设计测试用例的技术。从覆盖源程序语句和路径的详尽程度分析，有以下不同的覆盖标准：语句覆盖判定覆盖条件覆盖判定-条件覆盖条件组合覆盖路径覆盖软件测试技术示例*示例(A1)and(B=0)(A=2)or(X1)X=X/AX=X+1TTFFabdce路径：ace——L1abd——L2abe——L3acd——L4软件测试技术示例*对于第一个判断：条件A＞1取真为T1，取假为条件B＝0取真为T2，取假为对于第二个判断：条件A＝2取真为T3，取假为条件X＞1取真为T4，取假为1T2T3T4T软件测试技术示例*软件测试技术示例*软件测试技术示例*软件测试技术示例*软件测试技术示例*语句覆盖设计若干个测试用例，运行被测程序，使得每一可执行语句至少执行一次。在图例中，正好所有的可执行语句都在路径L1上，所以选择路径L1设计测试用例：【(2,0,4)】注：(2,0,4)即：A=2,B=0,X=4下同。软件测试技术示例*判定覆盖设计若干个测试用例，运行被测程序，不仅每个语句至少执行一次，而且每个判定的每种可能的结果都应该至少执行一次。对于图例，如果选择路径L3和L4，就可得满足要求的测试用例:【(2,1,1)】覆盖【L3】【(3,0,3)】覆盖【L4】如果选择路径L1和L2，还可得另一组可用的测试用例。例图软件测试技术示例*条件覆盖设计若干测试用例，运行被测程序，不仅每个语句至少执行一次，而且使判定表达式中的每个条件都取到各种可能的结果。测试用例覆盖分支条件取值【(2,0,4)】L1【(1,1,1)】L2需要注意的是，条件覆盖不一定满足判定覆盖，如：测试用例覆盖分支条件取值【(2,0,1)】L1【(1,1,2)】L3例图软件测试技术示例*判定/条件覆盖设计足够的测试用例，使得判断表达式中的每个条件都取到各种可能的值，而且每个判断表达式也都取到各种可能结果。测试用例覆盖分支条件取值【(2,0,4)】L1【(1,1,1)】L2例图软件测试技术示例*条件组合覆盖设计足够的测试用例，运行被测程序，使得所有可能的条件取值组合至少执行一次。记①A＞1,B＝0作

②A＞1,B≠0作

③A≯1,B＝0作④A≯1,B≠0作⑤A＝2,X＞1作

⑥A＝2,X≯1作

⑦A≠2,X＞1作

⑧A≠2,X≯1作第一个判断第二个判断例图软件测试技术示例*测试用例覆盖分支覆盖条件覆盖组合【(2,0,4)】(L1)①,⑤【(2,1,1)】(L3)②,⑥【(1,0,3)】(L3)③,⑦【(1,1,1)】(L2)④,⑧例图软件测试技术示例*路径