基于继承性的面向对象类测试覆盖准则设计.pdf

2016年第3期 桂林航天工业学院学报 (总第 83期) JOURNALOFGUILINUNIVERSITYOFAEROSPACETECHNOLOGY 信息与 电子工程 基矛继承性的面向对象类 测试覆盖准则设计 何金花 张亚红 (桂林航天工业学院 计算机科学与工程系，广西 桂林 541004) 摘 要 随着面向对象软件的应用越来越广泛，面向对象软件技术的特征提高了软件开发的效率，也给软件测试带来 了挑战。测试覆盖准则是软件测试 的重要组成部分 ，可以给软件测试提供指导作用 。针对面向对象继承性对 软件测试的影响，从继承方法和继承属性两方面提 出了类测试覆盖准则 。对这两类覆盖准则进行 了公理化评 估 ，给 出了算法设计 ，通过实例应用分析 了执行结果 。文 中设计 的覆盖准则在设计面 向对象测试用例方面有 一 定的指导作用 。 关键词 继承性；覆盖准则；软件测试；类；面向对象 中图分类号：TP311．5 文献标志码 ：A 文章编号 ：2095～4859(2016)03—0322—05 软件测试是软件质量保证的重要手段 ，是软件 试 的基本迁移覆盖准则 ，并进行了公理化评估。分 开发过程中不可缺少的重要环节 ，也是提高软件可 析了该覆盖准则与基本 MM 路径覆盖测试覆盖准 靠性的关键 。近年来 ，面向对象软件开发技术越来 则之间的一些对应关系 。 越成熟 ，并得到了广泛应用和深入的研究。面向对 这些研究不够关注类定义的语义 ，对验证和确 象技术所独有的多态 、继承、封装等新特点 ，提高了 认环节也没有给予足够的重视，尤其是面向对象技 软件开发的效率 ，但其程序设计比传统语言程序设 术所独有的多态、继承 、封装等新特点，产生了传 计产生错误 的可能性增大口]，给软件测试带来 了前 统语言设计所不存在的错误可能性。因此 ，本文提 所未有的挑战。 出一种针对面向对象继承性的继承覆盖准则 ，包括 在进行面向对象软件测试时，如何选择测试用 继承方法覆盖准则 、继承属性覆盖准则和子类完全 例，如何生成测试用例集，测试究竟进行到什么程 覆盖准则 。这些准则可以在面向对象软件继承关 度 需要停止 ，这些都可 以通过充分性准则来指 系类 图中应用 ，给面向对象测试提供一定的指导作 导_2]。随着面向对象测试技术 的广泛应用 ，越来越 用。 多的人在研究测试准则。测试覆盖准则包括行覆 盖、分支覆盖 、类覆盖、路径覆盖 、状态覆盖 、迁移 1 针对继承性 的类测试覆盖准则的定义和 覆盖 、迁移对覆盖、全谓词覆盖、全序列覆盖等。 应用 文献[3]给出了软件单元测试的覆盖充分性准则。 面向对象继承性是指子类继承父类的特征 ，包 文献E4]给出了UMI状态图测试充分性准则的公 括重复使用父类的属性和方法 ，实现代码复用 。一 理化评估 ，并对 UML状态图上的状态覆盖、迁移 个子类可以不再编写相 同的代码 ，同时也可以重新 覆盖、全谓词覆盖 、N一迁移覆盖和循环分类覆盖 定义一些属性 ，重写一些方法。继承的特征导致理 进行了公理评估。文献 [5]给出了EFSM 规范测 解程序变得困难。在面向对象测试中，必须对子类 * 基金项 目：广西教育厅科研项 目《基于类语义的点态 网状软件测试技术研究)~(2013LX173)；2013年广西教育厅科 研项 目《面向对象数据库在本体存储中的应用研究》(2013LX172)；广西高校机器人与焊接技术重点实验室主任基金项 目《基于安川焊接机器人的厚板多层多道焊接研究))(JQR2Ol5ZR02)；桂林航天工业学院科研项 目《基于类语义的点态网 状软件测试技术研究》(X12Z006)、《基于小波变换 的图像边缘检测算法研究》(x11Z028)。 * * 作者简介：何金花 ，女，湖南浏阳人。讲师，硕士。研究方向：软件工程，软件测试。 322 2016年第 3期 桂林航天工业学院学报 (总第 83期) JOURNALOFGUILINUNIVERSITYOFAEROSPACETECHNOLOGY 何金花 张亚红