Bluetooth协议栈RFCOMM协议层分析与设计

RFCOMM是蓝牙（Bluetooth）协议栈中对串口进行仿真的协议，它完成了对RS232串口的模拟，这使得现有的各种高层应用程序可以直接和蓝牙技术结合而产生各种基于蓝牙的应用实例，本文RFCOMM协议进行了比较详细的分析，并在此基础上给出了比较具体的软件设计方案。     

IPv6协议一致性测试例的设计

文中给出了协议一致性测试的测试例的基本框架结构和测试例设计的一般步骤，针对IPv6协议的特点提出了IPv6协议一致性测试的测试例设计方案，应用这个方案设计了PMTU发现协议一致性测试的测试试例，对几种不同的IPv6协议实现进行了测试，并给出了测试结果。     

IPv6中IPSec协议一致性测试

IPV6协议是下一代互联网协议，IPSec（安全IP）协议是IPv6协议的一个重要组成部分，用于保障IP数据报的安全。对IPSec协议的一致性测试是保证不同厂商产品之间互联与互操作的基础，基于ISO协议一致性测试标准，开发了IPV6协议一致性测试系统，文章给出了该系统的测试方法与测试结构，通过一个测试实例介绍了测试集的形式化，并对一种Unix实现上的测试结果进行了分析。     

基金会现场总线通信协议栈一致性测试

现场总线控制系统是一种全新的分布控制系统,是以控制、计算机、数字通讯等技术为主要内容的综合技术.基金会现场总线以其技术上的优势,极有希望成为主流发展趋势.一致性测试和互操作测试是实现系统开放性的保证.     

IPv6协议一致性测试系统

随着IPv6协议在我国的推广应用，各种相关设备蜂拥而来，由于各协议实现厂家对协议的不同理解，使得通信设备的协议非一致性问题日趋严重，为检查各个不同生产厂家的IPv6实现是否与标准文本相一致，进而确保不同厂家的IPv6实现之间能够互操作，开发一种IPv6协议一致性测试系统，并利用自定义的一种形式化描述语言，实现IPv6相关协议一致性测试集的形式化，文中给出该测试的结构，通过一个测试例介绍测试集的形式化和测试实现过程，使用该测试系统对多种IPv6协议实现进行测试，发现许不一致问题，为协议实现厂家提供了修改意见，作为例子，给出一种UnixIPv6邻居发现协议实现的测试结果分析。     

OSI多方一致性测试

一致性测试的目的是测试疲则系统（或实现）是否符合有关标准，多方测试的应用领域是协议步及到多于两方的场合，本文开放系统互连多方测试的一般方法。     

咱由协议一致性测试的系统设计

目前对通信协议进行一致性测试的方法和实现比较完善,而在对咱由协议进行一致性测试方面的系统经验还比较少,本文基于实践工作的内容,提出了一种路由协议一致性测试系统的设计方法,并且讨论了实现过程中的一些问题。     

表示层协议一致性测试的研究与实现

表示层协议是ＯＳＩ高层协议的一部分。文中介绍协议一致性测试的研究现状、测试过程及基本测试方法,分析表示层协议一致性测试需求;采用抽象语法表示（ＡＳＮ．１）与树表格式（ＴＴＣＮ）相结合的形式化描述语法,设计实现了表示层协议核心部分一致性测试系统及测试集;测试系统通过了对ＩＳＯＤＥ软件表示层协议实现的一致性测试。表示层协议一致性测试系统,是协议一致性测试系统（ＰＣＴＳ）的一个子系统。这个子系统的功能实     

蓝牙协议及其测试技术

蓝牙技术是近几年出现的一种短距离无线连接技术，其应用框架的实现将取代现有的有线电缆，实现各种数据设备间的数据传输。简要介绍了蓝牙技术以及它的核心协议和应用框架；阐述了蓝牙的一致性测试和互连测试，并给出了相应的测试结构。对现有的互连测试仪给出了改进方案以提高其自动性。     

通信协议的一致性测试

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

网络协议一致性测试研究综述

一致性测试是网络协议验证中最为基本的部分.虽然大量的研究与实践对此问题做过深入的探讨,但是到目前为止,仍然缺乏系统、有效而实用的协议一致性测试方法.从协议一致性描述方法入手,分别从一致性测试的体系结构、方法以及测试生成技术等方面对协议一致性测试技术进行了综合研究,最后对其中存在的问题给出了基本解决思路.     

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

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

蓝牙网络封装协议的应用及其测试

蓝牙SIG定义了蓝牙网络封装协议BNEP，该协议对上层口协议提供了类似于以太网的接口。对于IEEE802．3／Ethemet封装支持的网络协议，蓝牙网络封装均支持。BNEP协议把这些网络协议包封装起来，直接通过蓝牙I2CAP协议进行无线传输。蓝牙网络封装主要应用在蓝牙个人无线局域网(PAN)中，PAN应用是指由两个或者更多的设备形成一个特定网络，而且这些设备能通过一个网络接入点来访问远程网络。由于蓝牙SIG只是用自然语言定义了协议规范，不同的实现者由于理解的差异可能会导致不同的结果，这可能会影响到产品的互通性，因此对协议的测试是至关重要的。BNEP协议的测试是蓝牙一致性测试，这种测试是完全自动化的。     

EPA协议一致性测试方法研究

研究了EPA协议一致性测试原理、静态测试与动态测试方法及其实现技术；参照TFCN的结构框架定义了一种描述EPA抽象测试集的类形式化语言，提出了EPA协议实现一致性说明和协议实施附加信息的生成方法；研发了一种EPA协议一致性测试的方法，并以变量写服务的测试为例，说明了EPA协议一致性测试系统的测试过程。通过EPA一致性测试系统的实际应用，证明这种测试方法能够准确测试出被测协议实现与标准的一致程度。     

协议一致性测试执行系统的体系结构研究

对现有的协议一致性测试方法进行了介绍，然后针对TCP/IP协议族的一致性测试所必需的特殊要求和必需用到的多种测试方法，提出一种测试执行系统的体系结构，可以灵活地进行各个层次协议的测试。应用该体系结构开发的协议一致性测试套已经应用于高端路由器的研发中，为协议的顺利开发起到了积极的促进作用。     

PPP协议一致性测试集生成方法研究

测试集的生成方法是一致性测试技术的核心.介绍了形式化描述技术在测试集生成过程中的应用,针对PPP协议介绍其协议实现时的状态迁移.使用形式化描述语言SDL对PPP协议进行形式化描述,并以此为基础生成测试集,这些测试集能有效地应用于PPP功能实现模块.     

基于模型检查的协议一致性测试套自动生成

提出一种构造完全可执行协议一致性测试套的新方法。该方法分别用Kripke结构和CTL公式来描述协议的EFSM模型和测试套所要满足的控制流和数据流测试覆盖标准,借助模型检查中的例证构造技术生成满足相应覆盖标准的测试套。在此基础上该文给出了测试套优化算法。实验结果表明该方法可行有效。     

蓝牙协议栈中RFCOMM协议层的分析与实现

电缆替代协议(RFCOMM)在蓝牙协议体系中是用来对串口进行仿真的协议,它使传统基于串口的应用可以利用蓝牙进行传输。该文对RFCOMM协议的原理和实现机制进行了较为详细的阐述,并在此基础上给出了一种具体的软件实现方案。