并发程序切片及其关键技术研究

项目名称： 并发程序切片及其关键技术研究

项目编号： No.60873049

项目类型： 面上项目

立项/批准年度： 2009

项目学科： 武器工业

项目作者： 戚晓芳

作者单位： 东南大学

项目金额： 28万元

中文摘要： 并发程序切片是一种重要的并发程序分析方法。针对目前该领域中的若干关键问题，研究基于依赖性分析的并发程序切片理论，研究内容包括：(1)研究基于程序可达图的并发子程序内依赖性分析及切片方法,解决语句间依赖关系不可传递性问题，获取高精度的并发子程序内切片；(2)研究基于程序可达图的并发子程序间切片方法，解决语句间依赖关系不可传递性问题和上下文不敏感问题，获取高精度的并发子程序间切片；(3)研究程序可达图的约简技术，以提高分析效率，同时探论基于约简并发程序可达图在进行并发程序切片计算过程中的有关问题；(4)开展并发程序切片在并发程序分析、测试、维护及度量等方面的应用研究；(5)开发并发程序切片工具原型，获取相关实验数据。

中文关键词： 并发程序；程序切片；依赖性分析；可达性分析

英文摘要： Program slicing is an important approach to analyzing concurrent programs. Theories of slicing concurrent programs will be investigated for key problems in this area. This research will focus on the following aspects: (1)By analyzing dependences in intraprocedural concurrent programs based on program reachability graph, presents the slicing algorithm to solve the intransitivity problem and obtain high-precision slice for intraprocedural concurrent programs.(2) Proposes the slicing algorithm for inter-procedural concurrent programs to solve the intransitivity and context-insensitive problems and obtain high-precision slice for inter-procedural concurrent programs.(3) In order to improve analysis efficiency, extends partial-order methods to reduction for program reachability，then discusses related problems in slicing concurrent program based on reduced program reachability graph. (4) Explores applications of slicing concurrent programs in program analysis, testing, maintainance, measurement and etc. (5) Develops tools for slicing concurrent programs and obtains experimental results.

英文关键词： concurrent programs; program slicing;dependence analysis; reachability analysis