基于建模与仿真的完备协议测试验证技术

打开文本图片集

中图分类号：TB9；TP311.5 文献标志码：A文章编号：1674-5124（2025）07-0154-10

Abstract： To address the shortcomings of complex protocol testing in formal modeling and test completeness assessment，a modelingand simulation-based technique is proposed to implement protocol testing verification technology.The formal model specification is used to establish the test behavior paradigm of the protocol test object model; the test model is used as the core component to realize the automatic generation of test cases through model-driven approach;the model simulation is used to realize the dynamic view of the test process and the weak real-time verification ofthe test results; finally，the basic test scenario model is used to realize the completeness assessment of the protocol test. The technology provides systematic theoretical support and a complete solution for model-driven protocol test verification. Experiments show that the testing method using this technology can shorten test time by 30% ，reduce test design error rate by 50% ，and improve coverage rate by 70% in the first round of test coverage compared with the traditional script-driven testing method. Keywords： protocol test; completeness assessment; modeling and simulation; model-driven

0 引言

消息协议是实现各信息系统互联互通，信息共享的重要载体。（剩余13433字）