• 主题
高级搜索  >
历史搜索 清空历史
首页> 中文学位 >基于动态符号执行的并行化测试数据自动生成
【6h】

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

代理获取
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

软件测试是软件可靠性保障方法中必不可失的一个重要环节。在软件测试过程中，开发人员期望通过不断提高对待测程序模块的测试覆盖率发现更多潜在的软件错误。在实践中，为待测程序模块提供合适的测试输入数据可以显著提高测试覆盖率，因而如何自动生成这些测试输入数据成为了软件测试领域的研究热点。为此，一些研究者提出了动态符号执行，一种可应用于测试输入数据自动生成的程序分析技术。其通过真实地执行待测程序模块，收集符号化的路径约束和程序中的具体变量状态以生成对应到具体程序执行路径的输入数据。随着真实待测程序复杂性的上升，这种动态技术的应用会遇到一定的效率性能问题。特别是待测单元中因循环而出现的无限路径情况，对测试数据的生成效率是一个重大的影响。近些年来，在提高软件效率的努力上，人们从先前提高单位运算效能的方式(表现为提高微处理器主频等)转变为了增加运算单位和算法并行度的方式(表现为使用多核或多处理器系统以及并行算法)。
　　 本文描述并讨论了并行的动态测试数据生成技术以及相关的分析与实验。通过该技术，传统动态方法对程序路径的串行搜索任务可被分发至不同的运算单元以提高搜索效率。根据该技术实现的工具以及运用工具所进行的实验表明并行化动态测试数据生成技术具备良好的实践应用价值。

著录项

  • 作者

    余啸;

  • 作者单位

    华东师范大学;

  • 授予单位 华东师范大学;
  • 学科 计算机软件与理论
  • 授予学位 硕士
  • 导师姓名 蒲戈光;
  • 年度 2011
  • 页码
  • 总页数
  • 原文格式 PDF
  • 正文语种 中文
  • 中图分类 TP311.52;
  • 关键词

    并行算法; 自动化测试; 数据生成; 符号执行; 软件测试;

  • 入库时间 2022-08-17 11:13:37

相似文献

  • 中文文献
  • 外文文献
  • 专利
代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号