a study on the extended unique input/output sequence

ISCAS OpenIR

	a study on the extended unique input/output sequence
	Zhang Xinchang; Yang Meihong; Zhang Jian; Shi Huiling; Zhang Wei
	2012
发表期刊	Information Sciences
ISSN	200255
卷号	203 页码:44-58
摘要	The unique input/output (UIO) sequence is an important state identification technique in the FSM-based protocol conformance testing. However, some states of a FSM might have no UIO sequence. To address the above problem, this paper introduces an extended UIO sequence, called a GUIO sequence, which distinguishes a designated state from the remaining states by a group-by-group means. The problem of searching the optimal GUIO sequence is NP-hard. In this paper, we present a GUIO search method based on a greedy heuristics and a -hop search approach. The proposed method can obtain desirable GUIO sequences with relatively low computational complexity. © 2012 Elsevier Inc. All rights reserved.
收录类别	ei
部门归属	(1) Shandong Key Laboratory of Computer Networks, Shandong Computer Science Center, Jinan 250101, China; (2) Institute of Software, Chinese Academy of Sciences, Beijing 100190, China; (3) Computer Network Information Center, Chinese Academy of Sciences, Beijing 100190, China
语种	英语
WOS记录号	WOS:000304848100003
引用统计
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/14740
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Zhang Xinchang,Yang Meihong,Zhang Jian,et al. a study on the extended unique input/output sequence[J]. Information Sciences,2012,203:44-58.
APA	Zhang Xinchang,Yang Meihong,Zhang Jian,Shi Huiling,&Zhang Wei.(2012).a study on the extended unique input/output sequence.Information Sciences,203,44-58.
MLA	Zhang Xinchang,et al."a study on the extended unique input/output sequence".Information Sciences 203(2012):44-58.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
1-s2.0-S002002551200（469KB）			开放获取	使用许可	请求全文