摘要
并发程序切片是并发程序分析、理解、调试、测试和维护的重要手段。文章在针对Ada任务机制讨论通信Petri网的基础上,分析了由任务间的同步活动所引起的控制依赖关系,提出了一种粗粒度的切片方法,为人们从较高的抽象层次上理解并发程序提供了一种有效的手段。
Slicing for concurrent programs is an important approach to analyze and understand programs, which has been widely used in debugging, testing and maintaining concurrent softwares. This paper discusses communication Petri nets for concurrent Ada tasks, on the basis of which the relation of control dependency caused by task communications is analyzed. Then a concept of coarse-grained slice and its algorithm are presented, which provides an efficient method for understanding large-scale Ada concurrent programs in a higher abstract level.
出处
《微电子学与计算机》
CSCD
北大核心
2004年第10期1-3,共3页
Microelectronics & Computer
基金
国家自然科学基金资助(60073012)
江苏省自然科学基金资助(BK2001004)。