A dfsm-based protocol conformance testing and diagnosing method
文献类型:期刊论文
作者 | Zhang, Xinchang1; Yang, Meihong1; Geng, Guanggang2; Luo, Wanming2 |
刊名 | Informatica
![]() |
出版日期 | 2011 |
卷号 | 22期号:3页码:447-469 |
关键词 | Protocol conformance testing Fault detection Fault diagnosis Dfsm model |
ISSN号 | 0868-4952 |
通讯作者 | Zhang, xinchang(xinczhang@hotmail.com) |
英文摘要 | In the protocol conformance testing, many existing test methods can effectively detect the possible faults of the implementation under test. however, it is difficult to diagnose the found faults in terms of the test results. this paper presents a diagnosable input/output (dio) sequence, to differentiate a state from other states under a given condition. we further propose a two-tier protocol conformance testing and diagnosing method based on dio sequences. the proposed method can effectively detect and diagnose the possible faults of the implementation of a protocol. |
WOS关键词 | FINITE-STATE MACHINES ; AUTHENTICATION SCHEME ; FAULT-DETECTION ; DESIGN |
WOS研究方向 | Computer Science ; Mathematics |
WOS类目 | Computer Science, Information Systems ; Mathematics, Applied |
语种 | 英语 |
WOS记录号 | WOS:000295659400008 |
出版者 | INST MATHEMATICS & INFORMATICS |
URI标识 | http://www.irgrid.ac.cn/handle/1471x/2374134 |
专题 | 计算机网络信息中心 |
通讯作者 | Zhang, Xinchang |
作者单位 | 1.Shandong Comp Sci Ctr, Shandong Key Lab Comp Networks, Jinan 250014, Peoples R China 2.Chinese Acad Sci, Comp Network Informat Ctr, Beijing 100049, Peoples R China |
推荐引用方式 GB/T 7714 | Zhang, Xinchang,Yang, Meihong,Geng, Guanggang,et al. A dfsm-based protocol conformance testing and diagnosing method[J]. Informatica,2011,22(3):447-469. |
APA | Zhang, Xinchang,Yang, Meihong,Geng, Guanggang,&Luo, Wanming.(2011).A dfsm-based protocol conformance testing and diagnosing method.Informatica,22(3),447-469. |
MLA | Zhang, Xinchang,et al."A dfsm-based protocol conformance testing and diagnosing method".Informatica 22.3(2011):447-469. |
入库方式: iSwitch采集
来源:计算机网络信息中心
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。