ADA程序通信死锁的动态检测方法
| 外文标题 | A DYNAMIC DEADLOCK TESTING METHOD OF A CONCURRENT ADA PROGRAM |
| 文献类型 | 期刊 |
| 作者 | 史晓华[1];高仲仪[2];邵晖[3] |
| 机构 | [1]北京航空航天大学软件工程研究所 [2]北京航空航天大学软件工程研究所 [3]北京航空航天大学软件工程研究所 ↓ |
| 来源信息 | 年:1999卷:24期:8页码范围:954-960 |
| 期刊信息 | 计算机研究与发展ISSN:1000-1239 |
| 关键词 | 死锁;ADA程序;动态检测 |
| 摘要 | 针对ADA并发多任务程序的特点,文中提出一个新的ADA程序动态死锁检测方案,并且在这个理论的基础上实现了一个动态死锁测试工具DDTT(dynamic deadlock testing tool).此工具能够正确检测ADA多任务程序由于通信关系不当而造成的死锁.文中详细介绍了动态死锁测试工具DDTT所依赖的全部概念及判定规则,以及它的工作原理. |
| 收录情况 | PKU |
| 所属部门 | 计算机学院 |
| 链接地址 | http://d.g.wanfangdata.com.cn/Periodical_jsjyjyfz199908009.aspx |
| 人气指数 | 1 |
| 浏览次数 | 1 |
全文
影响因子：
软件工程研究所
dc:title:ADA程序通信死锁的动态检测方法
dc:creator:史晓华;高仲仪;邵晖
dc:date: publishDate:1999-08-15
dc:type:期刊
dc:format: Media：计算机研究与发展
dc:identifier: LnterrelatedLiterature：计算机研究与发展.1999,24(8),954-960.
dc:identifier:DOI：
dc: identifier:ISBN:1000-1239
