BT协议的形式化建模与一致性测试的测试序列生成     

王佳  李华  叶新铭  吴承勇 《中国教育网络》2009,(1):115-117

BitTorrent是一种流行的文件共享软件,它允许文件分块,并将每个数据块作为独立的传输单位在下载者之间进行交换。本文分析了P2P应用中的BitTo—nt（BT）协议的特点和工作原理,对BT协议的Peer端进行了形式化建模,得到Peer端的有限状态机模型（FiniteStateMachine,FSM）,并基于该模型以及变迁覆盖标准,给出了结合UIO方法的一致性测试的测试序列产生方法,最后给出下一步的研究工作。  相似文献   

计算机网络协议测试技术分析   总被引：1，自引：0，他引：1  

杭成宝  樊月旺  李华  叶新铭  王佳 《内蒙古科技与经济》2008,(19)

介绍了协议测试技术以及相关标准进展情况,着重介绍了协议一致性测试和互操作性测试,分析了二者的差异,明确了它们之间的关系.便于进一步理解协议测试技术.  相似文献   

IPv6星地一体远程教育应用与示范     

张珺  叶新铭  李军  李茹  白翔宇 《中国教育网络》2007,(10):24-26

在基于IPv6的下一代互联网络上,开展星地一体的中小学基础远程教育应用与示范,综合CNGI地面骨干网与卫星网覆盖范围优势,不仅为CNGI示范工程地面骨干网用户提供了实际的IPv6网络应用,而且将IPv6网络用户的范围延至卫星覆盖的偏远地区。  相似文献   

基于Struts框架的信息发布平台的开发策略     

张俊青  叶新铭  李尘一 《内蒙古科技与经济》2005,(19):28-30

本文介绍了基于Struts框架,采用JSP、JavaBean、servlet等技术,开发信息发布平台的技术和步骤。  相似文献