Automatic Conformance Test Generation for Protocols Specified in EFSM

Jun Xu; Ting Shu; Si En Lai; Yu Bo Jia

doi:10.4028/www.scientific.net/AMR.468-471.519

Paper Titles

Calculation Method of Mechanical Face Seal Temperature Based on Heat Conduction Angle
p.500

An Improved Difference Method Based on Three Asymmetric Frames and its Applications in the Vehicle Detection
p.505

Adaptive Trajectory Tracking Control of Linear Ultrasonic Motor Based on Fuzzy Recurrent Neural Network
p.510

Based on the Network Connection LAN Trojan Detection System Design and Implementation
p.514

Automatic Conformance Test Generation for Protocols Specified in EFSM
p.519

Adaptive Terminal Sliding Mode Control of Opto-Electronic Stabilized Platform Based on Acceleration Feedback
p.523

A Self-Repairing Control for the Uncertain System of a Helicopter Using Adaptive Sliding Mode Technology
p.529

An Auto-Focus Algorithm of Fast Search Based on Combining Rough and Fine Adjustment
p.534

Application of SOM Network in Ship Pipeline Leakage Detecting
p.538

HomeAdvanced Materials ResearchAdvanced Materials Research Vols. 468-471Automatic Conformance Test Generation for...

Automatic Conformance Test Generation for Protocols Specified in EFSM

Abstract:

Automatic test sequences generation can improve the test efficiency. This paper focuses on how to design and implement a conformance test sequences automatic generation tool for EFSM-based protocols. Specifically, two key technical problems are discussed in detail, which are the EFSM model construction and behaviors dynamic interpretation. For the former, the three-tier system architecture is introduced to develop a graphical EFSM editor. For the latter, a dynamic script method to efficiently interpret the dynamic behaviors of the EFSM model is presented. Based on the proposed methods, a simple prototype system for conformance test generation is developed. Experimental results show that the proposed approach is feasible.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Advanced Materials Research (Volumes 468-471)

Pages:

519-522

DOI:

https://doi.org/10.4028/www.scientific.net/AMR.468-471.519

Citation:

Cite this paper

Online since:

February 2012

Authors:

Jun Xu, Ting Shu, Si En Lai, Yu Bo Jia

Keywords:

Dynamic Script, EFSM Model, Protocol Conformance Test, Test Sequences

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] Lai R. A survey of communication protocol testing. Journal of Systems and Software. 2002, 62(1): 21-46.

Google Scholar

[2] Kalaji A S, Hierons R M, Swift S. An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models. Information and Software Technology. 2011, 53(12): 1297-1318.

DOI: 10.1016/j.infsof.2011.06.004

Google Scholar

[3] Wong W E, Restrepo A, Choi B. Validation of SDL specifications using EFSM-based test generation. Information and Software Technology. 2009, 51(11): 1505-1519.

DOI: 10.1016/j.infsof.2009.06.005

Google Scholar

[4] Derderian K, Hierons R M, Harman M, et al. Estimating the feasibility of transition paths in extended finite state machines. Automated Software Engineering. 2010, 17(1): 33-56.

DOI: 10.1007/s10515-009-0057-9

Google Scholar

[5] Duale A Y, Uyar M U. A method enabling feasible conformance test sequence generation for EFSM models. IEEE Transactions on Computers. 2004, 53(5): 614-627.

DOI: 10.1109/tc.2004.1275300

Google Scholar

[6] Merayo M G, Núñez M, Rodríguez I. Extending efsms to specify and test timed systems with action durations and time-outs. IEEE Transactions on Computers. 2008, 57(6): 835-844.

DOI: 10.1109/tc.2008.15

Google Scholar

[7] Hessel A, Pettersson P. A global algorithm for model-based test suite generation. Electronic Notes in Theoretical Computer Science. 2007, 190(2): 47-59.

DOI: 10.1016/j.entcs.2007.08.005

Google Scholar

[8] Ting Shu, Shouqian Sun, Haining Wang. A novel method of state identification sequences generation for testing communication protocols modeled as extended finite state machines. IEEE 10th International Conference on CAID & CD. 2009:1121-1126.

DOI: 10.1109/caidcd.2009.5374861

Google Scholar