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%.

中文翻译：

---

一种无线协议一致性测试的组合方法：一个经验案例

保证协议实现和协议规范的一致性是无线通信的基本前提。随着无线通信在越来越多领域的应用，无线通信环境变得越来越复杂，无线协议一致性测试的故障覆盖也面临越来越多的挑战。针对这一问题，本文采用有限状态机(FSM)作为无线协议的形式化描述工具，提出了一种基于结构覆盖和状态识别的测试技术中具有互补特性的两种测试方法的组合测试方法。然后，本文基于14个经验案例评估了该方法的有效性。