基于TTCN-3的移动IPv6并行测试的设计与实现

协议的一致性测试是保证协议实现正确的重要手段.在通常的一致性测试中,如果一个协议中有多个角色,需要同时使用多台测试机对协议实现进行测试.本文介绍了一种使用TTCN-3（Testing and Test Control Notation version 3）这一新的国际标准化测试语言,对移动IPv6协议实现进行并行测试的设计方案,并重点分析了多PTC（Parallel Test Compo-nent）情况下,测试适配器的开发方法.该适配器与使用TTCN-3编写的测试例结合后,只使用一台测试机就可以实现并行测试.使用这样的测试方法可以使得测试人员专注于协议的逻辑过程,而不必关心底层的编码工作.     

一种基于TTCN-3的TD-LTE终端协议一致性测试系统的构建

TD-LTE是中国提出的具有自主知识产权的4G移动通信标准,随着该技术的日益成熟和应用研究的迅速发展,越发的凸显出终端的协议一致性测试的重要性。文中首先介绍了协议一致性测试和TTCN-3的基本理论知识,然后简单分析了基于TTCN-3的TD-LTE协议一致性测试平台的设计及实现方案。     

基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

基于属性的协议互操作性测试的TTCN-3实现

目前对路由协议的测试主要集中在一致性测试,对于像OSPF这样的复杂协议,对其进行互操作测试非常必要.传统的协议互操作性测试是基于被测系统的形式化模型生成测试序列,对测试序列进行测试例抽象,最终得出测试判定.传统方法简单易行,但当测试序列较长时相应问题随之而来.采用TTCN-3语言对基于属性生成的测试序列进行测试用例的实现,结果说明采用基于属性作为模型选择的方法并结合使用TTCN-3实现测试用例可以有效提高测试效率.     

基于TTCN-3的防火墙测试系统

防火墙系统是否有效起到防护作用,最根本的方法是对其进行测试。采用了与平台无关的抽象测试描述语言TTCN-3对防火墙测试部署进行描述,提出了一种有效解决防火墙测试的方法。     

基于移动IPv6的移动网络技术研究

移动IPv6支持主机在Internet上移动,但它并不支持任意一个网络在Internet上移动.随着无线通信日趋成熟和科技的飞速发展,将会出现这种移动网络,比如:在一列火车、一辆大巴上,许多顾客带有手提电脑,这就构成了一个移动网络.本文分析了移动IPv6直接应用于移动网络所带来的问题,进而提出了一种对移动IPv6作一些改进来支持移动网络的方案.     

网络移动IPv6协议测试生成的研究与实现

协议一致性测试是保证协议实现正确性和有效的重要手段。分析了网络移动IPv6协议的特点,提出了针对该协议的层次化测试生成方法,得到了针对各个状态机的测试序列集,这些测试序列集是设计网络移动IPv6测试集的基础。最后给出了在Linux实现下的测试结果及分析,验证了研究结果的正确性。     

基于移动IPv6的MANET中Anycast服务的设计与实现

针对目前移动自组网(MANET)无法提供成熟的Anycast服务这一问题, 提出了一种在MANET中实现Anycast服务的通信模型.此模型提出了无需进行地址重复检测、IPv6地址自动分配的方案以及移动节点加入Anycast组的方法. 模型中的Anycast移动组节点在不同子网之间进行切换时,Anycast移动组节点无需进行地址注册也无需建立隧道机制.在模拟环境下实现了此模型,并对模型的数据包接收率等性能参数的实验数据进行了分析和讨论.     

IPv6基本描述协议一致性测试的探讨

简要介绍了在 Linux测试平台下 ,如何实现 IPv6基本协议 (RFC2 460 )一致性测试 ,并给出了 TTCN描述的测试例 .最后讨论了在测试中要进一步开展的工作     

802.11网络中移动IPv6快速切换的设计与实现

移动IPv6虽然解决了网络层的移动性问题,但是其切换性能并不乐观。为了适应实时应用的需求,IETF提出了移动IPv6快速切换协议以减少移动IPv6的切换时延。通过研究802.11的切换过程和移动IPv6快速切换协议,本文设计并实现了一种在802.11网络中移动IPv6快速切换方案。     

基于Linux AdHoc网络MIPv6方案的实现

