欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
位置：立项数据库 > 立项详情页
中文摘要：
并发程序切片是一种重要的并发程序分析方法。针对目前该领域中的若干关键问题，研究基于依赖性分析的并发程序切片理论，研究内容包括(1)研究基于程序可达图的并发子程序内依赖性分析及切片方法,解决语句间依赖关系不可传递性问题，获取高精度的并发子程序内切片；(2)研究基于程序可达图的并发子程序间切片方法，解决语句间依赖关系不可传递性问题和上下文不敏感问题，获取高精度的并发子程序间切片；(3)研究程序可达图的约简技术，以提高分析效率，同时探论基于约简并发程序可达图在进行并发程序切片计算过程中的有关问题；(4)开展并发程序切片在并发程序分析、测试、维护及度量等方面的应用研究；(5)开发并发程序切片工具原型，获取相关实验数据。
结论摘要：
英文主题词concurrent programs; program slicing;dependence analysis; reachability analysis
成果综合统计
期刊论文
会议论文
专利
获奖
著作
期刊论文
相关项目
戚晓芳的项目
