共查询到18条相似文献，搜索用时 109 毫秒
1.
2.
基于有限状态机的一致性测试例自动生成方法 总被引：5，自引：0，他引：5
一致性测试通俗地讲是测试被测设备（ＩＵＴ）是否符合有关标准。随着被测设备类型的增多，用手工方法产生测试例将是不可能的，所以，迫切需要寻找一种自动生成测试例的方法。本文提出的方法可以自动生成测试例，用这种方法产生的测试例的数目有一确定的上限。 相似文献
3.
本文采用通信有限状态机模型描述通信协议,基于通信有限状态机模型提出了协议一致性测试的测试序列生成方法,解决了构件化协议的测试序列生成的问题。本文实现了测试序列的生成算法,通过实例说明了采用测试序列生成算法生成了比传统算法更少的测试序列。同时本算法还可以用于多层协议测试。 相似文献
4.
本文采用通信有限状态机模型描述通信协议,基于通信有限状态机模型提出了协议一致性测试的测试序列生成方法,解决了构件化协议的测试序列生成的问题。本文实现了测试序列的生成算法,通过实例说明了采用测试序列生成算法生成了比传统算法更少的测试序列。同时本算法还可以用于多层协议测试。 相似文献
6.
一种高效的网络协议一致性测试生成方法 总被引：2，自引：0，他引：2
本文基于ＵＩＯ序列提出一种新的协议一致性测试生成方法－叠加回路方法，可以证明，这种方法在保证测试序列错误覆盖勇和的同时不仅降低了叠加转换序列的计算复杂性而且还大大缩短了测试序列的长度。 相似文献
7.
基于TTCN的协议的一致性测试是保证协议实现正确的重要方法.在介绍ICMPv6协议和TTCN标准的基础上,构建了一种基于TTCN标准的一致性测试系统.介绍了该测试系统的架构与工作原理,同时给出了ICMPv6一致性测试的方法和步骤,并在测试平台上执行了测试套. 相似文献
8.
基于各种安全协议(如IPSec，TLSP等)和安全系统(如Kerberos，SESAME等)的分析，提出了通用安全服务原语(GSSP)的概念，面向不同协议层次的调用者，GSSP屏蔽了底层安全机制的实现细节．定义了GSSP相关概念和一个最小服务原语集合，包括安全上下文管理、安全联合管理、报文封装原语．用形式描述语言SDL／MSC描述了通用安全服务参考模型．最后用SDL描述了一个基于X．509框架的实现实例。 相似文献
9.
10.
用SDL设计WCDMA测试终端的软件系统 总被引：2，自引：0，他引：2
论文简要介绍了SDL语言及其支持工具,以及它们在通信软件设计中的运用,并通过一个实例对如何利用SDL语言设计和开发实时软件系统进行了详细的说明。文章的目标系统是一个WCDMA测试终端的软件系统,它是一个用于测试WCDMA无线网络节点的设备,开发的内容包括WCDMA的部分协议以及相关的控制程序。另外,论文还对利用SDL进行实时软件开发的特点进行了总结。 相似文献
11.
提出一种基于XML描述的测试用例自动生成方法:采用XML语言来描述报文接口信息,根据域测试策略生成域测试表,通过组合覆盖生成算法生成最终的测试用例包.该方法产生的测试用例具有数量少、能实现报文接口的最大限度覆盖的特点,从而在保证软件质量的同时,降低成本,提高效率. 相似文献
12.
测试集的生成方法是一致性测试技术的核心.介绍了形式化描述技术在测试集生成过程中的应用,针对PPP协议介绍其协议实现时的状态迁移.使用形式化描述语言SDL对PPP协议进行形式化描述,并以此为基础生成测试集,这些测试集能有效地应用于PPP功能实现模块. 相似文献
13.
14.
测试用例集约简技术是生成最小测试用例集,最大限度地对软件进行科学有效的测试,从而降低软件测试的成本、提高测试效率的关键技术之一.结合国内外几种算法的策略的基础上,提出了一种基于测试需求集的最小测试用例集的生成方法,该方法能够保证得到优化代表集. 相似文献
15.
测试用例集约简技术是生成最小测试用例集，最大限度地对软件进行科学有效的测试，从而降低软件测试的成本、提高测试效率的关键技术之一、结合国内外几种算法的策略的基础上，提出了一种基于测试需求集的最小测试用例集的生成方法，该方法能够保证得到优化代表集。 相似文献
16.
17.