Python白盒测试实验报告

1、青 岛 科 技 大 学 实 验 报 告课程：软件测试基础实验项目：白盒测试专业：计算机科学与技术班级：惠普测试142姓名：闫伟明日期：2016-11-25实验要求： （1） 根据下述C代码及对应流程图，将其转换成Python代码；void DoWork (int x,int y,int z) int k=0,j=0; if ( (x>3)&&(z<10) ) k=x*y-1; j=sqrt(k); /语句块1 if ( (x=4)|(y>5) ) j=x*y+10; /语句块2 j=j%3; /语句块3 流程图：Python代码：#py001.pyimport

2、 mathdef DoWork(x,y,z):k=0j=0if x>3 and z<10:k=x*y-1j=math.sqrt(k)if x=4 or y>5: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Ø 条件覆盖；对于第一个判定( (x>3)&&(z<10) )：条件x&

3、gt;3 取真值记为T1 取假值记为-T条件z<10 取真值记为T2 取假值记为-T2对于第二个判定( (x=4)|(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Ø 组合覆盖对D

4、oWork函数中的各个判定的条件取值组合加以标记：组合号条件取值组合标记覆盖的判定1x>3, z<10记做T1 T2第一个判定的取真分支2x>3, z>=10记做T1 -T2第一个判定的取假分支3x<=3, z<10记做-T1 T2第一个判定的取假分支4x<=3, z>=10记做-T1 -T2第一个判定的取假分支5x=4, y>5记做T3 T4第二个判定的取真分支6x=4, y<=5记做T3 -T4第二个判定的取真分支7x!=4, y>5记做-T3 T4第二个判定的取真分支8x!=4, y<=5记做-T3 -T4第二个判定

5、的取假分支根据组合覆盖的思想，设计测试用例如下：测试用例执行路径覆盖条件覆盖组合号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 unit

6、testfrom py001 import DoWorkclass Test001(unittest.TestCase):"""语句覆盖：测试用例的输入为：x=5、y=6、z=7"""def test_yjfg(self):self.assertEquals(DoWork(5,6,7),(29,1)2. test002.py# -*- encoding:utf8 -*-import unittestfrom py001 import DoWorkclass Test002(unittest.TestCase):""

7、"判定覆盖：测试用例的输入为：x=5、y=6、z=7；x=1、y=2、z=3"""def 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):""&q

8、uot;条件覆盖：测试用例的输入为：x=4、y=6、z=7;x=1,y=2,z=13"""def 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):""&q

9、uot;判定/条件覆盖：测试用例的输入为：x=4、y=6、z=9;x=3,y=5,z=10"""def 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=5"""def 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,