支持终端一致性测试的TD-SCDMA协议测试平台的构建

本文介绍了协议一致性测试基本理论,提出了一种TD-SCDMA终端协议一致性测试平台的构建方法,描述了该平台的功能、框架结构和实现方法,并举例说明对该测试平台如何使用TTCN实现一致性测试和模拟网络基本功能.     

一种通信协议测试序列生成的新方法

本文讨论了一种协议测试的新方法,它使用构造类别代数述通信协议规范,然后根据规范中的公理部分生成测试序列。本文以栈规范为例介绍这种方法的应用。并通过与基于有限状态机的测试序列生成方法相比较,得出两种方法在一些方面是等效的,但在处理状态较多的协议时,这种方法有一定的优点。     

基于变型空间代数的自动程序修复方法

基于代码枚举的自动程序修复方法借助变异算子对程序中错误语句进行变更操作,从而得到程序修复解.由于缺乏文法制导及变异算子数量的有限性,该方法的有效性有待进一步提高.本文提出一种基于变型空间代数的自动程序修复方法,即将回归测试用例集视为训练实例,通过归纳学习得到程序中出错语句的修复解.具体而言,该方法包括以下特征:(1)从文法到变型空间的自动构造生成方法;(2)根据变型空间树中变型空间的不同类别,分别给出一致性定义;(3)结合静态及类型检查的变型空间代数运算.实验结果表明:与基于代码枚举及基于搜索的修复方法相比,本文提出的方法在修复成功率方面更具优势;与此同时,方法中的静态及类型检查机制可以有效地削减假设空间的规模.     

Linux环境下的BGP4+一致性测试研究

针对边界网关协议BGP4+进行了一致性测试研究,分析了BGP4+协议的特点,给出了用XML来描述BGP4+测试套的测试模板,并对BGP4+协议在Linux下的实现,进行了一致性测试,列举了部分测试结果,对测试结果进行分析,发现了被测实现与协议说明不一致的地方.     

BGP4+协议的分布式一致性测试系统的设计

首先对BGP4+进行了分析,然后阐述了BGP4+的分布式的一致性测试系统的设计方法,包括主测试系统的设计、从测试系统、测试套的描述方法的设计以及它们的部分设计框图.最后使用一个简化的分布式测试系统对BGP4+协议实现进行了一致性测试实践.     

一种变异测试中冗余变异体的寻找方法

变异测试是一种有效的基于故障的测试方法,但大量冗余变异体所带来的昂贵的测试成本问题,阻碍了它在实际工程开发中的应用.为解决该问题,本文针对程序中的顺序语句所产生的变异体,基于故障的可达-感染-传播模型,提出了使用区间抽象域来表示程序状态,通过区间运算判断变异体之间冗余关系的算法;针对程序中的条件语句,基于谓词故障层级,分别给出了面向简单谓词和复合谓词的冗余变异体选择算法.并对这两种算法对冗余变异体的判定效果进行了分析,最后给出了在分层抽样背景下,非冗余变异体生成的约束边界条件.对Siemens和开源项目等共8个工程进行了实验,并与随机选择法进行了对比.结果表明,本文所提方法在减少变异测试时间成本的同时,可以保持较高的变异得分.     

使用构造类别代数描述和验证密码协议

密码协议必须满足安全属性的需求，对密码协议进行形式化规范需要证明其满足该属性。传统的方法或者不利于验证，或者不利于描述。本文在构造类别代数中引入时序算子，对密码协议以及协议的入侵者进行建模，在此基础上利用时序逻辑推导协议应该满足的安全属性。通过在Equicrpt协议上的应用，说明了这是一种解决密码协议描述和验证的行之有效的方法。     

基于Peach的模糊测试样本变异策略研究

随着软件产业的迅速发展,软件的规模和逻辑复杂度大大增加,软件中存在的潜在漏洞也越来越多,威胁着个人计算机甚至企业、政府的信息安全,漏洞挖掘正在被越来越多的人重视。漏洞挖掘工作中,如何构造畸形样本是关乎测试效率的至关重要的问题。文章首先对基于Peach的模糊测试技术进行介绍。其次研究Peach在漏洞挖掘中的样本变异策略。最后提出了对样本变异策略的优化方法,并通过实验验证了优化方法能够提高模糊测试的效率。     

DMR空中接口协议一致性测试技术的研究

文章介绍了DHR的产生、发展以及DMR协议体系结构。基于协议一致性测试的基本概念,划分出了DHR协议一致性测试集,分析了一种特定的DMR一致性测试系统,对基站DLL层的一致性测试进行了具体的分析和研究。     

