公共文化服务平台

共 2 条记录，以下是 1-2

全选清除导出

排序方式：

BT协议的形式化建模与测试生成: 2011年; 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协议 FSM

BitTorrent协议可控制问题的研究: 在一致性测试中的分布式测试结构中存在多个测试器,如果这些测试器无法在正确的时机参与测试,就有可能产生可控制与可观察问题。通常将测试器无法保证在正确时机向被测实现发送测试输入的现象叫做可控制问题,将测试器无法保证在正确时机...; 吕东旭李华王佳; 关键词：BITTORRENT协议数据通信; 文献传递

全选清除导出

共1页<1>

吕东旭