Bluetooth协议栈一致性测试

Bluetooth协议栈实现的一致性测试是保证不同厂商产品之间互连与互操作的基础。文章基于OSI协议一致性测试标准进行了Bluetooth协议一致性测试研究和实际测试,并以L2CAP层协议为例介绍了一致性测试的方法、结构、测试集的设计生成与完备性分析。     

基于“蓝牙”的IP业务

一问题的提出伴随着IP技术在信息产业中作用的不断增大,传统IP技术的局限性与人们对IP业务新需求的矛盾也日益突出,具体表现为:传统IP不能实现主机漫游,主机进入与原来子网不同的子网时,IP地址必须改变,这将使其原先的通信伙伴无法再找到它,C.Perkins提出的移动IP方案可解决这一矛盾,未来的IPv6将     

一种提高一致性测试错误检测能力的方法

在协议工程中,一致性测试已成为非常活跃的领域,而测试序列的产生是一致性测试非常关键的环节。文章在“Old”方法的基础上,通过补充协议规范的定义,获得了一种提高一致性测试检测能力的“New”方法。两种方法相结合,可以获得具有几乎完美的错误检测能力的测试序列。     

一种简化协议路径测试的方法

在协议测试中，设计测试例是主要工作之一，测试例包括了对状态错和数据错的测试，测试状态错要求对状态图中路径进行遍历。基于向量空间的思想，设计了一个生成基本路径集的算法，使得状态图中任何路径都可由基本路径通过线性组合生成，以达到简化协议路径测试之目的，并对此加以了证明。     

协议验证与一致性测试方法

1 引言随着计算机网络和通信技术的不断进步,通信网的稳定性很大程度上取决于通信协议的稳定性,而保证通信协议的稳定性,分两步来实现:首先,协议设计好后,对设计出来的协议进行验证,协议验证有以下两大目标:①发现协议中应该避免的错误动作,如死锁、活锁、动态错误和未指定的接收等,以保证协议描述的内部逻辑正确;②验证协议能完成既定服务,图1是协议验证模型。     

基于基本路径集算法生成最小长度测试序列的方法

在协议工程中,一致性测试已成为非常活跃的领域,而测试序列的产生是一致性测试非常关键的环节。文章基于基本路径集的生成算法,获得不相交路径,并利用测试子序列的一个重要特征—“重叠”来获得连接正收敛边和不相交路径的最小费用迁移路径,从而减少了测试序列的长度。