并发程序切片原型系统的设计与实现

摘要：

并发程序切片是并发程序分析的一种重要手段.针对多线程共享变量通信机制,在通过程序分析工具CodeSurfer获取程序基本信息的基础上构造程序可这图,生成以程序状态和语句二元组为节点的并发程序依赖图,实现了基于程序可达图的并发程序切片原型系统.初步实验结果表明,与传统的切片方法相比,采用基于程序可达图的并发程序切片方法,可有效地解决依赖关系不可传递问题,获得高精度的并发程序切片.

关键词：并发程序、原型系统、依赖性分析、程序切片

所属期刊栏目：6

分类号：TP311(计算技术、计算机技术)

资助基金：The National Natural Science Foundation of China under Grant No.60873049

在线出版日期：2012-05-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：257-266