论文研究基于有限状态机的网络协议状态机制检测方法.pdf

进行网络稳定性测试时，对网络协议状态机制进行检测可以有效提高测试的全面性。基于有限状态机思想提出了一种协议状态机制检测方法。建立待测协议特定消息发送实体的有限状态机模型，确定输入集合；测试并监测实体的状态转移情况，生成状态转移图；根据状态转移图判定该消息的状态机制，确定有状态协议消息的触发条件，对消息进行归纳分类实现协议状态机制的判定。搭建实验环境，验证了该方法的有效性。