scholarly journals A Combining Method for Wireless Protocol Conformance Testing: A Empirical Case

2021 ◽  
Vol 2021 ◽  
pp. 1-14
Author(s):  
Lin Wei-Wei ◽  
Zeng Hong-Wei ◽  
Jung Yoon Kim

Ensuring the consistency of protocol implementation and protocol specification is the basic premise of wireless communication. With the application of wireless communication in more and more fields, the wireless communication environment becomes more and more complex, and the fault coverage of wireless protocol conformance testing is also facing more and more challenges. To solve this problem, this paper uses Finite State Machine (FSM) as a formal description tool for wireless protocols and presents a combining test method based on two test methods with complementary characteristics in the test technologies based on structural coverage and state identification. Then, the paper evaluates the effectiveness of the method based on 14 empirical cases. The experimental results show that the fault coverage of each empirical case can be effectively improved to 100% when the average test cost is only increased by 17.99%.

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 713-715 ◽  
pp. 466-470
Author(s):  
Guo Li Deng ◽  
Tao He ◽  
Yong Wei ◽  
Hua Zhong Li ◽  
Shou Xiang Xu ◽  
...  

This paper puts forwards the problems during the process of conformance test based on the enhanced finite state machine and looks for the description method of the state machine for protocol. Through the analysis of model based on test principle, the protocol conformance testing will be applied based on the enhanced finite state machine test. Through comparing with the traditional test method, study how to design model for protocol, and through executing model produced test, verify the advantage and applicability of model based testing method by testing cases.


TAPPI Journal ◽  
2009 ◽  
Vol 8 (6) ◽  
pp. 24-28
Author(s):  
CORY JAY WILSON ◽  
BENJAMIN FRANK

TAPPI test T811 is the specified method to ascertain ECT relative to box manufacturer’s certification compliance of corrugated fiberboard under Rule 41/ Alternate Item 222. T811 test sample heights were derived from typical board constructions at the time of the test method’s initial development. New, smaller flute sizes have since been developed, and the use of lighter weight boards has become more common. The T811 test method includes sample specifications for typical A-flute, B-flute, and C-flute singlewall (and doublewall and triplewall) structures, but not for newer thinner E-flute or F-flute structures. This research explores the relationship of ECT sample height to measured compressive load, in an effort to determine valid E-flute and F-flute ECT sample heights for use with the T811 method. Through this process, it identifies challenges present in our use of current ECT test methods as a measure of intrinsic compressive strength for smaller flute structures. The data does not support the use of TAPPI T 811 for ECT measurement for E and F flute structures, and demonstrates inconsistencies with current height specifi-cations for some lightweight B flute.


Machines ◽  
2019 ◽  
Vol 7 (1) ◽  
pp. 4 ◽  
Author(s):  
Luqman S. Maraaba ◽  
Zakariya M. Al-Hamouz ◽  
Abdulaziz S. Milhem ◽  
Ssennoga Twaha

The application of line-start permanent magnet synchronous motors (LSPMSMs) is rapidly spreading due to their advantages of high efficiency, high operational power factor, being self-starting, rendering them as highly needed in many applications in recent years. Although there have been standard methods for the identification of parameters of synchronous and induction machines, most of them do not apply to LSPMSMs. This paper presents a study and analysis of different parameter identification methods for interior mount LSPMSM. Experimental tests have been performed in the laboratory on a 1-hp interior mount LSPMSM. The measurements have been validated by investigating the performance of the machine under different operating conditions using a developed qd0 mathematical model and an experimental setup. The dynamic and steady-state performance analyses have been performed using the determined parameters. It is found that the experimental results are close to the mathematical model results, confirming the accuracy of the studied test methods. Therefore, the output of this study will help in selecting the proper test method for LSPMSM.


Sign in / Sign up

Export Citation Format

Share Document