| 被动测试中的错误诊断算法 |
| |
| 引用本文： | 郭雄辉,赵保华,钱兰.被动测试中的错误诊断算法[J].中国科学技术大学学报,2005,35(3):385-391,338. |
| |
| 作者姓名： | 郭雄辉 赵保华 钱兰 |
| |
| 作者单位： | 1. 中国科技大学计算机科学技术系,安徽,合肥,230027
2. 中国科技大学计算机科学技术系,安徽,合肥,230027;中国科学院计算机科学实验室 |
| |
| 基金项目： | 国家自然科学基金重大研究计划项目(90104010)，国家自然科学基金项目(60241004)，国家973计划项目(2003CB314801). |
| |
| 摘 要： | 介绍了被动测试的有限状态机模型、错误模型和错误检测算法，给出了单个错误的诊断算法并分析了其时间复杂度，将所提出的算法推广到对多个错误的诊断，以在路由协议OSPF(Open Shortest Path First)的接口有限状态机上做的模拟实验为例来说明算法的有效性．
|
| 关 键 词： | 被动测试 错误诊断 有限状态机 |
| 文章编号： | 0253-2778(2005)03-0385-07 |
Fault Diagnosis in Passive Testing |
| |
| GUO Xiong-hui,ZHAO Bao-hua,QIAN Lan.Fault Diagnosis in Passive Testing[J].Journal of University of Science and Technology of China,2005,35(3):385-391,338. |
| |
| Authors: | GUO Xiong-hui ZHAO Bao-hua QIAN Lan |
| |
| Abstract: | FSM (finite state machine) model, fault model and a fault detection algorithm in passive testing are introduced. Then, a single fault diagnostic algorithm is proposed and its time complexity is discussed. After that the algorithm is extended to deal with multiple faults diagnosis.A few simulating experiments on the practical routing protocol OSPF are conducted to illustrate the algorithm.Finally,future extension and conclusion are presented. |
| |
| Keywords: | passive testing fault diagnosis finite state machine |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
