文件名称：论文研究-基于有限状态机的网络协议状态机制检测方法.pdf
文件大小：1.15MB
文件格式：PDF
更新时间：2022-08-11 15:36:40
网络稳定性,有限状态机,协议状态机制,状态转移图
进行网络稳定性测试时，对网络协议状态机制进行检测可以有效提高测试的全面性。基于有限状态机思想提出了一种协议状态机制检测方法。建立待测协议特定消息发送实体的有限状态机模型，确定输入集合；测试并监测实体的状态转移情况，生成状态转移图；根据状态转移图判定该消息的状态机制，确定有状态协议消息的触发条件，对消息进行归纳分类实现协议状态机制的判定。搭建实验环境，验证了该方法的有效性。