期刊文献+

一种粗粒度并发程序切片方法 被引量:3

An Approach of Coarse-Grained Slice for Concurrent Programs
下载PDF
导出
摘要 并发程序切片是并发程序分析、理解、调试、测试和维护的重要手段。文章在针对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)。
关键词 ADA 并发程序 程序切片 程序分析 PETRI网 Ada, concurrent program, Program slicing, Program analysis, Petri nets
  • 相关文献

参考文献4

  • 1J Krinke. A Static slicing of threaded program. ACMSIG PLAN Notices. 1998, 33(7): 35-42. 被引量:1
  • 2Z Chen, B Xu. Slicing concurrent Java programs. ACM SIGPLAN Notices. 2001, 36(4): 41-47. 被引量:1
  • 3J Cheng. Task dependence nets for concurrent systems with Ada 95 and its applications. In: ACM TRI-Ada Interna tional Conference, St. Louis, Missouri, USA: ACM Press,1997: 67-78. 被引量:1
  • 4M B Dwyer, L A Clarke. A Compact Petri Net Representation and Its Implication for Analysis. IEEE Trans. Software Engineering. 1996, 22 (11): 794-811. 被引量:1

同被引文献34

引证文献3

二级引证文献6

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部