中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
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
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。