一致性测试的静态需求测试研究

针对一致性测试中的静态需求测试通常采用手工方法而产生的效率低问题,提出一种基于统计学习的方法,包括静态需求的关联规则表示,并对采样的协议数据进行关联规则挖掘,如果得到的规则与需求规则一致,静态需求就可以得到统计上的测试检验。该方法在OSPFv3协议测试中取得了较好的效果。     

OSEK/VDX操作系统功能测试研究

传统OSEK/VDX操作系统测试采用分类树的测试方法,导致测试路径不完全和冗余性高。为此,提出以系统服务接口为目标的面向符合类的流框图测试方法。通过评估接口重要度,准确判断接口的各种调用组合方式,提高测试覆盖率,实现测试代码的复用,其测试工作量比原方法减少三分之一。     

变电站子站设备通信协议一致性测试系统的开发:（一）设计与应用

介绍了基于IEC 608705协议系列的一致性测试指导文件DL/Z 634.56—2004开发的变电站保护等子站设备一致性自动测试系统的软、硬件设计方案和应用情况，对IEC 60870-5-103协议应用一致性进行了分层设计和分层解析。软件的静态结构采用模块化编程，动态数据信息交互采用多线程。该系统以一致性测试为核心，兼顾通信测试工具扩展性，测试范围涵盖IEC 60870-5-103协议配置参数测试和功能测试。     

变电站子站设备通信协议一致性测试系统的开发（二）建模与实现

基于DL／Z634．56—2004的一致性测试规则，设计并实现了用于一致性测试的系统工具。详细介绍了它的动态模型、软件结构和测试环境。该系统可以进行自动协议判断、自动译码和最大限度地自动完成一致性测试。     

一种动态的协议一致性测试方法

目前常用的协议一致性测试的测试都是采用先生成固定的测试集 ,然后逐条执行这个测试集 .这种方法可能会造成执行效率不高和实际测试范围被缩小的问题 ,提出一种动态的协议一致性测试方法 ,以提高测试集的执行效率 ,同时从与协议实现无关的角度扩大协议的实际测试范围     

基于扩展有限状态机的协议测试集生成研究

与其他测试方法相比,主要解决了自动生成可执行测试序列的问题.首先介绍现有的基于扩展有限状态机的测试生成算法,这些算法虽然结合了控制流和数据流的测试,但是并没有解决测试序列的可执行问题.重点解决了包含有影响循环测试序列的可执行性问题,并通过预先发现循环的中断条件而减少不可用的测试路径的产生.另外,给出了算法的详细说明.     

3G终端EVM指标一致性测试算法的研究

分析了EVM指标一致性测试需求和传统测试算法的缺陷,提出了一种基于准确的频偏估计和初始相位估计,快速、精确地测量终端EVM指标的算法.该算法不需要对信号进行解调,而是通过高精度的频偏估计和初始相位估计,快速、准确地恢复参考信号并计算终端的EVM指标,因此实现复杂度.将该算法的仿真结果与现有专业仪表的测试结果进行了比较,证明该算法耗时短,精度高,完全可以满足3G终端EVM一致性测试的需求,同时适合作为3G终端射频测试仪表的关键性算法.     

邻居发现协议的形式化测试

Neighbor Discovery(邻居发现 ,ND)协议是下一代互联网协议 IPv6协议中的一个重要组成部分 .随 IPv6在我国的推广应用 ,各种设备蜂拥而来 ,由于各协议实现厂家对协议的不同理解 ,通信设备的协议非一致性问题将日趋严重 ,为了检查各个不同生产厂家的实现是否与标准文本相一致 ,进而确保不同厂家的 IPv6实现之间能够互操作 ,提出了一种协议一致性测试的方法 ,并开发了 IPv6协议实现一致性测试系统 .给出了该测试系统的结构 ,并利用自定义的一种形式化描述语言 ,实现了邻居发现协议一致性测试集的形式化 .并通过对 Solaris8上的 IPv6协议实现进行测试 ,给出测试报告和结果分析 .     

TSM系统中高层软件测试的方法

任何一个软件，在开发过程中都不可避免地存在错误。软件测试的目的就是跟踪出软件的错误，不同种类的软件开发和测试工具是不相同的。介绍软件测试的基本概念、原理以及方法。主要介绍Telelogical Tau AB公司的TTCN的测试机理，并利用TTCN进行TSM(TD-SCDMA移动通信系统)高层信令测试的方法。