基于TTCN的ICMPv6的一致性测试

基于TTCN的协议的一致性测试是保证协议实现正确的重要方法.在介绍ICMPv6协议和TTCN标准的基础上,构建了一种基于TTCN标准的一致性测试系统.介绍了该测试系统的架构与工作原理,同时给出了ICMPv6一致性测试的方法和步骤,并在测试平台上执行了测试套.     

TTCN-3测试系统的设计与实现

TTCN-3是一种新的标准化测试语言,文章提出了基于TTCN-3的协议一致性测试系统的设计方法,它使用可执行对象树表示TTCN-3可执行测试套,提供了灵活的并发测试组件调度方式和解释执行机制,并描述了依据该方法实现的TTCN3Runner的系统结构。     

并发TTCN测试执行机的设计与实现

提出了一种通用并发TTCN测试执行机的设计方法.在测试并发协议实现时,采用FIFO调度算法解决了并发测试例的执行问题,并在借鉴抽象I/O队列思想的基础上提出了PTI(packet transmitting interface)部分,使得执行机与特定的协议实现无关,而且提供了可视化的测试执行跟踪界面,使错误定位变得更加容易.实现的执行机在附加上相应的PTI部分之后就可以进行测试,目前已投入使用.     

基于并发TTCN的协议互操作性测试系统的研究

该文从定义并发TTCN着手,介绍了协议测试的概念和内容,详细讨论了协议互操作性测试的意义及其相关的语义定义,该文最后给出了一种改进的协议互操作性测试系统的结构。     

并发TTCN测试执行器的实现研究

并发TTCN同时拥有多个测试部件的特性，改变了整个测试框架，也带来了如何协调和管理测试部件之间通信的新问题，本文在传统TTCN测试执行模块的基础上为并发TTCN设计了测试执行模块的整体模框架，并进行 了具体的实现。     

基于TTCN的IPv6协议测试

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

并发TTCN的操作语义及相关算法

TTCN作为一种形式化的测试集描述语言，已经得到了广泛的应用，在介绍了并发TTCN的基本概念之后，接着介绍TTCN2的操作语义及相关算法，然后结合TTCN执行机的实现给出了并发测试组件的调度算法。     

基于Tcl的策略路由协议一致性测试

协议一致性测试是保证协议实现满足协议描述的重要手段,策略路由是一种路由转发协议,它根据协议类型、IP源地址和报文大小选择转发路径。论文从策略路由协议的特点出发,设计并实现了基于Tcl语言的协议分布式测试系统,并应用于路由器的策略路由测试。     

基于协议集成测试系统的BGP—4协议测试

针对BGP-4作为路由协议的特点,对现有测试方法进行了分析,选择了测试方法和测试结构;对参考实现进行了扩展,引入了动态计算等子模块以增强测试能力;TTCN格式的测试集采用自动生成和手工编写相结合的方式,以提高覆盖率;BGP-4测试在协议集成测试系统（PITS）上进行,测试发现了包括Cisco产品在内的BGP-4协议实现中的错误,证实了测试工作的有效性,测试成果促进了国产高性能路由器的开发与改进,为其他路由协议的测试提供了有益的借鉴,同时增加强了PTTS系统的测试能力,扩大了系统的适用范围。     

无线传感器网络CMR路由协议的设计与实现

在基于簇的路由算法基础上,结合多跳路由的设计思想,提出了一种基于簇的多跳路由协议（CMR）,着重对路由协议的设计思想,簇组织算法和簇间路由算法的工作过程进行了分析和论述,包括簇首选举与簇建立、簇重组与自愈机制,以及簇间路由建立与维护等,并给出了协议的实现,最后对协议进行了测试。     

一种形式化的协议互操作性测试方法

对协议实现的互操作性测试是保证网络产品之间互通的一种重要手段。在本文中我们提出了一种基于并发ＴＴＣＮ操作语义的互操作性测试系统的构造方法。     

A Formal Approach to Protocol Performance Testing

1IntroductionProtocoltestingisanimportantmeanstoensuretheinterconnectionandinteroperationbetweenprotocolproductsfromdifferentvendors.Currenttestactivitiesforprotocolscanbeclassifiedintothreeclassesaccordingtotheirtestpurpose:conformancetesting,inter-operabilitytestingandperformancetesting[1].Conformancetestingandinteroperabilitytestingarefunctionaltest,andperformancetesting,however,isdifferentfromthem.Itspurposeistotestthecharacteristicparametersofprotocolimplementation,suchaspackettransferdel…     

Test suite development with TTCN-3 libraries

This paper presents a methodology for test suite implementation based on Testing and test control notation (TTCN)-3 libraries which has been developed and successfully applied for the implementation of complex, standardized Internet Protocol version 6 (IPv6) conformance test suites at ETSI. It introduces the concept of a TTCN-3 library, discusses benefits and challenges, and examines the effect of some important TTCN-3 language constructs on reuse. Finally, it explains in detail a layered library design approach to test implementation in the context of a IPv6 test suite.     

A formal approach to protocol performance testing

This paper proposes a formal approach to protocol performance testing based on the extended concurrent TTCN,To meet the needs of protocol performance testing,concurrent TTCN is extended,and the extended concurrent TTCN‘s operational semantics is defined in terms of Input-Output Labeled Transition System.An architecture design of protocol performance test system is described,and an example of test cases and its test result are given.     

一种形式化的基于TTCN的测试执行方法

探讨基于形式化技术的测试执行方法是开展形式化的协议一致性测试活动的关键环节．本文提出了一种形式化的基于测试描述语言ＴＴＣＮ的操作语义的测试执行方法，并使用标号变迁系统刻画了这一方法的整个执行过程，同时讨论了这个方法的一个具体实现．这种形式化的基于ＴＴＣＮ的测试执行方法非常适合于构造通用的协议测试系统，同时也是进行测试集的自动验证的有效手段.     

嵌入式API测试套生成方法和技术

随着嵌入式计算机系统应用的不断扩展,嵌入式系统的可靠性引起了学术界和工业界的广泛关注,也提出了很多增进可靠性的方法和技术.然而,现有的方法和技术在测试套生成方面论述不多,所以在处理大批量嵌入式系统测试工作中遇到了挑战.讨论抽象测试套生成方法和适配技术,提出了LTS(labeled transition system)到BT(behavior tree)的转换算法,从而使TTCN(test and testing control notation)测试套可以通过转换嵌入式软件的LTS描述产生.还介绍了基于上述转换算法的嵌入式软件测试工具包,以及一个嵌入式物联网识读器测试案例研究.