a study on the extended unique input/output sequence
文献类型：期刊论文
| 作者 | Zhang Xinchang ; Yang Meihong ; Zhang Jian ; Shi Huiling ; Zhang Wei |
| 刊名 | Information Sciences
 |
| 出版日期 | 2012 |
| 卷号 | 203页码:44-58 |
| ISSN号 | 200255 |
| 英文摘要 | 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 |
| 语种 | 英语 |
| WOS记录号 | WOS:000304848100003 |
| 公开日期 | 2012-11-12 |
| 源URL | [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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。