ADA程序通信死锁的动态检测方法

• 作者: 史晓华 邵晖 高仲仪
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 死锁 ADA程序 动态检测
• 年，卷（期）: 1999,（8）
• 所属期刊栏目: 软件技术
• 页码范围: 954-960
• 分类号: TP311
• 语种: 中文

摘要

针对ADA并发多任务程序的特点,文中提出一个新的ADA程序动态死锁检测方案,并且在这个理论的基础上实现了一个动态死锁测试工具DDTT(dynamic deadlock testing tool).此工具能够正确检测ADA多任务程序由于通信关系不当而造成的死锁.文中详细介绍了动态死锁测试工具DDTT所依赖的全部概念及判定规则,以及它的工作原理.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	高仲仪	北京航空航天大学软件工程研究所	19	283	7.0	16.0
2	史晓华	北京航空航天大学软件工程研究所	13	95	4.0	9.0
3	邵晖	北京航空航天大学软件工程研究所	1	3	1.0	1.0