基于分片和变体的面向对象软件测试技术研究

摘要

变体测试是一种有效的测试度量技术,它提供了一种度量测试的指标及基于该指标的测试方法。基本思想是根据一定的准则(变体算子)在程序中引入缺陷来度量测试用例集。但要使变体测试技术广泛且有效的服务于工业应用,还有很多研究工作需要进行,如:如何降低变体测试的开销;如何更有效的判断等价变体;如何加强变体测试的有效性;如何使变体测试技术更好的应用于新的程序语言(面向对象语言)等。
　　文章主要针对如何加强变体测试的有效性和如何使变体测试技术更好的应用于面向对象程序语言来展开研究。并利用一种有效的程序分析技术:程序分片,对变体测试进行了研究与分析。论文的主要工作包括:
　　(1)基于程序片的变体测试指标提出。通过研究,在传统变体测试指标的基础上提出了一种更加严格的测试指标:基于程序片的变体测试指标。该指标涵盖了传统测变体测试指标。
　　(2)结合分片的变体测试方法提出。给出了基于程序片变体测试指标的一般性测试方法和相关的证明。该方法能更有效地指导变体测试的进行,同时能提高变体测试的准确性及效率。
　　(3)基于ISDG的面向对象程序分片算法提出。在原来系统依赖图的基础上提出了一种新的面向对象程序依赖关系的表示法:ISDG(Improved-SDG),解决了面向对象程序分片中对象参数表示不够精确的问题,使得到的分片更加准确。
　　(4)结合分片的变体测试方法在面向对象程序上的应用。把以上的研究成果应用于面向对象程序。使其更好的服务于面向对象程序。

目录

封面

中文摘要

英文摘要

目录

第一章 概 述

§1.1 论文研究的背景及意义

§1.2 相关技术研究现状

§1.3 论文的研究工作

第二章 软件测试体系中的基本方法及分类

§2.1 白盒测试和黑盒测试

§2.2 三种层次的测试

§2.3 分片和变体技术在测试体系中的位置

第三章 变体测试技术

§3.1 变体测试技术概述

§3.2 变体测试方法

§3.3 变体测试工具介绍

第四章 程序分片技术

§4.1 程序分片的概念

§4.2 分片算法

§4.3 程序分片工具介绍（PST）

§4.4 小 结

第五章 结合分片的变体测试技术

§5.1 基于程序片的变体测试指标

§5.2 结合分片的变体测试方法

§5.3 相关例子

§5.4 小 结

第六章 结合分片的变体测试技术在面向对象上的应用

§6.1 面向对象程序变体测试技术

§6.2 面向对象程序分片技术

第七章 结论和进一步的工作

参考文献

致谢

攻读硕士学位期间所发表的论文