《软件质量保证与测试》实验报告实验一 白盒测试技术(实验日期:1 ２(２)1 １（3)班 9 月 22 日-９月 29 日）(实验日期:1 ２（1)班 9 月 23 日-9 月 30 日)一、实验目得1
熟练掌握白盒法测试得逻辑覆盖法,并能进行实际程序测试；2
掌握分支覆盖与测试流得测试方法，并能进行实际程序测试;3
对测试用例进行优化
二、实验内容一)使用逻辑覆盖测试方法测试以下程序段vo ｉ d DoWork(int x,i ｎｔ y,int z） ｛１i ｎ t k=０，j=0;2if (（x>1 ) &＆ （y==０)){3 ﻩk=x＊y-1；4ﻩj=sqrt（k）；5ﻩ｝6ﻩﻩi ｆ (（x==2)||(z>1）)｛7ﻩﻩj＝x＊y+１０;8ﻩj=j%3；9ﻩ}10ﻩ}说明:程序段每行开头得数字(1~1 ０）就是对每条语句得编号
（1）画出程序得控制流程图(图自己完成，下图仅供参考）
ﻩ(2)分别以语句覆盖、判定覆盖、条件覆盖与路径覆盖方法设计测试用例,并写出每个测试用例得执行路径(用题中给出得语句编号表示)
语句覆盖:选用得测试用例就是:ca ｓ e1 x＝2ﻩﻩﻩｙ＝0ﻩﻩﻩz=3ﻩ 执行路径就是：ace 判定覆盖:选用得测试用例就是:ca ｓ e1 x=2ﻩｙ＝0ﻩz=3ﻩﻩcase ２ x＝1ﻩﻩy=0ﻩﻩ z＝1可分别执行路径ａ ce 与ａ bd条件覆盖:选用得测试用例就是:ｃ as ｅ 1 x=2ﻩy=０ﻩz=3ﻩﻩﻩﻩﻩcase2ｘ=1ﻩﻩ y=0ﻩz＝1cas ｅ３ﻩx＝2ﻩﻩy＝1z=1ﻩﻩ可分别执行路径 ace、a ｂ d 与 abe路径覆盖:选用得测试用例就是：case1ﻩ x=2ｙ=0ﻩﻩz=3ﻩﻩﻩﻩｃａ s ｅ 2 ｘ=1ﻩﻩy=０ﻩz=１case3ﻩｘ=2ｙ=１ﻩz＝１cas ｅ 4 ｘ＝3ﻩy＝０ﻩz=1ﻩ可分别执行路径 a ｃ e
