资源描述：
《Python白盒测试实验报告.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、青岛科技大学实验报告课程：软件测试基础实验项目：白盒测试专业：计算机科学与技术班级：惠普测试142姓名：闫伟明日期：2016-11-25实验要求：（1）根据下述C代码及对应流程图，将其转换成Python代码；voidDoWork(intx,inty,intz){intk=0,j=0;if((x>3)&&(z<10)){k=x*y-1;j=sqrt(k);}//语句块1if((x==4)
2、
3、(y>5)){j=x*y+10;}//语句块2j=j%3;//语句块3}流程图：Python代码：#py001.pyimportmathdefDoWo
4、rk(x,y,z):k=0j=0ifx>3andz<10:k=x*y-1j=math.sqrt(k)ifx==4ory>5:j=x*y+10j=j%3returnk,j（1）根据Python代码设计白盒测试用例，包括：Ø语句覆盖；测试用例输入为：{x=5、y=6、z=7}程序执行的路径是：abdØ判定覆盖；测试用例的输入为：{x=5、y=6、z=7}；{x=1、y=2、z=3}程序执行的路径分别是：abd；aceØ条件覆盖；对于第一个判定((x>3)&&(z<10))：条件x>3取真值记为T1取假值记为-T条件z<10取真值记为T2取假
5、值记为-T2对于第二个判定((x==4)
6、
7、(y>5))：条件x==4取真值记为T3取假值记为-T3条件y>5取真值记为T4取假值记为-T4测试用例执行路径覆盖条件覆盖分支x=4,y=6,z=7abdT1,T2,T3,T4bdx=4,y=4,z=13ace-T1,-T2,-T3,-T4ceØ判定/条件覆盖；测试用例执行路径覆盖条件覆盖分支x=4,y=6,z=9abdT1,T2,T3,T4bdx=3,y=5,z=10ace-T1,-T2,-T3,-T4ceØ组合覆盖对DoWork函数中的各个判定的条件取值组合加以标记：组合号条件取值组合标
8、记覆盖的判定1x>3,z<10记做T1T2第一个判定的取真分支2x>3,z>=10记做T1-T2第一个判定的取假分支3x<=3,z<10记做-T1T2第一个判定的取假分支4x<=3,z>=10记做-T1-T2第一个判定的取假分支5x==4,y>5记做T3T4第二个判定的取真分支6x==4,y<=5记做T3-T4第二个判定的取真分支7x!=4,y>5记做-T3T4第二个判定的取真分支8x!=4,y<=5记做-T3-T4第二个判定的取假分支根据组合覆盖的思想，设计测试用例如下：测试用例执行路径覆盖条件覆盖组合号x=4,y=6,z=6abdT
9、1,T2,T3,T41,5x=4,y=5,z=10acdT1,-T2,T3,-T42,6x=3,y=6,z=6acd-T1,T2,-T3,T43,7x=3,y=5,z=10ace-T1,-T2,-T3,-T44,8x=5,y=5,z=5abeT1,T2,-T3,-T41,8（3）根据设计的测试用例，使用unittest完成测试实验。（注：每一个测试方法用一个py文件，共5个py文件）1.test001.py#-*-encoding:utf8-*-importunittestfrompy001importDoWorkclassTest00
10、1(unittest.TestCase):"""语句覆盖：测试用例的输入为：{x=5、y=6、z=7}"""deftest_yjfg(self):self.assertEquals(DoWork(5,6,7),(29,1))2.test002.py#-*-encoding:utf8-*-importunittestfrompy001importDoWorkclassTest002(unittest.TestCase):"""判定覆盖：测试用例的输入为：{x=5、y=6、z=7}；{x=1、y=2、z=3}"""deftest_pdfg1
11、(self):self.assertEquals(DoWork(5,6,7),(29,1))deftest_pdfg2(self):self.assertEquals(DoWork(1,2,3),(0,0))1.test003.py#-*-encoding:utf8-*-importunittestfrompy001importDoWorkclassTest003(unittest.TestCase):"""条件覆盖：测试用例的输入为：{x=4、y=6、z=7};{x=1,y=2,z=13}"""deftest_tjfg1(self):
12、self.assertEquals(DoWork(4,6,7),(23,1))deftest_tjfg2(self):self.assertEquals(DoWork(1,2,13),(0,0))2.tes
