The researches on model-based testing mainly focus on the models with single component, such as FSM and EFSM. For the network protocols which have multiple components communicating with messages, CFSM is a widely accepted solution. But in some network protocols, parallel and data-shared components maybe exist in the same network entity. It is infeasible to precisely specify such protocol by existing models. In this paper we present a new model, Parallel Parameterized Extended Finite State Machine (PaP-EFSM). A protocol system can be modeled with a group of PaP-EFSMs. The PaP-EFSMs work in parallel and they can read external variables form each other. We present a 2-stage test generation approach for our new models. Firstly, we generate test sequences for internal variables of each machine. They may be non-executable due to external variables. Secondly, we process the external variables. We make the sequences for internal variables executable and generate more test sequences for external variables. For validation, we apply this method to the conformance testing of real-life protocols. The devices from different vendors are tested and implementation faults are exposed.
Xia YIN
Tsinghua University
Jiangyuan YAO
Tsinghua University
Zhiliang WANG
Tsinghua University
Xingang SHI
Tsinghua University
Jun BI
Tsinghua University
Jianping WU
Tsinghua University
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copy
Xia YIN, Jiangyuan YAO, Zhiliang WANG, Xingang SHI, Jun BI, Jianping WU, "Modeling and Testing of Network Protocols with Parallel State Machines" in IEICE TRANSACTIONS on Information,
vol. E98-D, no. 12, pp. 2091-2104, December 2015, doi: 10.1587/transinf.2015PAP0013.
Abstract: The researches on model-based testing mainly focus on the models with single component, such as FSM and EFSM. For the network protocols which have multiple components communicating with messages, CFSM is a widely accepted solution. But in some network protocols, parallel and data-shared components maybe exist in the same network entity. It is infeasible to precisely specify such protocol by existing models. In this paper we present a new model, Parallel Parameterized Extended Finite State Machine (PaP-EFSM). A protocol system can be modeled with a group of PaP-EFSMs. The PaP-EFSMs work in parallel and they can read external variables form each other. We present a 2-stage test generation approach for our new models. Firstly, we generate test sequences for internal variables of each machine. They may be non-executable due to external variables. Secondly, we process the external variables. We make the sequences for internal variables executable and generate more test sequences for external variables. For validation, we apply this method to the conformance testing of real-life protocols. The devices from different vendors are tested and implementation faults are exposed.
URL: https://global.ieice.org/en_transactions/information/10.1587/transinf.2015PAP0013/_p
Copy
@ARTICLE{e98-d_12_2091,
author={Xia YIN, Jiangyuan YAO, Zhiliang WANG, Xingang SHI, Jun BI, Jianping WU, },
journal={IEICE TRANSACTIONS on Information},
title={Modeling and Testing of Network Protocols with Parallel State Machines},
year={2015},
volume={E98-D},
number={12},
pages={2091-2104},
abstract={The researches on model-based testing mainly focus on the models with single component, such as FSM and EFSM. For the network protocols which have multiple components communicating with messages, CFSM is a widely accepted solution. But in some network protocols, parallel and data-shared components maybe exist in the same network entity. It is infeasible to precisely specify such protocol by existing models. In this paper we present a new model, Parallel Parameterized Extended Finite State Machine (PaP-EFSM). A protocol system can be modeled with a group of PaP-EFSMs. The PaP-EFSMs work in parallel and they can read external variables form each other. We present a 2-stage test generation approach for our new models. Firstly, we generate test sequences for internal variables of each machine. They may be non-executable due to external variables. Secondly, we process the external variables. We make the sequences for internal variables executable and generate more test sequences for external variables. For validation, we apply this method to the conformance testing of real-life protocols. The devices from different vendors are tested and implementation faults are exposed.},
keywords={},
doi={10.1587/transinf.2015PAP0013},
ISSN={1745-1361},
month={December},}
Copy
TY - JOUR
TI - Modeling and Testing of Network Protocols with Parallel State Machines
T2 - IEICE TRANSACTIONS on Information
SP - 2091
EP - 2104
AU - Xia YIN
AU - Jiangyuan YAO
AU - Zhiliang WANG
AU - Xingang SHI
AU - Jun BI
AU - Jianping WU
PY - 2015
DO - 10.1587/transinf.2015PAP0013
JO - IEICE TRANSACTIONS on Information
SN - 1745-1361
VL - E98-D
IS - 12
JA - IEICE TRANSACTIONS on Information
Y1 - December 2015
AB - The researches on model-based testing mainly focus on the models with single component, such as FSM and EFSM. For the network protocols which have multiple components communicating with messages, CFSM is a widely accepted solution. But in some network protocols, parallel and data-shared components maybe exist in the same network entity. It is infeasible to precisely specify such protocol by existing models. In this paper we present a new model, Parallel Parameterized Extended Finite State Machine (PaP-EFSM). A protocol system can be modeled with a group of PaP-EFSMs. The PaP-EFSMs work in parallel and they can read external variables form each other. We present a 2-stage test generation approach for our new models. Firstly, we generate test sequences for internal variables of each machine. They may be non-executable due to external variables. Secondly, we process the external variables. We make the sequences for internal variables executable and generate more test sequences for external variables. For validation, we apply this method to the conformance testing of real-life protocols. The devices from different vendors are tested and implementation faults are exposed.
ER -