基于建模與仿真的完備協(xié)議測試驗證技術(shù)

打開文本圖片集

中圖分類號：TB9；TP311.5 文獻標(biāo)志碼：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 引言

消息協(xié)議是實現(xiàn)各信息系統(tǒng)互聯(lián)互通，信息共享的重要載體。（剩余13433字）