本科实验报告课程名称：软件测试技术实验项目：软件测试技术试验实验地点：实验楼 211 专业班级：软件工程1316 学号： 2013005793 学生姓名：戴超指导教师：兰方鹏2015 年 10 月 7 日1 太原理工大学学生实验报告学院名称计算机与软件学院专业班级软件工程1316 实验成绩学生姓名戴超学号2013005793 实验日期2015.10. 课程名称软件测试实验题目实验一白盒测试方法一、实验目的和要求（1）熟练掌握白盒测试方法中的逻辑覆盖和路径覆盖方法。（2）通过实验掌握逻辑覆盖测试的测试用例设计，掌握程序流图的绘制。（3)运用所学理论，完成实验研究的基本训练过程。二、实验内容和原理测试以下程序段void dowork(int x,int y,int z) { （1）int k=0,j=0; （2）if((x>0)&&(z<10)) （3）{ （4）k=x*y-1; （5）j=sqrt(k); （6）} （7）if((x==4)||(y>5)) （8）j=x*y+10; （9）j=j%3; （10）} 三、主要仪器设备四、操作方法与实验步骤说明：程序段中每行开头的数字（1-10）是对每条语句的编号。2 A 画出程序的控制流图（用题中给出的语句编号表示）。B 分别用语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖方法设计测试用例，并写出每个测试用例的执行路径（用题中给出的语句编号表示）。C 编写完整的 C 程序（含输入和输出） ，使用你所设计的测试用例运行上述程序段。完整填写相应的测试用例表（语句覆盖测试用例表、判定覆盖测试用例表、条件覆盖测试用例表、判定 /条件覆盖测试用例表、条件组合覆盖测试用例表、路径覆盖测试用例表、基本路径测试用例表）流程图为：开始开始k=0,j=0 (x>0)&&(z<1) k=x*y-1 j=sqrt(k) (x==4)||(y>5) j=x*y+10 j=j%3 结束1 2 5 7 8 9 3 1 5 2 a b e 4 7 8 9 E c d f h g i j 6 3 l k S 控制流图：设判定条件M=(x>0)&&(z<10) N=(x==4)||(y>5) 设 路 径P1( abcdefhijl) = M and N P2(abcdefhkl) = M and /N P3(abgijl) =/ M and N P4(abgkl) =/ M and/N 1.语句覆盖输入{x=4,y=7,z=9} 输出 {j=2,k=27} 覆盖路径 P1(abcdefhijl) 4 2．判定覆盖输入{x=4,y=7,z=9} 输出 {j=2,k=27} 覆盖路径 P1(abcdefhijl) 输入{x=4,y=3,z=12} 输出 {j=1,k=0} 覆盖路径 P3(abgijl) 3.条件覆盖对于第一个判定条件M，分割如下条件 x>0 取真时为 T1，取假时为 F1。条件 z<10 取真时为 T2，取假时...
