摘要
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序列及各个变迁的测试序列,最后是本文的结论及下一步将要做的研究工作.
BitTorrent（BT） is a popular software which is based on Peer-to-Peer （P2P）technology to support file sharing. BT protocol is a basic peer-to-peer protocol to all BT implementations. In this paper, BT protocol is deeply analyzed and its formal model is constructed with finite state machine （FSM） . The model discribes not only the formal sharing flow but also the part exception process. Whereafter the UIO method is chosen to generate the conformance test sequences including the UIO sequence of each state and test sequence of each transition. Finally, the conclusion and the research work in the future are presented.
出处
《小型微型计算机系统》
CSCD
北大核心
2011年第4期676-679,共4页
Journal of Chinese Computer Systems
基金
国家自然基金项目(60863015)资助
教育部春晖项目(z2007-1-01032)资助
内蒙古自然科学基金重点项目(200711020803
20080404ZD20)资助
内蒙古自治区高等学校科学研究项目(NJ09012)资助
