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

作者：徐晓晶 戚晓芳并发程序原型系统依赖性分析程序切片

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社