A Visual EFSM Modeling System for Protocol Testing

Guang Hui Yang; Ting Shu; Sien Lai; Dong Xiang  Xu

doi:10.4028/www.scientific.net/AMR.765-767.409

Paper Titles

Parameters Identification for Simplified Yaw Model of Articulated Heavy Vehicle
p.387

Co-Simulation Study on Over-Running Load Balance in Cabin Door Hydromechanical Drive System
p.392

Reliability Analysis of Dynamical Strength for Crank-Rocker Mechanism Based on Assur-Group Method
p.398

Modeling and Simulation for Overhead Hoist Transporter System in Computer Integrated Manufacturing; A Case Study on the Food Processing Business
p.404

A Visual EFSM Modeling System for Protocol Testing
p.409

A Bidirectional Quintuple Tree Node Expansion Algorithm for UAV Path Planning in Dynamic Environment
p.413

The Dynamic Analysis of Reduction Gearbox of NC Gear Shaper Based on ADAMS
p.417

Dynamics Simulation and Analysis of Planetary Reducer
p.422

Simulation Analysis on Interior Flow Field of Recoil Brake Based on Dynamic Mesh
p.427

HomeAdvanced Materials ResearchAdvanced Materials Research Vols. 765-767A Visual EFSM Modeling System for Protocol Testing

A Visual EFSM Modeling System for Protocol Testing

Abstract:

An Extended Finite State Machine (EFSM) is one of the most popular models used in protocol testing field. A specific graphical EFSM model consists of two parts: state elements and transition elements. This paper presents a method for building a visual EFSM modeling system (VEMS), which is used to construct visual protocol EFSM models for protocol testing. VEMS consists of two main modules. One is the modeling module and the other is the model information analysis module. The function of our system can satisfy the requirements to build a visual EFSM model in protocol testing. Specially, users can modify the properties of states and transitions, change the size of states and transitions, build connection between states and transitions, etc. VEMS provides a good modeling support for protocol testing. Its advantages include friendly user interface, simple modeling operation, model persistence and recovery.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Advanced Materials Research (Volumes 765-767)

Pages:

409-412

DOI:

https://doi.org/10.4028/www.scientific.net/AMR.765-767.409

Citation:

Cite this paper

Online since:

September 2013

Authors:

Guang Hui Yang, Ting Shu, Sien Lai, Dong Xiang Xu

Keywords:

Dynamic Resolution, Extended Finite State Machine (EFSM), Model Persistence, Visual Modeling

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] Abdul Salam Kalaji, Robert Mark Hierons and Stephen Swift: An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models, Information and Software Technology [J] Vol. 53(2011), p.1297.

DOI: 10.1016/j.infsof.2011.06.004

Google Scholar

[2] Jun Xu, Ting Shu, Si En Lai, Yu Bo Jia: Advanced Materials Research [J] Vol. 468(2012), p.519.

Google Scholar

[3] Wenhe Yue, B. Liu and Weixiang X. Li: Design and Study of Distribution Map of a General Architechture for Wireless Sensor NetWorks Based on GDI+, International Conference on Computer Science and Software Engineering [C] Vol. 2(2008), p.444.

DOI: 10.1109/csse.2008.1340

Google Scholar

[4] Jitian Xiao: A Match-Based Approach to Optimize Conformance Test Sequence Generation Using Mp-Method, International Forum on Computer Science-Technology and Application [C] Vol. 1(2009), p.392.

DOI: 10.1109/ifcsta.2009.101

Google Scholar

[5] Tao Huang, Anthony Chung: Finding Narrow Input/Output (NIO) Sequences by Model Checking, International Conference on Software Engineering Research, Management and Applications [C] (2008), p.283.

DOI: 10.1109/sera.2008.42

Google Scholar