基于云计算与动态符号执行的大型软件自动化测试研究

项目名称： 基于云计算与动态符号执行的大型软件自动化测试研究

项目编号： No.61402080

项目类型： 青年科学基金项目

立项/批准年度： 2014

项目学科： 自动化技术、计算机技术

项目作者： 陈厅

作者单位： 电子科技大学

项目金额： 27万元

中文摘要： 大型软件的自动化测试一直受到国内外学术界和工业界的极大重视。动态符号执行因强大的分析能力与自动化的分析方式，近年来成为了该领域的研究热点。但是，路径爆炸问题严重影响了该技术的可扩展性，导致无法处理大型软件，是该技术面临的核心问题。云计算在计算规模、并行化和高可扩展性等上的优势，为解决该问题提供了全新的切入点。本项目从三个方面研究基于云计算的并行动态符号执行算法及优化：一、深入分析程序变量的分配和存储方式，研究一种内存重组织方法以跟踪符号传播，将时间复杂度从log(2n)降至常数级；二、基于云计算的mapreduce编程模型研究动态符号执行的并行化算法，并提出一种优化的子任务迁移方法；三、研究全局任务目标与局部节点目标的一致性协调方法，并利用云计算的分布式文件存储机制，设计一种需求驱动的全局缓存算法。本项目的研究对解决路径爆炸问题，推动动态符号执行在大型软件自动化测试领域的应用具有重要意义。

中文关键词： 软件自动化测试；路径爆炸；云计算；动态符号执行；

英文摘要： Testing for large-scale software has received significant importance from academe and industry both in China and abroad. In recent years, for its strong and automated analysis, dynamic symbolic execution (DSE) becomes the research hotspot of automated sof

英文关键词： automated software testing；path explosion；cloud computing；concolic execution；