《表1 FTP协议输入输出报文类型的抽象符号列表》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于Q-学习算法的有状态网络协议模糊测试方法研究》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

以FTP协议[12]状态机为例，其输入输出报文类型的抽象符号如表1所示，M包括8个状态，状态集合S={s0，s1，s2，s3，s4，s5，s6，s7}。状态机M如图1所示，其中s0到s1的迁移表示为i1/o1，它表示协议实体处于s0状态时，如果接收USER类型报文（用i1表示），将输出331类型报文（用o1表示），同时协议实体状态迁移至s1状态。