PCTS中基于异步的物理层参考实现

ＰＣＴＳ是清华大学在“八五”期间研制的协议一致性测试系统。为了对异步终端入网进行测试，需要在ＰＣＴＳ中设计一种基于异步的物理层参考实现。本文首先介绍这种参考实现的功能，然后讨论它的模块结构，最后给出数据结构和接口设计。     

通信协议的一致性测试

一致性测试在通信协议工程中是非常重要的。本文给出有关一致性测试的一般概览。一致性测试的基本原理,抽象测试方法的比较和选择,测试集和TTCN,一致性评估过程以及结果的分析将在文章中讨论。     

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

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

Fault-Based Conformance Testing in Practice

Conforming to protocol speci.cations is a critical issue in modern distributed software systems. Nowadays, complex service infrastructures, such as Voice-over-IP systems, are usually built by combining components of di.erent vendors. If the components do not correctly implement the various protocol speci.cations, failures will certainly occur. In the case of emergency calls this may be even life-threatening. Functional black-box conformance testing, where one checks the conformance of the implemented protocol to a speci.cation becomes therefore a major issue. In this work, we report on our experiences and .ndings when applying fault-based conformance testing to an industrial application. Besides a discussion on modeling and simpli.cations we present a technique that prevents an application from implementing particular faults. Faults are modeled at the level of the speci.cation. We show how such a technique can be adapted to speci.cations with large state spaces and present results obtained when applying our technique to the Session Initiation Protocol and to the Conference Protocol. Finally, we compare our results to random and scenario based testing.     

WIA-PA无线通信一致性测试平台研究

分析了WIA-PA通信协议及其一致性测试,根据WIA-PA通信协议设计了WIA-PA无线通信一致性测试平台,并通过一个测试用例详细阐述了正向测试和反向测试的过程。实际测试结果表明,该测试平台能检测出设备是否符合WIA-PA标准协议,为WIA-PA设备在实际工业现场中的应用提供了可靠的保证。     

ESIS序列自适应生成算法

在以扩展有限状态机 (EFSM)为模型描述的协议一致性测试系统中,为了提高可执行状态验证序列 (ESIS)的计算效率,提出一种ESIS序列自适应生成算法.新算法采用基于可执行分析树 (EAT)的可执行分析方法确保生成的ESIS序列的可执行性.引入变迁区分度因子和节点收敛度因子,计算EAT搜索树节点权重来评价当前搜索方向的正确性.利用EAT搜索树节点权重函数作为节点搜索引擎,根据当前已经搜索节点的权重自适应选择下一步搜索的目标节点,把ESIS序列自动生成问题转化为自适应搜索权重最大的EAT节点问题来解决.实验数据表明,与宽度优先可执行性分析方法相比,自适应算法具有更小的状态格局搜索空间.     

Automatic device-tailored evaluation of mobile web guidelines

Mobile web guidelines aim at providing developers with guidance to develop web content suitable for mobile devices. Automatic guideline review tools help evaluating conformance with respect to these guidelines in a systematic way. Yet, a number of mobile web guidelines refer to specific device features such as screen size, support for particular picture formats or support for pointing device. Since mobile devices are very diverse, in order to address the greater number of devices, guidelines adopt a device profile that may be considered as the common denominator device which is able to provide a satisfactory experience. While this approach is useful to define guidelines and make them more understandable, it introduces critical inaccuracies that make tool effectiveness decrease. This paper presents an application that considers specific device features in the evaluation process to produce device-tailored reports. As a result, higher rates of evaluation tool completeness, correctness and specificity are obtained.     

在IPv6环境中VPN测试的关键技术

利用IPSec VPN技术,企业能够将Internet作为其通信网络基础的骨干,实现全球通达,并大大节约成本,同时保持内部通信的安全。IPv6协议是下一代互联网协议,IPSec协议是IPv6协议的一个重要组成部分。对IPSec协议的一致性测试是保证不同厂商之间互联与互操作的基础。本文详细介绍了用Ixia厂商设备测试IPSec协议一致性的测试方法,并给出了VPN产品穿透性测试的测试用例。     

一种层次递进的动态协议一致性测试方法

在协议一致性测试过程中,不一致性传播问题会导致协议测试执行效率低下,无法达到理想的实际测试覆盖度。为此,在改进已有方法不足的基础上,提出一种层次递进的动态协议一致性测试方法,以递进的方式执行测试用例,利用执行结果对后续测试进行指导,减少不一致性传播对协议测试带来的影响,提高测试效率,扩大实际测试范围。