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

来源 :桂林电子科技大学 | 被引量 : 0次 | 上传用户:kevinstudy
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
变体测试是一种有效的测试度量技术,它提供了一种度量测试的指标及基于该指标的测试方法。基本思想是根据一定的准则(变体算子)在程序中引入缺陷来度量测试用例集。但要使变体测试技术广泛且有效的服务于工业应用,还有很多研究工作需要进行,如:如何降低变体测试的开销;如何更有效的判断等价变体;如何加强变体测试的有效性;如何使变体测试技术更好的应用于新的程序语言(面向对象语言)等。  文章主要针对如何加强变体测试的有效性和如何使变体测试技术更好的应用于面向对象程序语言来展开研究。并利用一种有效的程序分析技术:程序分片,对变体测试进行了研究与分析。论文的主要工作包括:  (1)基于程序片的变体测试指标提出。通过研究,在传统变体测试指标的基础上提出了一种更加严格的测试指标:基于程序片的变体测试指标。该指标涵盖了传统测变体测试指标。  (2)结合分片的变体测试方法提出。给出了基于程序片变体测试指标的一般性测试方法和相关的证明。该方法能更有效地指导变体测试的进行,同时能提高变体测试的准确性及效率。  (3)基于ISDG的面向对象程序分片算法提出。在原来系统依赖图的基础上提出了一种新的面向对象程序依赖关系的表示法:ISDG(Improved-SDG),解决了面向对象程序分片中对象参数表示不够精确的问题,使得到的分片更加准确。  (4)结合分片的变体测试方法在面向对象程序上的应用。把以上的研究成果应用于面向对象程序。使其更好的服务于面向对象程序。
其他文献
血球分析仪是现代医疗诊断最常用的仪器之一,其主要功能是根据病人提供的血样,检测病人单位容积血液中所含的各种血细胞(包括红细胞、白细胞、血小板)的数量,以及血红蛋白的
计算机和网络技术的迅猛发展,大大提升了分布式计算在计算机科学领域中的重要性和地位。分布式计算的目标是把多台联网的计算机统一起来,让它们共享信息或其他资源,包含多媒
目前面向对象的设计方法在全世界范围内得到了广泛应用,但面向对象簇级测试方法的研究还显得滞后。随着人们对软件需求的增加,开发“无缺陷”软件显得越来越重要,这对软件测
在当今全球化的社会中,网格是执行大规模资源应用的理想平台,其目标是在缺少终端控制、没有全知者以及强的信任关系的情况下实现对地理上广泛分布的大量异构资源进行共享。由