Protocol Conformance Test Sequence Generation for Q/GDW11709.2 Based on FSM

被引：0
作者：
Ge, Huijie [1 ]
Liu, Jianxin [2 ,3 ]
Sang, Lin [2 ]
机构：
[1] State Grid Elect Power Res Inst, Nanjing, Peoples R China
[2] Nari Grp Co Ltd, Nanjing, Peoples R China
[3] Nari Technol Nanjing Control Syst Co Ltd, Nanjing, Peoples R China
来源：
PROCEEDINGS OF 2019 INTERNATIONAL FORUM ON SMART GRID PROTECTION AND CONTROL (PURPLE MOUNTAIN FORUM), VOL II | 2020年 / 585卷
关键词：
Protocol conformance testing; FSM; UIO sequence; Test sequence;
D O I：
10.1007/978-981-13-9783-7_68
中图分类号：
TE [石油、天然气工业]; TK [能源与动力工程];
学科分类号：
0807 ; 0820 ;
摘要：
In order to realize healthy communication and accurate information exchange between the charging tariff and control unit (referred to as TCU) and electric vehicles during charging service, the enterprise standard Q/GDW11709.2 of State Grid Corporation of China stipulates the communication protocol between TCU and charging pile. The protocol standard is the basis of the interconnection between the TCU and the charging controller (referred to as CTR), and the protocol conformance test is the precondition of ensuring the protocol implementation and healthy communication, one of the major components of protocol testing is generating test sequences. Based on the study of the communication protocol and mechanism between the TCU and the CTR, the finite state machine (referred to as FSM) model of Q/GDW11709.2 communication protocol is established, and the UIO sequence of each state in the state machine is calculated.
引用
收藏
页码：825 / 836
页数：12
相关论文
共 9 条
  • [1] [Anonymous], 2017, Q GDW 11709 2017 CHA
  • [2] ON COMMUNICATING FINITE-STATE MACHINES
    BRAND, D
    ZAFIROPULO, P
    [J]. JOURNAL OF THE ACM, 1983, 30 (02) : 323 - 342
  • [3] Jiang Z, 2007, TEACHING REFERENCE B, P54
  • [4] Jun Tang, 2013, 2013 IEEE International Conference on Green Computing and Communications (GreenCom) and IEEE Internet of Things (iThings) and IEEE Cyber, Physical and Social Computing (CPSCom), P591, DOI 10.1109/GreenCom-iThings-CPSCom.2013.111
  • [5] Liu P, 2010, FSM BASED TEST CASES
  • [6] Ma X, 2005, COMPUT ENG APPL, V22, P76
  • [7] Wang P, 2008, RES TEST CASE AUTOMA
  • [8] [徐军委 Xu Junwei], 2004, [中国科学技术大学学报, Journal of University of Science and Technology of China], V34, P710
  • [9] Zhu X, 2010, COMPUT SCI, V36, P5
1