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

• 作者: 徐晓晶 戚晓芳
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 并发程序 原型系统 依赖性分析 程序切片
• 年，卷（期）: 2012,（3）
• 所属期刊栏目: 学术研究
• 页码范围: 257-266
• 分类号: TP311
• 字数: 6253字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.2012.03.006

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	戚晓芳	东南大学计算机科学与工程学院	11	136	6.0	11.0
2	徐晓晶	东南大学计算机科学与工程学院	2	4	1.0	2.0