TTCN-3测试系统协议相关部分的分析与实现

在TTCN-3测试系统的实现过程中,需要划分系统中与被测相关和无关的部分。分析与被测相关部分的编解码器和TRI中与协议相关的功能函数,并讨论它们的实现方法。以DHCPv6协议为例给出相关函数的实现算法,通过测试系统各部分的协作图阐述测试系统的工作过程。     

IPv6中IPSec协议一致性测试

IPV6协议是下一代互联网协议，IPSec（安全IP）协议是IPv6协议的一个重要组成部分，用于保障IP数据报的安全。对IPSec协议的一致性测试是保证不同厂商产品之间互联与互操作的基础，基于ISO协议一致性测试标准，开发了IPV6协议一致性测试系统，文章给出了该系统的测试方法与测试结构，通过一个测试实例介绍了测试集的形式化，并对一种Unix实现上的测试结果进行了分析。     

IPv6下动态主机配置协议的研究与设计实现

IPv6下的动态主机配置协议DHCPv6还在研究和制订中，参考相关草案和协议，设计并实现了一套基于客户／服务器的DHCPv6系统，应用于IPv6试验网，并对其中的安全问题作了一些探讨和实践。     

IPv6协议一致性测试系统

随着IPv6协议在我国的推广应用，各种相关设备蜂拥而来，由于各协议实现厂家对协议的不同理解，使得通信设备的协议非一致性问题日趋严重，为检查各个不同生产厂家的IPv6实现是否与标准文本相一致，进而确保不同厂家的IPv6实现之间能够互操作，开发一种IPv6协议一致性测试系统，并利用自定义的一种形式化描述语言，实现IPv6相关协议一致性测试集的形式化，文中给出该测试的结构，通过一个测试例介绍测试集的形式化和测试实现过程，使用该测试系统对多种IPv6协议实现进行测试，发现许不一致问题，为协议实现厂家提供了修改意见，作为例子，给出一种UnixIPv6邻居发现协议实现的测试结果分析。     

WINDOWS环境下DHCPv6协议的动态链接库的研究与实现

研究并分析了IPv6中的动态主机配置协议DHCPv6,并基于相关草案和协议,在WINDOWS环境中以动态链接库的形式设计并实现了DHCPv6协议,应用于IPv6教学试验平台,取得了预期效果。     

IPv6协议一致性测试例的设计

文中给出了协议一致性测试的测试例的基本框架结构和测试例设计的一般步骤，针对IPv6协议的特点提出了IPv6协议一致性测试的测试例设计方案，应用这个方案设计了PMTU发现协议一致性测试的测试试例，对几种不同的IPv6协议实现进行了测试，并给出了测试结果。     

基于TTCN的IPv6协议测试

基于标准的协议测试描述语言TTCN，设计了一种针对于IPv6协议簇的软件接口，搭建了具体的网络测试环境，能够在谊测试环境中进行IPv6协议的一致性测试。最后，作为例子，对WIN2000的ICMPv6协议实现进行了测试。     

IPv6过渡机制协议测试的方法与实现

IPv6协议是因特网的新一代通信协议，如何实现从IPv4到IPv6的过渡是IPv6发展急需解决的关键问题。IPv6过渡机制协议定义了一系列从IPv4到IPv6的过渡机制，为了保证各种IPv6过渡机制协议实现版本与IPv6过渡机制协议标准的一致性以及不同IPv6过渡机制协议实现之间的互操作性，以确保IPv4到IPv6的顺利过渡，需要对各IPv6过渡机制协议实现进行协议的一致性测试。本文给出了对IPv6过渡机制协议实现进行协议一致性测试的方法，用这种方法对现有的几种不同的IPv6过渡机制协议实现进行了测试并给出了测试结果。     

IS-ISv6协议一致性测试系统设计与实现

IPv6协议作为下一代互联网最有竞争力的核心协议已经成为研究热点，它主要解决路由器之间通信的问题。如何保证各网络设备协议实现的一致性，是保证各设备互联，互操作的关键。本文在介绍IS—ISv6协议和协议一致性测试的基础上，设计并实现了IS--ISv6的协议一致性测试系统，并对一基于Linux平台的IS—ISv6一致性测试实现的结果进行了分析。     

浅谈IPv6地址的无状态自动发现

