论文部分内容阅读
协议一致性测试是保证协议实现正确性和有效的重要手段。分析了网络移动IPv6协议的特点,提出了针对该协议的层次化测试生成方法,得到了针对各个状态机的测试序列集,这些测试序列集是设计网络移动IPv6测试集的基础。最后给出了在Linux实现下的测试结果及分析,验证了研究结果的正确性。
网络移动IPv6协议测试生成的研究与实现
【摘 要】
：
协议一致性测试是保证协议实现正确性和有效的重要手段。分析了网络移动IPv6协议的特点,提出了针对该协议的层次化测试生成方法,得到了针对各个状态机的测试序列集,这些测试
【机 构】
：
湖南大学软件学院,中国科学院计算技术研究所
【出 处】
：
科学技术与工程
【发表日期】
：
2007年14期
其他文献
城市边缘社区得到来自不同学科学者的持续关注和研究,但目前概念术语的使用较为随意,概念阐释具有化约主义的倾向。有必要对既有概念及其定义展开对话梳理,在此基础上构建一
本文主要对番茄红素的检测方法进行新的优化探索,使用乙酸乙酯和乙醇作为提取液,大大降低了前处理过程的毒性。结果表明,番茄红素在0.5~80.0μg·mL-1和0.02~10μg·
针对现有ICMP反向追踪方法中iTrace信息标记的IP地址或相关信息,导致重构完整攻击路径需要过多的数据包,并且计算量大的问题,提出了在iTrace分组中重新编码的方案。该方案可
Web服务之间所蕴含的语义依赖关系,是面向自动Web服务合成的行为建模的关键。基于服务调用的历史信息,通过不动点函数演绎推理出Web服务之间依赖关系的方法,并给出了基于图模
卫星事业的发展,使得人们有机会获取卫星在太空运行的图像资料。在很多情况下,比如对图像进行感兴趣区域图像压缩等应用,都需要对空间目标成像进行边缘检测。文中研究了边缘检测的原理和各种算法,并且通过实际试验,验证了各种检测方法在空间目标成像中的边缘检测效果,为空间目标成像的边缘检测打下坚实的理论基础。
对开发模拟训练仓的原因进行了简要介绍,而后对该模拟训练仓的整体规划进行了介绍,并给出了具体的模拟训练仓的整体结构示意图,阐述了各个分系统功能的具体实现目标。对该系