给出基于自组织网的Linux系统上MIPv6协议的执行方案和关键技术的改进方法,并设计出执行MIPv6协议的框架,提出了协议执行程序需采用的关键技术.然后,对移动性的切换延时问题进行分析,降低了系统延时.最后,建立实验场景,对移动切换的性能进行研究.通过对比延时数据,验证了改进后的方案是正确且可行的.     

SIP Conformance Testing Based on TTCN-2

The session initiation protocol (SIP) is a signaling protocol for Internet telephony, multimedia conferencing, presence, event notification, and instant messaging. With the gaining popularity, more and more SIP implementations have been developed and deployed. How to guarantee the conformance of those SIP implementations is the key point of interconnection and interoperation among them. This paper proposes the test method and architecture for the SIP protocol based on the IPv6 tester system. Tree and tabular combined notation (TTCN-2) is adopted to describe the test suite. With an enhanced reference implementation, the data-processing ability to the original test system has been greatly improved. In the following test practices, some errors have been found in the SIP entities under test. It is proved that the proposed test method and architecture are effective to verify the conformance of the SIP entities, and the result of the conformance test may provide helpful reference to the development of SIP products.     

MIPv6在WLAN内快速切换的性能研究

研究下一代移动IP（MIPv6）在WLAN内的快速切换IEEE的“Mobile IPv6 Fast Handovers for 802．11 Networks”草案提出了一种快速切换的思想，通过链路层传递切换信息对其进行改进，将第三层的切换决策权交给网络（而不是移动节点），实现第二层和第三层的切换并进，从而大大降低了切换时延．该切换算法在OPNET仿真环境下模拟实现．     

MIPv 6网络中基于平衡机制的最佳路由器广播周期

在介绍MIPv6(移动IPv6)网络及其特点的基础上，分析了移动终端在链路层(L2层)和网络层(L3层)切换的性能．新的MIPv6草案引入了L2层切换触发机制，使得L2、L3层切换可以同时进行，减少了移动终端在不同子网或系统间切换时的时延．在基于无线链路效率和切换丢包率平衡考虑的基础上，研究了外部接入路由器广播周期对切换性能的影响，求得理论最佳的接入路由器广播周期，确保高的无线链路效率和业务服务质量．仿真比较了移动IPv6中路由器广播周期对不同切换方式切换性能的影响。表明基于最佳路由器广播周期的快速切换机制能降低网络负荷，提高业务服务质量．     

项目反应理论下计算机自适应考试系统的设计与实现

项目反应理论下的计算机自适应考试能够根据应试者的实际能力水平选择相应难度的试题,做到因人施测,实现更快、更准地对应试者能力进行估计。对计算机自适应考试施测过程进行了描述,对模型的选择、选题策略、参数估计等关键技术进行研究并提出相应的解决方法,实现了系统的设计与开发。     

基于MR的并行决策树分类算法的设计与实现

决策树分类方法是实现数据挖掘中分类任务的一种有效方法,但在大规模测试数据集上运行时其实现性能受到严重影响.本文设计和实现一种基于MapReduce架构的并行决策树分类算法.实验结果表明:基于MapReduce的决策树分类算法比同类算法在其他并行编程模型下的实现在计算节点较多的情况下能得到更优的性能.     

基于Hadoop云平台的并行谱聚类算法的设计与实现

谱聚类(Spectral Clustering)是建立在谱图理论基础上的一种聚类算法.与传统的聚类算法相比,谱聚类能够在任意形状的样本空间上进行聚类且收敛于全局最优解.然而,实际问题中大规模数据集普遍存在,在使用谱聚类对大规模数据集进行聚类时,收敛速度变得十分缓慢,甚至无法在有效的时间内得到聚类结果.并行算法是针对大规模数据集进行处理的一种有效方法.基于Hadoop云计算平台实现大规模数据集的存储和处理是目前实现并行计算的一种高效解决方案.     

IPv6下协同入侵检测系统的设计与实现

以IPv6协议为基础,设计并实现了一个Snort和iptables相协同的入侵检测系统.给出了协同入侵检测系统的思想,并结合这种想法,在传统的入侵检测和防火墙的基础上,设计了协同入侵检测的总体框架.实验结果表明,该系统具有较好的检测率.