由于IPv6地址长度比IPv4大很多，如果采用静态配置，会给用户带来很大麻烦，为此IPv6采用了两种地址配置协议．即无状态地址自动配置协议与有状态自动配置协议（DHCPv6）。本文对前者进行了深入讨论。     

SAVI DHCPv6数据报文源地址验证方法研究

由于现今的网络缺乏源地址验证机制,导致多种依靠IP欺骗的恶意攻击时有发生。在DHCPv6场景中防止IP欺骗的源地址验证改进（SAVI）工作,目前正由互联网工程任务组（IETF）驱动,但尚未给出切确地源地址验证方法。为此,本文首先提出两个验证方法：改进的多比特Trie树算法和改进的哈希查找算法,然后实现了SAVI DHCPv6的仿真系统,并使用该系统进行不同验证方法的对比实验。结果表明,本文提出的两种改进方法,比顺序查找方法具有更优的时间性能。     

基于IPv6的动态主机配置在Linux中的应用研究

IPv6是下一版本的互联网协议,随着IPv6的发展,基于IPv6的网络设备也向着更便宜、更简单、更小巧的方向发展,对IPv6的地址需求量也随之增加.DHCPv6的使用使IPv6更能充分体现其即插即用和自动配置的优势.文章对DHCPv6进行了介绍,并对其特性、地址配置机制和基本组成作了详细的分析,最后在Linux系统环境下实现了DHCPv6的配置.     

一种基于IPv6的物联网分布式源地址验证方案

作者在融合物联网的新一代互联网网络环境下,提出了基于IPv6的源地址验证整体架构.基于该架构,考虑物联网节点资源受限特点,并结合物联网末梢网络的拓扑形态及其路由方式上的特征,设计了基于IPv6的物联网末梢网络分布式源地址验证方案.分别讨论了静态指定、SLAAC(Stateless Address AutoConfiguration)、DHCPv6(Dynamic Host Configuration Protocol Version 6)以及DHCPv6与SLAAC混合情况下的物联网节点IP地址分配及其验证机制.模拟实验表明,该方案仅以微小的代价实现了物联网节点IP地址的分配,同时还保证了物联网节点之间、物联网节点与互联网端系统之间端到端通信时双方IP地址的真实可靠性,从而整体上增强了物联网的安全性.     

基于HFSM模型的GUI自动测试

针对图形用户界面（GUI）软件的层次性,采用分层有限自动机（HFSM）模型对被测GUI软件建模,将GUI测试转换为预期HFSM和实际HFSM的一致性测试。模型自动搜索GUI控件,提供接口,采用均匀设计思想自动产生测试数据,由测试数据驱动测试执行。根据GUI软件的特点,采用增量方式进行模型构造和测试,从而避免错误积累。     

DHCPv6中的中继代理在IPv6路由器中的实现

随着IPv6下的动态主机配置协议DHCPv6的制定,各大设备和服务供应商已经开始支持DHCPv6的功能。本文对DHCPv6的特性、原理及工作过程做了介绍;设计实现了DHCPv6Relay功能,并详细介绍了中继代理对报文的处理过程。DHCPv6Relay已经在某公司的高端路由器SR88系列上投入了商用。     

藏文自动组卷系统中试题消重方法研究

在计算机自动组卷系统中,试卷中试题的互异性是评价自动组卷系统性能的一个重要指标,而试题的互异性或相似度是由多个参数共同决定的。根据藏文试题的结构特点,提出了一种试题相似度的计算方法,力求提升自动组卷系统的组卷性能。     

基于CORBA的导弹通用测试平台并行测试实现

面向战时保障需求，提出对导弹通用测试平台进行并行测试改造，介绍了CORBA的结构，给出了导弹通用测试平台的并行测试硬件基础，提出了CORBA面向对象分析方法，应用这种方法建立了基于CORBA并行测试软件的体系结构，描述了对象适配器的定义 方法。     

基于动态切片和UML图的回归测试用例生成

针对基于UML设计的面向对象软件在修改后进行回归测试的情况,提出一种回归测试用例生成的新方法。获取软件修改后进行回归测试时必须重新测试的类和方法,分析与需要重测试类有关的UML顺序图,对顺序图中每个包含不等关系的条件断言生成与其有关的动态程序切片,根据该动态程序切片生成与其相应的回归测试用例。