论文部分内容阅读
B itTorrent(BT)是基于Peer-to-Peer(P2P)技术的比较流行文件共享软件,BT protoco l是其相关软件实现的一个基本协议.本文对BT协议进行深入的分析,采用有限状态机(FSM,F inite S tate M achine)对BT协议进行形式化建模,描述了正常的共享流程及部分异常处理.然后使用U IO方法生成了BT协议基于FSM模型的一致性测试序列,包括各个状态的U IO序列及各个变迁的测试序列,最后是本文的结论及下一步将要做的研究工作.
BtTorrent (BT) is a popular file sharing software based on Peer-to-Peer (P2P) technology and BT protoco is a basic protocol of its related software.In this paper, BT protocol is analyzed in depth and the finite state machine FSM and FMS to formally model the BT protocol, describing the normal sharing process and partial exception handling.And then using the U IO method to generate the BT protocol FSM model-based conformance test sequence, including the various states The U IO sequence and the test sequence of each transition, and finally the conclusion of this paper and the research work to be done in the next step.