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

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