【摘 要】
：
因特网协议第6版(Internet Protocol version 6,简称IPv6)是目前广泛使用的被称为"因特网基石"的因特网协议第4版(Internet Protocol version 4,简称IPv4)的新版本,它是为了
论文部分内容阅读
因特网协议第6版(Internet Protocol version 6,简称IPv6)是目前广泛使用的被称为"因特网基石"的因特网协议第4版(Internet Protocol version 4,简称IPv4)的新版本,它是为了解决IPv4协议的地址空间耗尽、路由表爆炸等问题而提出来的.协议测试是用来保证协议实现正确性和有效性的重要手段.协议一致性测试是测试被测协议实现与协议文本要求的一致性,是协议测试的基础.该文关注的是IPv6协议中邻居发现协议的一致性测试问题以及TTCN-3语言在测试例描述中的使用.该文通过分析邻居发现协议的特点,使用带标记的变迁转换系统对协议的邻居不可达检测机制进行了形式化分析和建模,并讨论了如何在此形式化模型的基础上自动生成测试目的、如何根据测试目的自动生成测试例,而且,进一步对自动生成的测试例进行了分析,并使用TTCN-3完成了对邻居发现协议的测试例的描述和对TTCN-3测试例的优化.该文给出了使用形式化方法完成由可观察事件引起的状态转换情况下测试目的和测试例的自动生成的一些算法,并在国内最早使用TTCN-3语言来描述IPv6协议一致性测试的测试例,这为将来协议测试研究工作的标准化以及更好地与国际上交流打下了良好的基础.全文详细的介绍了IPV6邻居发现协议的形式化描述,带标记的变化转换系统的定义及基于TTCN-3测试集的设计思想和具体实现.
其他文献
由于移动Agent系统自身的特性：自主性和移动性，使得移动Agent在开放的网络上自主迁移时可能受到各种网络实体的各种威胁和攻击，如恶意主机分析移动Agent的内部逻辑结构，截获移动A
该文首先回顾了数据挖掘技术概念以及在企业外部活动中的广泛应用,其次,提出了在企业内部信息系统的应用上需要进行探索的观点,由此出发,选取企业内部信息系统的一部分——WE
该项目采用与以往以统计方法为中心的期货行情技术所不同的数据挖掘技术;采用人工智能、数据挖掘、模式识别、数据仓库等领域最新的研究成果;利用模糊数学、神经网络、分形学
该文首先从宏移动管理和微移动管理两个方面系统研究了蜂窝网络的移动管理问题,讨论和介绍了MIP、MIP-RO、SIP、CIP、HAWAII、MIP-RR、IDMP等协议,并对它们进行了一些比较分
ERP是信息时代的现代企业向国际化发展的更高层管理模式，代表了当前集成化企业管理软件系统的最高水平。ERP是一种面向企业供应链的管理思想，可对供应链上的所有环节有效的进行
这篇论文主要针对目前电力行业的一些具体问题进行研究和实践.随着电力行业的不断发展,优质的客户服务和先进的计算机应用是企业成功的关键.呼叫中心是企业与用户之间联系的
随着网络技术的日益发展，尤其是Internet的日益普及，网络安全问题受到越来越多人的关注。传统的静态安全模型已经不能适应新的网络环境，动态安全模型(如PPDR模型)更能适合当前对
与当今分布式计算的软件构件技术(COM/DCOM、CORBA和RMI)的面向对象技术相比，软件Agent的粒度更大，智能化程度更高。软件Agent的研究已经成为当今软件技术的研究热点，也就是说软
本课题以现代网络通讯理论、计算机和交换机技术、数据库原理等多学科为指导,以目前固网通讯营运现状分析为基础,初次探讨研发了固网通讯中的联机指令系统,提出了"基于TCP/IP