形式化的协议性能测试框架

来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户:fengxun1985
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着计算机网络技术和网络应用的迅速发展,网络协议性能测试变得越来越重要本文基于形式化方法,提出了一种协议性能测试的理论框架。首先给出了性能和性能测试空间的定义,然后提出了性能测试的结构框架,并详细描述了各个模块,最后形式化地描述了性能测试的各个阶段。
其他文献
<正>一、课题的提出:(一)研究背景:进入2012年,大数据(bigdata)一词越来越多地被提及,人们用它来描述和定义信息爆炸时代产生的海量数大数据时代来临据,并命名与之相关的技术
会议
中职学校社团活动实行学分替代的实践与研究是选择性课程体系背景下客观形势发展的一种需求,是社团活动更好地适应学分制发展的一种有效探索,也是当前中职学校选择性课程改革
采用少量已标记和大量未标记文档进行文本分类已成为一种重要研究趋势.在分析了EM和联合训练 (Co-training)两类算法的基础上,提出一种新的协同训练算法.该算法利用Bayes和TF
本文在“基于代数-时态逻辑的象形对象研究”一文的基础上,进一步讨论了“基于代数-时态逻辑的象形对象语义模型“问题,主要是将基于代数模型和基于时态逻辑模型这两种方法结合,通
介绍一个从模式I2C桥接口电路,实现了I2C总线与专用集成电路芯片之间的数据交换.它通过在通用的I2C协议上建立系统专用的数据传输协议,完成了不同数据宽度的寄存器寻址读写等
目的探讨品管圈护理模式对神经外科护理质量及患者满意度的影响。方法将本院收治的88例患者随机分为观察组与对照组,各44例。对照组给予常规护理,观察组实施品管圈护理模式。
为了解梵净山野生黄连种质资源现状,采用民族植物学田野调查法和典型样地调查法,对梵净山野生鸡爪黄连主要栖息地进行系统调查。结果表明:梵净山鸡爪黄连主要分布在海拔1300~1
一、参数间的基本关系 设计曲柄滑块机构需要决定的机构参数有:曲柄长度r、连杆长度l,曲柄转动中心相对于滑块移动导路中心的偏置量e、滑块初始位置x、滑块工作行程H、机构