一种粗粒度并发程序切片方法

• 作者: 徐宝文 戚晓芳
• 来源期刊: 微电子学与计算机
• 关键词: Ada 并发程序 程序切片 程序分析 Petri网
• 年，卷（期）: 2004,（10）
• 页码范围: 1-3
• 页数: 3页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2004.10.001

摘要

并发程序切片是并发程序分析、理解、调试、测试和维护的重要手段.文章在针对Ada任务机制讨论通信Petri网的基础上,分析了由任务间的同步活动所引起的控制依赖关系,提出了一种粗粒度的切片方法,为人们从较高的抽象层次上理解并发程序提供了一种有效的手段.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐宝文	东南大学计算机科学与工程系	118	3034	31.0	51.0
2	戚晓芳	东南大学计算机科学与工程系	11	136	6.0	11.0