[1] 赵春晖.GB/T 38893—2020《工业车辆 安全监控管理系统》和T/CCMA 0070—2019 《电动工业车辆非车载传导式充电机与电池管理系统之间的通信协议》宣贯会在郑州市成功召开 [J].起重运输机械,2020(21):26-27. [2] 杨 光,潘俊家,崔根群,等.车载以太网TCP/IP协议一致性测试系统研究 [J].现代电子技术,2020,43(7):29-33. [3] 彭志强,徐春雷,张琦兵,等.电力系统通用服务协议一致性测试技术 [J].电力系统保护与控制,2020,48(3):84-91. [4] 周 峰,郝 鑫.基于FSM模型的总线协议一致性测试系统研究 [J].计算机技术与发展,2018,28(10):17-21. [5] 罗军舟,沈 俊,顾冠群.从Petri网到形式描述技术和协议工程 [J].软件学报,2000,11(5):606-615. [6] 宋金晶,沈 军.基于CSP的网络协议描述与仿真 [J].东南大学学报(自然科学版),2008,38(增刊I):28-33. [7] 公彦杰,韩丹涛,赵艳领,等.OPC-UA一致性自动测试方法:2020114757898 [P].2021-03-19. [8] 李小将,杨凡德.基于有限状态机的一致性测试模型 [J].装备指挥技术学院学报,2003(1):66-69. [9] 丁雪莲,陈银凤,张巨萍.基于UIO的协议一致性测试序列生成方法研究 [J].电脑与信息技术,2011,19(6):19-21. [10] 刘 武,武国良,徐冰亮,等.基于LabVIEW的电池管理系统与充电机通信协议测试 [J].现代电子技术,2013,36(17):114-117. [11] 李旭玲,席旸旸,董 晨.非车载充电机与BMS通信协议测试的研究与实现 [C]//中国电机工程学会电力系统自动化专业委员会三届一次会议暨学术交流会.南京:中国电机工程学会,2011:1-7. [12] 黄 炘,张宝强,李 川,等.电动汽车无线充电通信协议一致性测试的研究 [J].汽车电器,2021(2):12-14. [13] 马秀飞,高 翔,梅杓春.两种基于UIO序列的测试序列生成算法及比较 [J].计算机工程与应用,2005(22):76-79. [14] ROCHA M,SIMÃO A,SOUSA T.Model-based test case generation from UML sequence diagrams using extended finite state machines [J].Software Quality Journal,2021,29:597-627. |