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

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

基于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协议实现进行了实际测试。     

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

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

移动IPv6测试中的层次化协议描述和测试生成方法

移动IPv6协议是一种庞大的分布式协议，这为协议描述和测试生成带来了困难．提出分层次描述协议的思想，定义了描述协议的有限状态机和多节点有限状态机模型，分四个层次分别对协议运行流程、协议节点类型、内部数据结构处理、离散功能进行了形式化描述．把描述协议的状态机模型转化为有向图，设计了针对有向图的测试序列集产生算法，最终生成了覆盖整个移动IPv6协议的测试序列集．     

EFSM的等价转换和通信协议一致性测试

绝大多数通信协议是以ＥＦＳＭ（扩展的有限状态机）来描述的。本文首先给出ＥＦＳＭ的形式化定义，然后提出ＥＦＳＭ的一种等价转换算法及其证明。通过协议转换，可以使生成一致性测试集的方法得到简化，并且生成的测试实例具备一定的诊断数据流错误的能力     

TETRA空中接口协议一致性测试的研究

文中在介绍TETRA协议的基础上，分析了TETRA协议的测试方法和测试语言，选择适合于TETRA一致性测试的测试结构，完成测试集的划分，并对实际利用Telelogic公司的测试软件实现了测试例的设计，进行了一致性测试。     

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

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

用一个初始状态生成伪帘尽测试集

本文给出了一种适合于级敏扫描方法（ＬＳＳＤ）的伪穷尽测试集成生成方法。通过测试码生成电路中增加状态跳变控制电路，使得只需要一个初状态就可生成整个伪穷尽测试集。由于这个特点，消除和必须在ＲＯＭ中存储多个初始状态的要求，从而简化了测试控制电路及测试过程。     

V5接口协议的一致性测试

随着Ｖ５接口在我国的推广应用,各种设备蜂拥而来,由于各研制者对协议的不同理解,通信设备协议非一致性的问题日益严重。本文详细介绍了Ｖ５接口协议的一致性测试集的编制以及一致性测试方法,最后介绍了Ｖ５接口的互连互通测试方法。     

BACnet应用层测试状态机自动生成研究

协议状态机测试是通信协议一致性测试的重要内容，状态机的自动测试有利于提高协议测试的效率。本文首先介绍了扩展有限状态机模型，然后采用扩展有限状态机模型对BACnet应用层状态机进行了详细的分析．讨论了BACnet应用层测试状态机自动生成的可能性，最后提出了一个基于规则推理的测试状态机生成方法．该方法能够根据协议一致性声明自动生成测试状态机。     

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

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

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

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

一种适用于无线通信测试集的生成技术

无线通信测试是整个无线通信工作中一个很重要的环节。本文以蓝牙无线通信为例，用EFSM模型描述了其电话控制协议（TCS）。为了使测试例花费最小，本文采用了有效的算法生成最优邮路，在此基础上简要介绍了测试例的描述及执行。该项测试技术优化了测试路由，因而，提高了一致性测试的效率。     

基于测试路径集运算的类回归测试策略研究

从基于状态的类测试策略出发,提出了一种基于测试路径集运算的类回归测试策略。该策略将回归测试作为一个连续的过程以测试路径为运算对象。对已修改的类重新生成测试集,通过与原测试集进行简单的集合运算从中选取可用于回归测试的测试用例。研究表明,该策略能充分利用历史测试数据,降低运算复杂度,提高回归测试的效率。     

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

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

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

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

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

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

用线性码构造伪穷尽测试集

在本文中，我们给出了一种用线性码构造伪穷尽测试集的测试码生成方法。这种方法在减小测试时间方面较以往的方法又进了一步。实验结果表明这种方法是完全可取的。