作者：戚晓芳; 徐宝文; 周晓宇并发程序可达性分析依赖性分析程序切片
摘要：依赖性分析是一种重要的程序分析手段．针对多线程共享变量通信机制，本文在提出一种新的并发程序表示一线程交互可达图（tIRG）的基础上，从全局分析并发程序的依赖关系，构建了以程序状态和语句二元组为节点的并发程序依赖图（MSDG）．与传统的以语句为节点的并发程序依赖图相比，MSDG图中依赖关系不仅精确，且具有可传递性，对其遍历可获得高精度的并发程序切片，精度和效率较其它高精度切片方法有显著提高．
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
