论文部分内容阅读
分析了移动IPv6协议的一致性测试需求，提出了基于形式化模型的测试集设计方法，设计了基于通用一致性测试系统的参考实现扩展方案，既增强了测试能力，又提高了测试过程可配置和自动化程度，在此基础上对多种实现进行了测试，对结果进行了分析。
移动IPv6协议一致性测试研究与实践
【摘 要】
：
分析了移动IPv6协议的一致性测试需求，提出了基于形式化模型的测试集设计方法，设计了基于通用一致性测试系统的参考实现扩展方案，既增强了测试能力，又提高了测试过程可配置和自动
【机 构】
：
清华大学信息网络工程研究中心,清华大学计算机系
【出 处】
：
计算机工程
【发表日期】
：
2007年11期
其他文献
<正> 黑河与苏联布拉戈维申斯克间的边境小额贸易从1957年起到1970年止实际进行10年。这10年在黑河与布市的边境贸易史上虽然不算长,而且兴盛仅有2至3年的时间,但是在当时的
<正> 江泽民总书记2000年2月在广东考察工作时指出,我党要完成跨世纪的重任,就必须始终代表中国先进生产力的发展要求,代表中国先进文化的前进方向,代表最广大人民的根本利益
<正> 当前,在市场经济体制改革不断发展、不断完善的过程中,当代大学生的人生观、价值观随着社会经济的发展不同程度地发生了变化,一些学生受市场经济负面效应的影响,认为“
培养学生良好的职业道德素养是高等职业学校的重要任务，是学生将来就业发展的一个基本保证。职业道德教育是属于政治教学的大范围之下的，所以，在高职的政治教学中深化职业道德教
民生是科学发展之本、率先发展之要、和谐发展之基。10年来，江苏省委、省政府始终践行“以人为本、执政为民”理念，把保障和改善民生作为一切工作的出发点和落脚点，不断推出新的
生态价值观是近些年才进入人们的视野、深入人们的脑海、常常被人们挂在嘴边的。其实，若较真论起来，它却和人类一样古老。不信？你就问问那些考古学家，大凡挖掘出的古人类生活遗址
<正> 橡胶垫圈广泛用于气动系统和液压系统中固定连接处的密封。对其在低温下密封失效的机理已进行了充分的研究,人为当橡胶冷却至20℃以下时,其弹性迅速降低,从而引起垫圈接
针对当前GEF编辑器开发难度大、开发周期长的问题,设计了一个能够自动生成GEF图形编辑器的MDA工具GEG的体系结构。它利用EMF的代码自动生成方法JET和JMerge,以及EMF.edit提供的适配器机制,生成了一个完整的基于Eclipse平台的图形编辑器插件。在系统设计和实现过程中,引入了配置元模型和视图元模型。
社会建设是近年来广大干部群众共同关注的焦点内容，理所当然地也是宣传工作服务中心、服务大局的一个重要指向。淮安市把握“四个力点”，构建“四大载体”，积极探索、充分发挥宣传工作在社会建设中的作用。 探索1：把握社会建设的基点，以“家庭文化”建设为载体助推社会建设 家庭是社会的细胞，家庭和谐是社会和谐的基础，家庭建设是社会建设的基础。淮安市在文明创建、主题教育、社区文体等宣传工作中，坚持把家庭文化建
由于P2P系统具有分布性、开放性等特点，传统的访问控制和认证的方法不能很好地在P2P系统中适用。一些专门解决P2P系统中的信任问题的声誉系统也存在着容易被虚伪的节点所攻击