TD-SCDMA移动终端协议一致性测试技术的研究

根据我国基于TD-SCDMA技术的第三代移动通信系统的发展战略,提出TD-SCDMA移动终端协议一致性测试技术的研究.着重介绍了一致性测试的原理,TD-SCDMA移动终端协议一致性测试的方法,测试系统的设计和实现,抽象测试集的生成.通过对该项技术的研究,可为TD-SCDMA移动终端设备提供标准的、实用的协议一致性测试方法和工具,以解决接入网络时产生的协议非一致性问题.     

基于TTCN的测试执行方法及其应用

测试执行是协议一致性测试系统中的主要部分，本文提出一种基于测试描述语言ＴＴＣＮ的操作语义对标准测试集进行了解释执行的测试执行方法，利用这种方法所实现的一致性测试系统具有很强的灵活性和独立性，同时大大提高了测试的效率，另外，我们还介绍了基于这种测试方法所完成的协议一致性测试系统（ＰＣＴＳ）的总体结构，设计思想以及测试配置。     

一种可变测试集的协议一致性测试方法

目前常用的协议一致性测试的测试方法是首先对协议规范建模,然后通过模型生成测试集,最后执行测试集.这种方法存在执行效率不高和实际测试范围可能被缩小的问题,为此本文提出一种可变测试集的方法,通过动态执行测试集提高其执行效率,同时从与协议实现无关的角度扩大协议的实际测试范围.     

基于TTCN-3的CoAP一致性测试

协议一致性测试是确保协议实现与协议标准相一致的重要保障,有助于协议实现的进一步完善。CoAP (constrained application protocol)即受限应用协议是特别为受限节点和受限网络设计的通用应用层协议。CoAP目前仍处于草案阶段,对 CoAP进行了分析,并基于标准化测试语言TTCN-3设计实现了CoAP一致性测试系统,并使用该系统对CoAP实现进行了测试。     

An optimization technique for protocol conformance test generationbased on UIO sequences and rural Chinese postman tours

A method for generating test sequences for checking the conformance of a protocol implementation to its specification is described. A rural Chinese postman tour problem algorithm is used to determine a minimum-cost tour of the transition graph of a finite-state machine. It is shown that, when the unique input/output sequence (UIO) is used in place of the more cumbersome distinguishing sequence, both the controllability and observability problems of the protocol testing problem are addressed, providing an efficient method for computing a test sequence for protocol conformance testing     

Modbus协议一致性测试的自动化方法

现有Modbus协议一致性测试中尚未形成测试自动化方法,给测试的有效性和客观性带来了不利影响,为了解决这一问题,提出一致性测试的自动化方法的体系结构,它由测试用例生成器和测试结果分析器组成,然后基于体系结构实现了一致性自动化测试系统。在实际应用中该系统发现了一些隐藏的Modbus一致性问题,证明了该方法的可用性和有效性。     

基于形式化技术的帧中继拥塞控制协议一致性测试

帧中继作为重要的广域网协议得到了日益广泛的应用，但是相关的测试活动却非常有限。本文在深入分析了帧中继拥塞控制协议的基础上对其进行了一致测试研究和实际测试。针对帧中继拥塞控制协议的特点，采用穿越测试法设计生成了基于形式化技术的一致性测试集，并且将利用协议集成测试系统取得一致性测试的研究成果应用到路由器的开发和研制过程中。     

面向LR-WSN的多方协议一致性测试系统的设计与实现

针对由国家传感器网络标准工作组PG3项目组提出的低速无线传感器网络(Low-rate Wireless Sensor Networks,LR-WSN)网络层和应用支持子层规范,搭建LR-WSN多方协议一致性测试平台,对测试系统部分功能与性能进行验证与分析,验证LR-WSN多方测试系统的优越性.     

基于节点自相似性方法的网络协议测试

针对无线自缎织网络中的协议一致性测试问题,提出一种新的测试算法一节点自相似性方法。利用形式他描述语言SDL对路由协议DSR路德协议进行描述,文章给出了该方法的具体涵义以及应用环境。通过举例,验证了节点自相似性方法能够从实际移动网络的模型中产生测试序列进行测试。     

一种基于虚拟机机制的NTP同步协议测试方法

协议的一致性测试是验证各协议实现遵循协议标准文本的过程,本文首先分析了传统的协议测试方法,随后针对这些方法在IPv6路由协议一致性测试中的不足提出了一种基于虚拟机的NTP（网络时间协议）同步协议测试方法,并阐述了该方法的实现原理。