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

An Approach of Coarse-Grained Slice for Concurrent Programs

作　　者：戚晓芳[1] 徐宝文[1] 

机构地区：[1]东南大学计算机科学与工程系,江苏南京210096

出　　处：《微电子学与计算机》2004年第10期1-3,共3页Microelectronics & Computer

基　　金：国家自然科学基金资助(60073012);江苏省自然科学基金资助(BK2001004)。

摘　　要：并发程序切片是并发程序分析、理解、调试、测试和维护的重要手段。文章在针对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.

关 键 词：ADA 并发程序 程序切片 程序分析 PETRI网 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]