UIOE: A protocol test sequence generation method using the transition executability analysis (TEA)

Chung Ming Huang, Meng Shu Chiang, Ming Yuhe Jang

研究成果: Article同行評審

16 引文 斯高帕斯(Scopus)

摘要

This paper presents a new test sequence generation method for protocols that are specified in the Extended Finite State Machine (EFSM) model. The new method is called UIOE, which represents executable Unique Input/Output (UIO) sequences for EFSMs. Since EFSM-specified transitions may contain predicates in the condition parts, and may contain conditional statements, e.g., if-then-else statements, in the action parts, the executabilities of input events and output events become complex. Additionally, shorter UIOs, which are generated without considering the predicate issue, may not be the shorter executable UIOs. In EFSM-specified protocols, the switching sequence and the transition under testing can decide the executability of a state's UIO. Thus, we propose a Transition Executability Analysis (TEA) to analyze executable transition sequences based on the initial state's context variables configuration. Consequently, each state's UIOE can be selected depending on the tail state's context variables configuration of the transition under testing.

原文English
頁(從 - 到)1462-1475
頁數14
期刊Computer Communications
21
發行號16
DOIs
出版狀態Published - 1998 十月 15

All Science Journal Classification (ASJC) codes

  • Computer Networks and Communications

指紋 深入研究「UIO<sub>E</sub>: A protocol test sequence generation method using the transition executability analysis (TEA)」主題。共同形成了獨特的指紋。

引用此