A method to generate test sequences for protocol conformance testing

Author(s):  
Tong Su ◽  
Junliang Chen ◽  
Shiduan Cheng
2018 ◽  
Vol 2018 ◽  
pp. 1-13 ◽  
Author(s):  
Weiwei Lin ◽  
Hongwei Zeng ◽  
Honghao Gao ◽  
Huaikou Miao ◽  
Xiaolin Wang

Wireless communication protocols are indispensable in Internet of Things (IoT), which refer to rules and conventions that must be followed by both entities to complete wireless communication or service. Wireless protocol conformance testing concerns an effective way to judge whether a wireless protocol is carried out as expected. Starting from existing test sequence generation methods in conformance testing, an improved method based on overlapping by invertibility and multiple unique input/output (UIO) sequences is proposed in this paper. The method is accomplished in two steps: first, maximum-length invertibility-dependent overlapping sequences (IDOSs) are constructed, then a minimum-length rural postman tour covering the just constructed set of maximum-length IDOSs is generated and a test sequence is extracted from the tour. The soundness and effectiveness of the method are analyzed. Theory and experiment show that desirable test sequences can be yielded by the proposed method to reveal violations of wireless communication protocols in IoT.


2015 ◽  
Vol 10 (2) ◽  
pp. 145-153
Author(s):  
Yin Chen ◽  
Zhizhong Ding ◽  
Dingliang Wang ◽  
Teng Huang

2014 ◽  
Vol 513-517 ◽  
pp. 2522-2525
Author(s):  
Yu Liu ◽  
Yong Qing Niu

Firstly,This paper improves the test framework for protocol conformance testing platform.Secondly, A testing suit is exploited by the test control notation version 3(TTCN-3) to verify the protocol conformance testing. Furthermore, It gets TTCN simulation graphics through specific the re-establish testing suit. At last, Theoretical analysis and simulation results show the advantages of testing program as well as the feasibility of the platform.


2002 ◽  
Vol 11 (03) ◽  
pp. 273-281 ◽  
Author(s):  
TIBOR CSÖNDES ◽  
BALÁZS KOTNYEK

This paper presents a mathematical model for the test selection problem in protocol conformance testing, the goal of which is to select a suitable test set from a given test suite. The problem is described together with its mathematical formulation including two optimization problems and four different models for the coverage. The test selection problem is shown to be NP-hard. The Integer Programming transformation of the problems is also discussed. We propose greedy algorithms for the selection, which perform much better than the existing methods and can provide very good solutions as experimental results show.


Sign in / Sign up

Export Citation Format

Share Document