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 ...
Smart systems are today increasingly developed with the number of wireless sensor devices drasticall...
The development of communications systems demands testing. This paper presents a framework for testi...
AbstractConformance testing is very important in the framework of protocol engineering. In order to ...
The use of formal methods allows automated generation and optimization of test sequences. Developing...
This paper presents the application of a formal testing methodology to protocols and services for wi...
For the general case, we give lower bounds (i.e., approximations to the greatest lower bound (GLB)) ...
[[abstract]]The UIOv-method for testing the conformance of a protocol implementation to its specific...
The authors report their experience in utilizing formal conformance testing techniques to test as an...
Verification of protocols is performed through conformancetesting. The aim of this paper is to intro...
This thesis addresses the problem of conformance testing of communication protocol implementations....
The conformance testing on the wireless sensor networks (WSNs) is fundamental for the functional lar...
[[abstract]]This paper proposes a test sequence generation method for testing the conformance of a p...
Protocol conformance testing generally involves checking whether the protocol under test conforms to...
This thesis addresses two major issues in protocol conformance testing: test sequence generation and...
Network simulators, which implement network protocols under some simulated conditions, have been wid...
Smart systems are today increasingly developed with the number of wireless sensor devices drasticall...
The development of communications systems demands testing. This paper presents a framework for testi...
AbstractConformance testing is very important in the framework of protocol engineering. In order to ...
The use of formal methods allows automated generation and optimization of test sequences. Developing...
This paper presents the application of a formal testing methodology to protocols and services for wi...
For the general case, we give lower bounds (i.e., approximations to the greatest lower bound (GLB)) ...
[[abstract]]The UIOv-method for testing the conformance of a protocol implementation to its specific...
The authors report their experience in utilizing formal conformance testing techniques to test as an...
Verification of protocols is performed through conformancetesting. The aim of this paper is to intro...
This thesis addresses the problem of conformance testing of communication protocol implementations....
The conformance testing on the wireless sensor networks (WSNs) is fundamental for the functional lar...
[[abstract]]This paper proposes a test sequence generation method for testing the conformance of a p...
Protocol conformance testing generally involves checking whether the protocol under test conforms to...
This thesis addresses two major issues in protocol conformance testing: test sequence generation and...
Network simulators, which implement network protocols under some simulated conditions, have been wid...
Smart systems are today increasingly developed with the number of wireless sensor devices drasticall...
The development of communications systems demands testing. This paper presents a framework for testi...
AbstractConformance testing is very important in the framework of protocol engineering. In order to ...