【摘 要】
:
变体测试是一种有效的测试度量技术,它提供了一种度量测试的指标及基于该指标的测试方法。基本思想是根据一定的准则(变体算子)在程序中引入缺陷来度量测试用例集。但要使变
论文部分内容阅读
变体测试是一种有效的测试度量技术,它提供了一种度量测试的指标及基于该指标的测试方法。基本思想是根据一定的准则(变体算子)在程序中引入缺陷来度量测试用例集。但要使变体测试技术广泛且有效的服务于工业应用,还有很多研究工作需要进行,如:如何降低变体测试的开销;如何更有效的判断等价变体;如何加强变体测试的有效性;如何使变体测试技术更好的应用于新的程序语言(面向对象语言)等。 文章主要针对如何加强变体测试的有效性和如何使变体测试技术更好的应用于面向对象程序语言来展开研究。并利用一种有效的程序分析技术:程序分片,对变体测试进行了研究与分析。论文的主要工作包括: (1)基于程序片的变体测试指标提出。通过研究,在传统变体测试指标的基础上提出了一种更加严格的测试指标:基于程序片的变体测试指标。该指标涵盖了传统测变体测试指标。 (2)结合分片的变体测试方法提出。给出了基于程序片变体测试指标的一般性测试方法和相关的证明。该方法能更有效地指导变体测试的进行,同时能提高变体测试的准确性及效率。 (3)基于ISDG的面向对象程序分片算法提出。在原来系统依赖图的基础上提出了一种新的面向对象程序依赖关系的表示法:ISDG(Improved-SDG),解决了面向对象程序分片中对象参数表示不够精确的问题,使得到的分片更加准确。 (4)结合分片的变体测试方法在面向对象程序上的应用。把以上的研究成果应用于面向对象程序。使其更好的服务于面向对象程序。
其他文献
血球分析仪是现代医疗诊断最常用的仪器之一,其主要功能是根据病人提供的血样,检测病人单位容积血液中所含的各种血细胞(包括红细胞、白细胞、血小板)的数量,以及血红蛋白的
本文研究强化学习在IPv6拥塞控制领域的应用,在分析IPv6协议结构特点、主动队列拥塞控制方法、强化学习相关理论的基础上,结合二重梯度下降法提出了一个详细的QHIPv6拥塞解决
网络气象服务(NWS)是一个基于历史性能测量数据产生短期性能预测的分布式的、通用的系统,被设计用来对网络和计算资源的可交付使用的资源性能进行动态监控和预测,为资源的动态
计算机和网络技术的迅猛发展,大大提升了分布式计算在计算机科学领域中的重要性和地位。分布式计算的目标是把多台联网的计算机统一起来,让它们共享信息或其他资源,包含多媒
目前面向对象的设计方法在全世界范围内得到了广泛应用,但面向对象簇级测试方法的研究还显得滞后。随着人们对软件需求的增加,开发“无缺陷”软件显得越来越重要,这对软件测
本文基于层次式交换网络进行了IP组播协议设计的研究工作。通过充分利用层次式交换网络拓扑结构与地址结构的匹配所带来的优势,结合PIM-SM协议的基本思想,层次式交换网络组
在当今全球化的社会中,网格是执行大规模资源应用的理想平台,其目标是在缺少终端控制、没有全知者以及强的信任关系的情况下实现对地理上广泛分布的大量异构资源进行共享。由
企业信息化是一个庞杂的概念,它是计算机、经济、管理、社会等学科的交叉,外延呈扩大的趋势。如何了解和掌握企业信息化的有关概念,并且进一步找到能够指导行动的,产生价值的
信息化的今天,数字资源已经成为了人们生活中重要的信息来源,而数字版权保护DigitalRightsManagement(DRM)则是在数字资源的整个生命周期内提供完善的保护和管理的技术。DRM技
通用模型管理是针对元数据管理的一种新的方法,它能够提供更高层次上的元数据实现和管理策略。通用模型管理包括两个重要概念:模型和映射,同时还需要提供模型和映射上的操作,包