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

A DYNAMIC DEADLOCK TESTING METHOD OF A CONCURRENT ADA PROGRAM

作　　者：史晓华[1] 高仲仪[1] 邵晖 

机构地区：[1]北京航空航天大学软件工程研究所

出　　处：《计算机研究与发展》1999年第8期954-960,共7页Journal of Computer Research and Development

摘　　要：针对ＡＤＡ并发多任务程序的特点，文中提出一个新的ＡＤＡ程序动态死锁检测方案，并且在这个理论的基础上实现了一个动态死锁测试工具ＤＤＴＴ（ｄｙｎａｍｉｃｄｅａｄｌｏｃｋｔｅｓｔｉｎｇｔｏｏｌ）．此工具能够正确检测ＡＤＡ多任务程序由于通信关系不当而造成的死锁．文中详细介绍了动态死锁测试工具ＤＤＴＴ所依赖的全部概念及判定规则，以及它的工作原理．According to the features of ADA concurrent programs, a new theory is introduced, which can be used to detect most deadlocks in an ADA program. A deadlock detecting tool named DDTT(dynamic deadlock testing tool) relying on this theory is designed. This detecting tool can be used to detect communicating deadlocks in a multi task ADA program. The theory and detecting rules used by DDTT are described in detail. Finally, the working principle of DDTT is introduced.

关 键 词：动态检测 ADA语言 通信死锁 软件测试 

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