基于形式化技术的帧中继拥塞控制协议一致性测试

来源 :通信学报 | 被引量 : 0次 | 上传用户:ziquan33071033
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
帧中继作为重要的广域网协议得到了日益广泛的应用,但是相关的测试活动却非常有限。本文在深入分析了帧中继拥塞控制协议的基础上对其进行了一致性测试研究和实际测试。针对帧中继拥塞控制协议的特点,采用穿越测试法设计生成了基于形式化技术的一致性测试集,并且将利用协议集成测试系统取得的一致性测试的研究成果应用到路由器的开发和研制过程中。
其他文献
采用三维电极反应器去除废水中的4-氯酚,考察了不同电极体系和不同因素对4-氯酚去除效果的影响,并分析了反应过程中可能产生的中间产物。结果表明:钛-催化电极体系对4-氯酚的
D-二聚体是血浆中的纤维蛋白原在凝血酶作用下形成纤维蛋白单体,纤维蛋白单体经活化因子X交联后再经纤溶酶降解产生的特异性终末产物,为纤维蛋白降解产物中的最小片段。正常人
党的十八届三中全会通过的《中共中央关于全面深化改革若干重大问题的决定》明确提出"把涉诉信访纳入法治轨道解决,建立涉法涉诉信访依法终结制度",体现了党中央运用法治思维
性感元素在广告创意表现中极具商业价值和创造活力“,性感广告”只有遵循创意原则,把握好各个国家民族的文化禁忌,才能既吸引目标受众高度注意,又不引起受众的反感,达到良好
<正>党的十八大以来,习近平总书记带领中国共产党思考新时代要坚持和发展什么样的中国特色社会主义、怎样坚持和发展中国特色社会主义这个重大时代课题,紧密结合新的时代条件
目的:评价套扎式包皮环切术治疗小儿包茎的临床应用价值。方法:选取笔者所在医院2013年3月-2014年2月收治的238例包茎患儿作为研究对象,按入院顺序将其随机分为套扎式包皮环
在少数民族传统音乐中,中国西部民族音乐是比较重要的一种艺术形式,属于我国中华民族传统音乐文化的瑰宝。在国家全面贯彻西部大开发政策过程中,对西部地区民族音乐的保护与
分形天线是分形几何和天线技术交叉的产物,它具有小型化、多频带、可集成等优良特性,是当前天线工程中一个新的研究热点。文中以Koch单极分形天线为例,介绍了分形天线的基本
选取我国主产烟区161份烤烟样本,研究了不同部位烟叶主要化学成分与感官质量的关系.结果表明:各部位烟叶化学成分含量总体适宜,总体评吸质量较好,评吸总分变异系数较低.各主
<正> 康熙23年(1684),清朝宣布解除海禁。随后在闽、粤、江、浙等省相继设立海关,管理东南沿海的海上贸易。海关既是清朝政策的执行工具,又是经济发展的一面镜子。在众多海关