共查询到17条相似文献,搜索用时 437 毫秒
1.
《计算机应用与软件》2016,(3)
针对软件测试的不完备性以及软件测试自动化问题,提出在测试过程中将模型检测前置于传统测试,将模型检测与测试相结合。通过分析模型检测中的形式化规约明确测试目的,并转换成TTCN-3(Testing and Test Control Notation)抽象测试套。进一步利用规约中本身存在的正例,与数据类型描述文件相关联,从而生成测试用例。分析TTCN-3开发模式,基于标签转换系统与TTCN-3行为树的等价性,提出模型检测引导的抽象测试套生成算法,并实现TTCN-3抽象测试套的自动生成。 相似文献
2.
基于TTCN-3的手机网络应用软件测试方法研究 总被引:1,自引:1,他引:0
介绍了手机网络应用软件的主要开发技术,概述了TTCN-3标准规范中的TTCN-3核心语言、TTCN-3运行时接口和TTCN-3控制接口的基本概念,并在对手机网络应用软件网络连接方式分析的基础上,提出了基于TTCN-3的手机网络应用软件测试方法,说明了使用TTCN-3测试手机网络应用软件的测试流程.通过给出一个手机网络应用软件的测试实例,展示了这种测试方法的可行性. 相似文献
3.
4.
5.
基于C++语言转换的TTCN-3测试系统的设计与实现 总被引:1,自引:1,他引:1
TTCN-3是一种用于协议与软件测试的标准化测试语言,文章提出了一种实现TTCN-3测试系统的设计方法,将用TTCN-3书编写的抽象测试套先翻译为C 语言,进而编译生成可执行的测试套,然后调度执行.并用这种方法实现了TTCN-3测试平台TTPlatForm,运行结果表明,这种基于语言转换的TTCN-3测试系统在性能、可移植性和灵活性均比采用编译生成成内存对象并调度内存对象执行的方式有了较大的提高. 相似文献
6.
7.
研究了HINOC MAC协议测试实现方案和关键接口设计.首先提出了基于TTCN-3的HINOC MAC协议一致性测试平台架构,它包含测试例开发和协议适配器接口开发两部分.重点设计开发TRI(TTCN-3 Runtime Interface)和TCI(TTCN-3Control Interface)接口,以实现信息帧的发送与接收、定时器操作以及编码与解码功能.最后通过搭建实际的测试平台对接口的有效性进行验证,实验结果表明该设计方案可以实现HINOC协议MAC层信令的测试. 相似文献
8.
为了更加高效地测试基于SIP(session initiation protocol,会话初始协议)的应用软件,提出了一种通过执行TTCN-3抽象测试套来验证SIP应用程序正确性的新方法.简单介绍了SIP协议和TTCN-3,给出了基于TTCN-3的SIP协议软件测试的设计与实现方法,结合一个具体应用实例详细验证了该方法的可行性.该方法具有可重用、操作简单、执行快捷等特点. 相似文献
9.
TTCN-3拥有一个功能强大且易于掌握的模板匹配机制。本文提出一种TTCN-3测试系统开发过程中模板匹配机制通用的、开放的实现方案。通过对模板匹配功能在TTCN-3测试系统中的作用进行深入分析,采用面向对象的程序设计语言C++实现TTCN-3测试系统中带有匹配机制的模板表示和模板匹配操作,并给出一个对于DNS协议实现功能测试的抽象测试套的翻译方案验证本文设计的合理性。 相似文献
10.
11.
12.
TTCN-3测试套开发模式及其应用 总被引:1,自引:0,他引:1
在测试系统应用研究的基础上,分析TTCN-3测试系统结构,提出适用于软件测试和协议测试的TTCN-3测试套开发模式。该模式借鉴设计模式和模板库思想,在设计和重用抽象测试套和可执行测试套两方面有所突破,可以显著提高测试系统的可复用性和可扩展性,缩短测试系统的开发周期。结合GSM的移动应用部分(MAP)协议栈测试为例,说明该测试套开发模式的实际应用。 相似文献
13.
基于MSC的TTCN-3测试例生成研究 总被引:1,自引:1,他引:0
提出了从消息序列图(MSC)生成TTCN-3测试例的方法.测试者可以先针对被测系统(SUT)中感兴趣的部分利用MSC描述出具体的测试场景,再从MSC映射成TTCN-3测试例.将MSC映射成TTCN.3的方法主要包括对MSC文档、基本MSC和高级MSC这3部分的映射. 相似文献
14.
为了克服手工测试的缺点,构建了基于TTCN-3的移动业务测试平台。在参考了TTCN-3通用测试系统模型的基础上,针对移动通信协议设计了专门的编解码器和被测系统适配层,并针对各种操作系统平台设计了通用的平台适配层。提出了被测系统适配层采用并行多实体设计,配合采用Socket连接的TRI接口,实现层二协议的分布式处理。通过一个数据呼叫业务的系统测试实例表明了该平台能有效地完成移动业务通信协议的一致性测试。 相似文献
15.
16.
为了满足日益增长的测试需求,欧洲电信标准协会推出了新一代测试描述语言TTCN-3。TTCN-3的表格形式不仅是其核心语言的一种表现形式,而且强调了如何满足协议一致性测试的需求。文中研究了TTCN-3的表格形式,并提出了一个用表格形式描述的OSP协议的测试例。该测试例可以被应用于OSP协议的一致性测试。 相似文献