Python白盒测试实验报告.doc

青 岛 科 技 大 学 实 验 报 告课程：软件测试基础实验项目：白盒测试专业：计算机科学与技术班级：惠普测试142姓名：闫伟明日期：2016-11-25实验要求： （1） 根据下述C代码及对应流程图，将其转换成Python代码；void DoWork (int x,int y,int z) int k=0,j=0; if ( (x3)&(z5) ) j=x*y+10; /语句块2 j=j%3; /语句块3 流程图：Python代码：#py001.pyimport mathdef DoWork(x,y,z):k=0j=0if x3 and z5:j=x*y+10j=j%3return k,j（2） 根据Python代码设计白盒测试用例，包括： 语句覆盖；测试用例输入为： x=5、y=6、z=7 程序执行的路径是：abd 判定覆盖；测试用例的输入为：x=5、y=6、z=7；x=1、y=2、z=3程序执行的路径分别是：abd；ace 条件覆盖；对于第一个判定( (x3)&(z3 取真值记为T1 取假值记为-T条件z5) )：条件x=4 取真值记为T3 取假值记为-T3 条件y5 取真值记为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函数中的各个判定的条件取值组合加以标记：组合号条件取值组合标记覆盖的判定1x3, z3, z=10记做T1 -T2第一个判定的取假分支3x=3, z10记做-T1 T2第一个判定的取假分支4x=10记做-T1 -T2第一个判定的取假分支5x=4, y5记做T3 T4第二个判定的取真分支6x=4, y5记做-T3 T4第二个判定的取真分支8x!=4, y=5记做-T3 -T4第二个判定的取假分支根据组合覆盖的思想，设计测试用例如下：测试用例执行路径覆盖条件覆盖组合号x=4,y=6,z=6abdT1,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 -*-import unittestfrom py001 import DoWorkclass Test001(unittest.TestCase):语句覆盖：测试用例的输入为：x=5、y=6、z=7def test_yjfg(self):self.assertEquals(DoWork(5,6,7),(29,1)2. test002.py# -*- encoding:utf8 -*-import unittestfrom py001 import DoWorkclass Test002(unittest.TestCase):判定覆盖：测试用例的输入为：x=5、y=6、z=7；x=1、y=2、z=3def test_pdfg1(self):self.assertEquals(DoWork(5,6,7),(29,1)def test_pdfg2(self):self.assertEquals(DoWork(1,2,3),(0,0)3. test003.py# -*- encoding:utf8 -*-import unittestfrom py001 import DoWorkclass Test003(unittest.TestCase):条件覆盖：测试用例的输入为：x=4、y=6、z=7;x=1,y=2,z=13def test_tjfg1(self):self.assertEquals(DoWork(4,6,7),(23,1)def test_tjfg2(self):self.assertEquals(DoWork(1,2,13),(0,0)4. test004.py# -*- encoding:utf8 -*-import unittestfrom py001 import DoWorkclass Test004(unittest.TestCase):判定/条件覆盖：测试用例的输入为：x=4、y=6、z=9;x=3,y=5,z=10def test_pdtjfg1(self):self.assertEquals(DoWork(4,6,9),(23,1)def test_pdtjfg2(self):self.assertEquals(DoWork(3,5,10),(0,0)5. test005.py# -*- encoding:utf8 -*-import unittestfrom py001 import DoWorkclass Test005(unittest.TestCase):组合覆盖：测试用例的输入为：x=4,y=6,z=6;x=4,y=5,z=10;x=3,y=6,z=6;x=3,y=5,z=10;x=5,y=5,z=5def test_zhfg1(self):self.assertEquals(DoWork(4,6,6),(23,1)def test_zhfg2(self):self.assertEquals(DoWork(4,5,10),(0,0)def test_zhfg3(self):self.assertEquals(DoWork(3,6,6),(0,1)def test_z