【摘 要】
：
协议测试理论是从软件测试的基础上发展起来的,协议测试包括:协议一致性测试、互操作性测试和性能测试.协议一致性测试是协议测试的基础,它依据协议规范对协议的实现进行测试
论文部分内容阅读
协议测试理论是从软件测试的基础上发展起来的,协议测试包括:协议一致性测试、互操作性测试和性能测试.协议一致性测试是协议测试的基础,它依据协议规范对协议的实现进行测试,以提高协议实现之间互通的概率,ISO制定的ISO/IEC9646标准是最为成熟的协议一致性测试理论.该文主要研究的是一致性测试的序列优化问题,它能够大大的提高测试效率和执行时间.该文采用移动IP协议作为协议仿真和测试的基础.如今,我们有很多接入因特网的方法,这些接入方法适合在一些固定的场合(家里,办公室和学校等).但是,现在使用IP协议进行移动通信的设备却越来越多,譬如:PDA,手持设备和数字蜂窝电话等等.人们自然希望这些设备能够在不间断的情况下通信.移动IP就是一种支持IPv4和Ipv6的IP节点在不改变IP地址的情况下持续通信的技术.在该文的开始,我们首先用SDL语言实现移动IP协议的仿真,然后采用ISO/IEC9646标准所采用的树表结合表示法TTCN来描述移动IP协议的一致性测试套,并采用UIO理论对其进行序列优化.最后借助Telelogic Tau软件工具中的SDL-TTCN联合仿真功能,对优化前后的TTCN协议一致性测试套进行验证,来说明测试序列优化的效果和意义.
其他文献
该文详细讨论了在全IP移动网络内的各种移动性管理协议,包括用于宏移动性管理的Mobile IP和微移动性管理的Hawaii、Celluar IP及分层的Mobile IP.通过对上述三种微移动性管理
该文给出了一个信号分类器,将PSTN上的信号分为话音、传真、高速Modem、DTMF和单音信号,再分别交由DCME处理,以提高DCME在话带数据业务量较大时的倍增增益.分类器基于统计模
正交频分复用(OFDM:Orthogonal Frequency Division Multiplexing)技术是当今高速无线通信领域中的研究与应用热点,由于具有良好的抗噪声性能、抗多径干扰能力以及频谱利用率
信息隐藏和数字水印技术是一种新的信息安全(数据安全)方法,有着十分广阔的应用前景.与传统加密方法不同,它通过在数字媒体(图象、语音、视频等)中隐藏秘密的水印或其它信息,
IEEE 802.16a技术是近年来新的产业热点.该文首先介绍了IEEE802.16a标准中单载波条件下的物理层技术.物理层的关键技术包括MIMO,信道均衡和信道编码等.对于信道编码技术,该文
本文探讨如何利用现有的网络环境解决传输态信息的安全问题.传输态信息的安全涉及两个方面的内容:一方面是信息如何在不安全的信道上机密性传输;另一方面是如何识别和防御不
下一代无线移动通信的目标是支持高质量高速率的移动多媒体业务。如何有效地实现无差错高速分组数据传输是下一代无线移动通信技术亟待解决的关键问题。根据国家863 FuTURE研
短波通信由于其远距离传输特性和抗毁性，在军事通信与民用通信领域有着不可替代的作用，但是常规的短波跳频通信技术存在着跳速低、抗干扰性能不高，数据传输速率低等问题。随着抗
蓝牙是一种短距离无线通信技术,它以安全性、低成本、低功耗的特点成为短距离无线网络的主要解决方案.它可以使我们避免电缆布线的烦琐,实现在各种蓝牙设备之间方便快捷的连
网络的飞速发展,数字化处理的不断进步,以及VoIP技术的日益成熟,有力地推动了以Ethernet/IP为基本网络架构的企业级IP PBX的应用,其中的综合交换机子系统提供了IP-PBX与传统P