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

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

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

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

基于RFSM的健壮性测试技术研究

提出了一种系统实现协议健壮性测试的方法，该方法首先在分析BGP协议状态机的基础上，认为基本FSM对功能部分和健壮性处理部分未能严格区分。要提高FSM的健壮性，就需要通过增加状态、迁移和事件的基础上构造具有健壮性处理过程的RFSM（robustness finite state machines），把RFSM模型应用到BGP健壮性测试当中，文章详细构造了BGP冲击集合和RFSM，生成了反向测试集，并对测试特征序列和测试预言等问题进行了讨论。Cisco7200实际测试应用表明，用该方法生成的测试集与一致性测试集相比，其错误处理的覆盖率扩大了54％，检错能力提高了2．8倍。     

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

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

IPv6协议一致性测试的实现

在863课题“IPv6协议测试技术”的支持下，以提供IPv6测试能力为着眼点，讨论了与IPv6测试相关的测试集描述语言、测试平台设计、测试方法、测试集生成等几个方面的技术，介绍了功能完善的IPv6一致性测试平台及完整的IPv6协议测试集，并对几种常见的IPv6协议实现进行了实际测试。     

测试用例集的优化技术分析与改进

测试用例集优化技术是软件测试的重要组成部分,对回归测试检测效率影响巨大.针对给定的测试目标,获得精简的测试需求集和测试用例序列集,有助于提高测试用例集优化的效率和效果.首先介绍了测试用例集约简问题的基本概念,对现有的各种约简方法进行分析比较,接着讨论了测试用例的优先级排序问题,最后提出将测试用例约简技术和优先级技术结合起来,提高用例检错效率和缩小用例空间的优化策略,文章还引入等价类和快速排序思想,动态调整测试用例序列,并通过实验证明该改进是行之有效的.     

基于错误交互集的组合测试软件故障定位方法

提出了一种基于错误交互集的组合测试软件故障定位方法.根据组合测试数据的执行结果,生成可能的错误交互集,通过对集合中全部交互进行定性分析,以有效的避免不同测试用例覆盖的相同错误交互被重复定位的情况,减少所需附加测试用例的数目.提出了基于错误密度的测试用例分析方法,将已有测试结果作为先验知识,提高错误定位的效率.最后,经过算法效率分析及实验验证,本文算法能够在保证准确定位错误交互的基础上,有效减少所需附加测试用例的数目.     

软件复杂性与测试用例集价值

测试用例集价值是测试用例集的重要问题,本文给出了以复杂性度量为基础的测试用例集合价值度量模型,并在此度量基础上定义了三个重要的度量:测试密度,测试用例价值贡献以及测试用例集合执行相似度,并通过实际的例子指出了如何进行度量.     

极小碰集求解算法的性能分析与比较

基于模型的诊断为人工智能领域中一个重要的研究分支,极小碰集即候选诊断的求解过程极大影响最终的诊断效率.本文关注当前主要的极小碰集求解算法,简要介绍了它们的基本思想,从算法描述和实例比较了它们的异同和复杂性,并设计实现了一个统一的实验平台,测试并比较了它们的实际执行效率,为实际选择合适的算法提供了重要参考依据.     

含存储器数字电路板的TPS开发研究

提出了含存储器数字电路板的两种测试矢量集(TPS)开发方案.对含少量存储器芯片的电路板采用结构化的测试方案,即将RAM等效成时序电路模型,利用时序电路ATPG软件进行测试生成.对以RAM为主的存储器板提出了一种功能测试方案,采取压缩地址空间的方法,对RAM阵列进行读写操作.实际应用证明,这两种方案较好地满足了实际应用中的需要.     

TCS:TCP协议一致性测试系统的设计和实现

本文阐述了一个对ＴＣＰ协议进行一致性测试的测试系统的设计和实现。着重介绍了该系统的测试方法和系统结构，并分析了基于ＥＦＳＭ模型的一致性测试集的生成技术。     

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

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

利用半可控接口进行通信协议一致性测试

介绍了一种基于半可控接口的图转换算法，并应用于某通信产品的H．245协议一致性测试中，不仅增加了可测试转换的数目，还使得变换后的EFSM可以直接应用传统的测试序列生成方法产生最优的测试序列，错误覆盖率和测试效率都得到了显著的提高。     

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

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

软件测试用例集缩减的一个算法

一个测试用例集可能含有冗余的测试用例。在回归测试中为了减少维护测试用例集和执行测试用例的成本,可以采用测试用例集缩减的技术。文章提出了一个测试用例集缩减的新算法,并给出了应用实例。     

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

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

网络通信协议一致性测试研究

网络通信协议设计及开发的复杂性导致了协议工程技术的出现。文章主要研究协议测试理论中的一致性测试技术。在深入分析了一致性测试技术的原理及参考标准的基础上,针对现有的几种测试方法,分别阐述了它们各自的测试原理,并分析比较了几种方法的优缺点及适用场合。     

LTE系统RRC协议一致性测试例的设计与实现

以LTE(长期演进)系统RRC(无线资源控制)实现的协议一致性为目的,并结合LTE协议一致性测试的特点和实际开发经验,设计一种通过开发TTCN-3(测试和测试控制表示法版本3)测试例来验证协议一致性的新方案。并基于德国Testing Tech公司开发的TTworkbench平台运行TTCN-3测试例,自动生成GFT图(图形表示格式),有效检验了RRC层功能实现的协议一致性。目前该方案已成功应用于LTE系统TTCN扩展测试集仪表开发的项目中。