中图分类号：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 mo（试读）...