基于动态符号执行的并行化测试数据自动生成

来源 :华东师范大学 | 被引量 : 0次 | 上传用户:wuwu245
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件测试是软件可靠性保障方法中必不可失的一个重要环节。在软件测试过程中,开发人员期望通过不断提高对待测程序模块的测试覆盖率发现更多潜在的软件错误。在实践中,为待测程序模块提供合适的测试输入数据可以显著提高测试覆盖率,因而如何自动生成这些测试输入数据成为了软件测试领域的研究热点。为此,一些研究者提出了动态符号执行,一种可应用于测试输入数据自动生成的程序分析技术。其通过真实地执行待测程序模块,收集符号化的路径约束和程序中的具体变量状态以生成对应到具体程序执行路径的输入数据。随着真实待测程序复杂性的上升,这种动态技术的应用会遇到一定的效率性能问题。特别是待测单元中因循环而出现的无限路径情况,对测试数据的生成效率是一个重大的影响。近些年来,在提高软件效率的努力上,人们从先前提高单位运算效能的方式(表现为提高微处理器主频等)转变为了增加运算单位和算法并行度的方式(表现为使用多核或多处理器系统以及并行算法)。本文描述并讨论了并行的动态测试数据生成技术以及相关的分析与实验。通过该技术,传统动态方法对程序路径的串行搜索任务可被分发至不同的运算单元以提高搜索效率。根据该技术实现的工具以及运用工具所进行的实验表明并行化动态测试数据生成技术具备良好的实践应用价值。
其他文献
在传统的网页分类中,通常采用有监督学习,通过对大量有标记(labeled)的网页训练集进行学习来预测未标记(unlabeled)网页的类别。但是,获取大量有标记的实例需要花费大量的人
作为一种重要的群体智能算法,PSO算法具有易于实现,需要调整的参数比较少,收敛速度快以及通用性强等特点。因此,它一直受到很多学者的关注。本文在研究PSO算法基本原理和研究
学位
随着互联网发展和电子商务规模不断的扩大,信息过载问题日益的严重。个性化推荐系统是一种解决信息过载问题的有效方法,它能够主动的去为用户推荐个性化信息并动态的根据用户
随着数码设备和图像处理软件的快速发展,人们可以非常简单地修改数字图像。如果重要的图像被恶意篡改,那么将会对社会产生不良影响。数字图像被动认证技术相对于数字水印等主
近几年,随着计算机科学与技术的发展,在云计算领域中形成了一种用时付费的生产者-消费者资源交付和使用模式。由于这种使用模式具有良好的效益成本[1],它被越来越多的企业和
在现代信息社会中,网络的快速发展使得越来越多的数据实现了共享,其中很多数据含有用户的隐私信息。信息的增长为人们的工作和生活提供了便利,也对个人隐私造成了威胁。在数
随着科技进步和电力体制改革不断深入,很多变电站实现了电力系统自动化。因此,开发一种智能化移动巡检装置用于设备检测,将是未来变电站巡检的主要方式,也是技术发展的必然趋
随着计算机网络的不断发展和计算机处理能力的不断提高,数字图像信息的安全问题也日益凸显出来。近年来,在开放的网络世界里,数字图像的应用越来越广泛,某些图像信息涉及到个
H.264/AVC作为新一代的视频编解码标准,采用了一系列先进的算法,极大的提高了解码效率,但也导致了运算复杂度的大幅增加,制约了H.264标准在视讯领域中广泛应用。尤其是在硬件