基于相同形式模型的协议测试方法研究

来源 :内蒙古大学学报(自然科学版) | 被引量 : 0次 | 上传用户：pansheng5

【摘要】

：

首先分析了目前网络协议发展的现状,介绍了协议测试的一般过程.在分析了协议的前后版本之间的变化后,发现可以将这些变化看成是对当前版本的一个扩充,并将扩充分为三大类:保

【作者】

：

李华叶新铭丁雪莲孙涛

【机构】

：

内蒙古大学计算机学院

【出处】

：

内蒙古大学学报(自然科学版)

【发表日期】

：

2005年6期

【关键词】

：

形式模型路由协议测试扩充 formal model routing protocol testing extension

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

首先分析了目前网络协议发展的现状,介绍了协议测试的一般过程.在分析了协议的前后版本之间的变化后,发现可以将这些变化看成是对当前版本的一个扩充,并将扩充分为三大类:保留项扩充、选项扩充和部分改变,相应的给出了针对各类变化的测试方法,最后以OSPFv3中的Helloreceived 事件为例介绍了提出的测试方法.

其他文献

心肌收缩能力变异性的研究

为了提示心肌收缩能力变异的规律性和评估其临床应用价值，把第一心音幅值的变化作为心肌收缩力变异性的一个指标，并测试和分析呼吸、运动、心理应激对心肌收缩能力变异性的影响

期刊

心肌收缩能力变异性心音临床应用心血管疾病Cardiac contractility Variability Heart sound

面向对象的XML查询处理技术研究

随着XML逐渐成为Internet数据表示与数据交换的标准,存储与查询XML数据变得日益重要;面向对象的方法具有很强的建模能力,将面向对象的特征引入到XML中来提高XML语言的建模能

期刊

面向对象的XMLXML-RL查询处理变量向导查询数据仓object-oriented XML documents XML-RL query pro

大针茅草原蛴螬群落主要种群空间分布特征研究

在围封状态下，对内蒙古典型草原主要群落类型——大针茅草原蛴螬群落主要种群的空间分布特征进行了研究．结果表明：蛴螬群落的最小积累采样面积约为2m^2。草原蛴螬的几个主要种群

期刊

大针茅草原蛴螬群落空间分布种间关联Stipa grandis steppeScarabaeoidea larvae communityspatial

运用“五化”应对新教材

在新的课程改革中，我们在不断地学习与探索，力求尽快地适应新教材要求。可是，又总觉得对新教材教学如同“蚂蚁吃大象”一样无从下口。到底新教材与旧教材有哪些不同?我们该如何去把握呢?现仅以该北师大版数学教材为例，谈一谈自己对新教材教学的粗浅看法，以抛砖引玉。　　　　一、信息化　　　　在这里信息化包括两层涵义：一是尽量利用现代化的信息技术来为课程教学服务，如多媒体技术、CAI辅助教学等；二是随着电子计算机

期刊

课程改革北师大版小学数学教学教学手段教学内容

这些孩子真的懒吗

“我班的某某真懒，今天作业又不做了。”，“你的孩子学习能力还可以，就是太懒，作业经常不能按时完成，所以成绩总是不能提高。”在工作中我经常听到一些同事这样说班上的学生。可是我在教学过程中观察，发现这些学生不能完成作业并不是因为他们懒惰，而是有其他的原因。具体来说，主要有以下几点：　　　　一、学生自身的原因　　　　毫无疑问，任何一个班上的学生，他们在学习能力上是有差异的。有些学生接受能力强，学习很轻松

期刊

孩子学习能力教学过程作业学生

三目标最优化结合磁场信号SVD正交分解用于脑磁源的定位计算(MEG)

脑磁源的定位是脑磁图研究的一个基本问题。该问题属不定问题，即根据探头测量的微小磁场所建立的方程组求得的未知脑磁源有无穷组解。因此需要通过建立合理的数学模型补充适当

期刊

脑磁图最小模偶极子权重函数

富阳华数FTTH组网介绍

0引言随着广电与其他运营商业务竞争的白热化,广电网络的劣势越来越明显,其中最突出的是遍布全网的野外用电设备,一方面增加了故障点,降低了网络的运行可靠性,另一方面,与供

期刊

FTTH组网广电网络运行可靠性用电设备电费计量供电部门运行成本

箱载系统应急用作播出键混器的实践

根据广播电视行业建设的规范规定,一般播出系统在重要的节点上,设备必须要有冗余备份,根据广播电视台的级别不同,有的设备是双份备份,有的是三份备份,甚至国家级的还要有异地

期刊

播出系统广播电视台设备故障冗余备份广播电视信号行业建设容灾备份国家级

口语交际教学要加强自信心的培养

在口语交际教学中，我们常常看到有的学生腼腆羞涩，性格孤僻，不喜欢开口表达；有的学生反应迟钝，思维不流畅，口舌木讷；有的学生心巧口拙，肚里有话却不善言谈，能写但不敢说……从中我们不

期刊

小学口语交际教学语言教学方法

完全四部图的色性

设G是一个图,P(G,λ)是G的色多项式.若P(G,λ)=P(H,λ),则称G和H是色等价的,简单地用G～H表示.令[G]={H|H～G}.若[G]={G},称G是色唯一的.用G=K(n1,n2,n3,n4)表示完全四部图且2(<)

期刊

色多项式色唯一性完全4部图伴随多项式chromatic polynomialchromatic uniquenesscomplete 4-parti

基于相同形式模型的协议测试方法研究

与本文相关的学术论文