论文部分内容阅读
使用渐增式建模的方法,建立了IPv6基本协议中基本首部的Petri网模型,并开发自动测试生成工具ATSG,得到的IPv6基本描述协议一致性测试套,该测试套可用于实际测试。最后以基本首部的下一个首部字段为例,给出了TTCN测试例。
IPv6基本首部的Petri网建模及测试生成
【摘 要】
：
使用渐增式建模的方法,建立了IPv6基本协议中基本首部的Petri网模型,并开发自动测试生成工具ATSG,得到的IPv6基本描述协议一致性测试套,该测试套可用于实际测试。最后以基本首部的下一个首部字段为例,给出了TTCN测试例。
【机 构】
：
大连东软信息学院
【出 处】
：
计算机应用与软件
【发表日期】
：
2006年07期
其他文献
近年，李寿佛创立了非线性刚性Volterra泛函微分方程数值方法的B理论。该理论为数值求解非线性刚性常微分方程、非线性刚性积分微分方程以及在实际问题中遇到的其他各种类型的
【正】 最近报界对森林遭到破坏之迅速以及如任其继续发展下去将会对人类带来的长远后果作了大量惊人的报道,为保护森林作了一件好事。热带森林是世界上最大的自行繁殖的资源
【正】 日本是一个果树事业比较发达的国家,在果树科研管理方面,建立了适合该国国情的管理体制,这对它利用传统技术、采用国外先进科技成果,不断推动果树栽培、育种及果树环
我为什么执著于﹃老三届﹄研究金大陆１９９７年秋天，《世运与命运———关于“老三届”人生存与发展的研究报告》完成了，如同编写《苦难与风流》时的心绪一样，我没有感觉轻松和兴奋，而是添了
【正】 木薯(Manihot esculenta)是热带地区发展中国家的重要粮食作物之一,适应性很广,从南纬30°至北纬30°、海拔2,000米以下的广大地区均可栽种。在不适宜种其它
焦作市位于河南省西北部，北依太行，南临黄河，呈北山南滩中川之势。全市辖6县（市）5区，总人口336．6万人，耕地18.35万公顷，人均耕地0.055公顷。近年来，随着农业种值结构调整的不断深入，称之
为准确评价秸秆还田措施在改善土壤肥力、促进粮食增产中的作用，我们在连续秸秆还田试验、土壤肥力定点观察、小麦玉米产量调查等方面做了有针对性的研究。
论文提出了一个基于双正交小波的自适应图像水印算法，在该算法中，先对可视水印进行置乱和小波变换，然后嵌入宿主图像小波域的低频系数中，在嵌入水印时考虑了人类视觉特性(HVS)。