BT协议的形式化建模与测试生成  

BT Modeling and Conformance Test Generation

作　　者：李华[1,2] 叶新铭[1] 吴承勇[1,2] 王佳[1] 吕东旭[1] 

机构地区：[1]内蒙古大学计算机学院,内蒙古呼和浩特010021 [2]内蒙古大学网络信息中心,内蒙古呼和浩特010021

出　　处：《小型微型计算机系统》2011年第4期676-679,共4页Journal of Chinese Computer Systems

基　　金：国家自然基金项目(60863015)资助;教育部春晖项目(z2007-1-01032)资助;内蒙古自然科学基金重点项目(200711020803;20080404ZD20)资助;内蒙古自治区高等学校科学研究项目(NJ09012)资助

摘　　要：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.

关 键 词：BITTORRENT协议 FSM 测试序列 UIO方法 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]