Institutional Repository
| a study on the extended unique input/output sequence | |
| Zhang Xinchang; Yang Meihong; Zhang Jian; Shi Huiling; Zhang Wei | |
| 2012 | |
| Source | Information Sciences
 |
| ISSN | 200255 |
| Volume | 203Pages:44-58 |
| English Abstract | 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. |
| Indexed Type | ei |
| Department | (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 |
| Language | 英语 |
| WOS ID | WOS:000304848100003 |
| Citation statistics | |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/14740 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 1-s2.0-S002002551200（469KB） | 开放获取 | License | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment