一致性测试中的TTCN和MSC

计算机网络中,描述一种协议并对其进行标准化并不能确保成功的通信,这是因为协议标准目前基本上是使用自然语言描述的,对协议的不同理解会导致不同的协议实现.一致性测试就是测试协议实现是否符合协议说明.TTCN是一致性测试中最常用的技术,本文介绍了目前在协议的一致性测试中最常的技术TTCN的发展,以及可以将测试用例可视化的技术MSC.     

一致性测试中的TTON和MSO

计算机网络中，描述一种协议并对其进行标准化并不能确保成功的通信。这是因为协议标准目前基本上是使用自然语言描述的，对协议的不同理解会导致不同的协议实现。一致性测试就是测试协议实现是否符合协议说明。TTCN是一致性测试中最常用的技术，本文介绍了目前在协议的一致性测试中最常的技术TTCN的发展，以及可以将测试用例可视化的技术MSC。     

一致性测试在TSM终端高层协议开发中的应用

作为协议层软件开发&其测试是非常重要的一环,因此从一致性测试的基本原理出发,详细论述了测试方法和对测试结果的评估,并给出了TSM 终端协议的测试模型及方法实例4这种类似的方法对其它通信系统的测试都有重要的指导意义。     

IPv6基本描述协议一致性测试的探讨

简要介绍了在 Linux测试平台下 ,如何实现 IPv6基本协议 (RFC2 460 )一致性测试 ,并给出了 TTCN描述的测试例 .最后讨论了在测试中要进一步开展的工作     

通信协议测试的形式化技术

自然语言协议的自动形式化是通信协议自动测试的前提,从而也是数据链协议自动测试的重要研究方向.此问题出现已久,但尚无可靠解决方案.隐词形理论和格语法是排岐能力很强的自然语言处理方法.运用此套方法.通过分析协议文本,确定隐词形特征,可编写出隐词形词典、隐词形语法规则以及自动机生成规则.根据这些词典、规则,可生成自然语言协议文本对应的自动机.本方案有助于解决自然语言协议文本自动形式化,实现通信协议测试的全面自动化.     

ITS专用短程通信协议一致性测试系统的设计与实现

参考计算机通信的开放式系统互联参考模型提出了ITS专用短程通信(DSRC)协议的三层体系结构．依据ISO标准定义的一致性测试的方法及框架,确定了对协议实现进行一致性测试的方法和测试套形式化描述方法,设计了具体的测试系统结构．使用所设计的一致性测试系统对DSRC协议进行测试,保证了协议实现与协议文本的一致性．也为各DSRC设备之间的互联、互操作奠定了基础。     

一致性测试在TSM终端高层协议开发中的应用

作为协议层软件开发，其测试是非常重要的一环，因此从一致性测试的基本原理出发，详细论述了测找方法和对测试结果的评估，并给出了TSM终端协议的测试模型及方法实例。这种类似的方法对其它通信系统的测试都有重要的指导意义。     

专用短程通信协议一致性测试平台设计与分析

为实现对专用短程通信协议进行自动化协议一致性测试,设计实现了一种以TTCN-3语言为工具的专用短程通信协议一致性测试平台,并使用有限状态机的模型对部分协议测试套进行了设计开发和测试验证.通过实际的测试和对结果的分析,证明该测试平台可以正确的实现协议一致性测试,验证了专用短程通信协议一致性测试的可行性.该平台为后续专用短程通信协议一致性测试系统的建立和完善提供了必要的技术基础和保证.     

面向充电机通信协议一致性测试的用例自动生成方法

现有的充电机和新能源汽车电源管理系统(BMS)之间的通信协议一致性测试方法主要由专家经验设计测试用例,这种方法缺乏理论支撑,导致测试覆盖性弱,测试结果缺乏说服力,较难形成行业标准.为了解决上述问题,提出一种基于有限状态机(FSM)的充电机与BMS通信协议一致性测试方法.首先,通过对GB/T 27930—2015协议的详细解读,分析充电机和BMS之间的通信过程,使用FSM形式化语言描述充电机和BMS之间的充电过程,保证协议的不同实体之间的通信一致性.其次,在FSM的基础上利用唯一输入输出(UIO)序列计算测试序列,进而得到最终的测试用例.在生成测试用例时,采用递归算法考虑前置用例,让每一个测试用例都有完整的输入输出.最后,生成的用例结果表明,基于FSM的一致性测试方法不仅使得充电机与BMS间的通信协议一致性测试过程有了理论支撑,而且相较于基于专家经验的手工设计测试用例方法具有更强的复用能力.     

基于动态测试选择的一致性测试算法

给出一个基于动态测试选择的一致性测试算 在动态测试过程中能获得关于ＩＵＴ更准确的局部判定。     

SIP Conformance Testing Based on TTCN-2

The session initiation protocol (SIP) is a signaling protocol for Internet telephony, multimedia conferencing, presence, event notification, and instant messaging. With the gaining popularity, more and more SIP implementations have been developed and deployed. How to guarantee the conformance of those SIP implementations is the key point of interconnection and interoperation among them. This paper proposes the test method and architecture for the SIP protocol based on the IPv6 tester system. Tree and tabular combined notation (TTCN-2) is adopted to describe the test suite. With an enhanced reference implementation, the data-processing ability to the original test system has been greatly improved. In the following test practices, some errors have been found in the SIP entities under test. It is proved that the proposed test method and architecture are effective to verify the conformance of the SIP entities, and the result of the conformance test may provide helpful reference to the development of SIP products.     

TTCN协议测试执行系统驱动器的协议相关性研究

针对原有TTCN测试执行系统驱动器(Driver)的协议相关性进行研究,从调整其协议相关程度的角度讨论了降低Driver程序扩充和维护难度的问题.在保证软件功能和结构的基础上,先对所有协议进行无关化,再对某一类别的协议进行无关化,就可以达到降低Driver程序扩充和维护难度的目的.最后以直接基于IPv6的协议类别为例介绍了上述方法的实现及其效果.     

一种基于TTCN-3的TD-LTE终端协议一致性测试系统的构建

TD-LTE是中国提出的具有自主知识产权的4G移动通信标准,随着该技术的日益成熟和应用研究的迅速发展,越发的凸显出终端的协议一致性测试的重要性。文中首先介绍了协议一致性测试和TTCN-3的基本理论知识,然后简单分析了基于TTCN-3的TD-LTE协议一致性测试平台的设计及实现方案。     

自动产生TTCN测试套以及对RIP协议的应用

对协议测试套的产生大部分都是手工寻找的，介绍一个在GE-LOTOS的基础上自动产生TTCN测试套的工具，该工具是基于由形式描述技术语言E-LOTOS转换成的GE-LOTOS．并对Internet上的一个标准路由信息协议(RIP协议)进行了TTCN测试套的应用．     

3G终端开发中的一致性测试及实现过程

一致性测试是协议栈软件开发过程中一个必不可少的环节，对3G系统的应用开发具有极其重要的意义和实用价值。因此，根据一致性测试的基本原理，详细论述了一致性测试在3G终端协议开发中的实现过程，并由此给出具体的测试方法及步骤。     

如何配置局域网中的通信协议

基于局域网环境，以Windows NT为主，同时兼顾NetWare与Windows95／98等操作系统，介绍和分析了常用通信协议(NetBEUI协议、IPX／SPX及其兼容协议和TCP／IP)协议)的特点、性能和必要的配置方法。     

基于ATL的KM非否认协议形式化分析

研究ATL逻辑及其在电子商务协议形式化分析中的应用,用ATL逻辑语言对KM协议进行描述与分析,并对协议的各参与方和可信第三方TTP的基本行为进行建模.