面向动态语言程序的缺陷理解研究

项目名称： 面向动态语言程序的缺陷理解研究

项目编号： No.61472178

项目类型： 面上项目

立项/批准年度： 2015

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

项目作者： 徐宝文

作者单位： 南京大学

项目金额： 80万元

中文摘要： 动态语言以其简单、灵活的特性得到了广泛应用，尤其是在网络化软件中。然而，其特性也给程序的调试带来了很大的困难。作为调试中的重要组成部分，全面、准确的缺陷理解至关重要。本项目拟以软件的当前版本和其演化历史包含的信息为基础，以减少程序的调试工作量为目标，研究面向动态语言程序的缺陷理解方法。具体研究内容包括：（1）研究面向动态语言的程序分析方法，以获取更全面、精确的程序上下文信息；（2）研究基于大规模软件数据仓库挖掘的缺陷模式与修复模式挖掘方法，以获取历史信息，指导缺陷理解；（3）研究面向动态语言程序的基于程序分析与模式导向的缺陷理解方法，综合历史信息与当前信息，以提高缺陷理解的准确度；（4）研制支撑平台并结合实际软件进行实验验证。本项目的研究可以为动态语言程序的调试提供有力支持，具有重要的理论与应用价值。

中文关键词： 程序分析；动态语言；缺陷理解

英文摘要： Dynamic programming languages are simple and flexible, which make them widely used, especially in network software. However, the features also make the debugging of the programs more difficult than the programs written in static programming languages. As an important part of debugging, fault understanding should be comprehensive and accurate. This project focuses on fault understanding for dynamic programs, combining historical and present information to assist fault understanding. The research contents of this project are list as follows: (1) program analysis for dynamic programs, constructing an infrastructure to collect more comprehensive and accurate information of program context; (2) mining fault templates and fix templates from software repository; (3) fault understanding directed by program analysis and template, using historical and present information to improve the accuracy of fault understanding; (4) tools/prototype platform development,and real-world case studies. The outputs of this project can provide strong support for dynamic program debugging.

英文关键词： program analysis;dynamic language;fault understanding