收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于TTCN-3语言的测试理论与技术研究

邢学智  
【摘要】: 随着软件的飞速发展与普遍应用,软件质量已经变成重要的研究课题。软件测试是提高软件质量最直接,最有效,也是应用最广泛的方法之一[1]。关于软件测试,研究人员和业内人士一直梦想着[2]:统一的测试理论,100%测试自动化,基于测试的模型和高效的测试工程。当前,软件测试面临的难点有:测试管理的复杂性,测试环境的多样性,难以保证的测试完备性[3]。 TTCN-3是ETSI(欧洲电信标准化组织)发布的针对测试领域的专用语言。它定义了很多特定抽象简洁的语言元素,有利于测试的分层,分工和复用,为高效的测试工程发展提供了很好的机制,为不同领域的测试提供了一个统一的测试框架,有利于统一的测试理论形成,有利于软件测试自动化推进,有利于测试模型的发展与应用。在概念上,TTCN-3为测试过程提供了很好的抽象与支持。当然,TTCN-3的测试解决方案,有赖于自身的进一步发展与完善。 针对软件测试的三个难点,本文研究了使用TTCN-3进行测试建模、测试分析、测试执行的理论和技术,提出了一个基于TTCN-3的测试框架。首先,用TTCN-3对抽象的测试对象和测试过程进行建模。然后,解析TTCN-3脚本,提取语义信息,建立起测试过程的可执行对象,接着,通过不同的测试对象适配器,完成对不同测试对象的测试过程。最后,在此基础上完成基于符号执行的分析技术和解释执行、翻译执行技术,改善了TTCN-3测试框架的可用性,提高了测试过程的自动化程度。本文的主要贡献如下: 1.提出将测试共有特征向TTCN-3测试模型转换的方法,以及使用TTCN-3对GUI测试,Web测试进行建模的方法。由此将不同的测试过程,转换成统一的TTCN-3测试模型;将不同的测试实施过程,转换为统一的TTCN-3编译执行过程。 2.详细论述了TTCN-3编译器的构造方法,提出了TTCN-3语言的符号执行技术,以及使用符号执行技术进行TTCN-3脚本正确性分析、测试输入自动生成的方法。 3.详细论述了两种模式执行器(编译-编译-执行模式、虚拟机平台模式)的实现方法及其特点,并由此提出一个集成两种模式的执行器,提出了分析TTCN-3执行器性能的方法,并给出了相关数据。 4.以Web测试,NFC测试为例,提出了通用编解码器框架,介绍了如何在大规模的工业测试中,应用本文提出的TTCN-3测试框架。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 王利翔;TTCN 编译程序的设计[J];计算机应用;1989年S2期
2 高翔,蒋凡,杨敬峰,李贺禄;TTCN-3研究综述[J];计算机工程与科学;2004年06期
3 段红光,罗一静;TSM系统中高层软件测试的方法[J];天津通信技术;2004年03期
4 周中立,李小文;TTCN在TD-SCDMA系统终端协议一致性测试中的应用[J];广东通信技术;2004年08期
5 宋波,李秀峰,蒋朝哲;对TTCN-3同步的扩展[J];西南交通大学学报;2005年01期
6 杨黎明,郑建宏;TSM终端系统内异步切换分析及一致性测试[J];信息技术;2004年10期
7 Daniel Gosthuizen ,锄禾;3G测试问题更加严峻[J];电子设计应用;2004年02期
8 魏洪,杨庚,沈金龙;基于TTCN的通信协议一致性测试[J];南京邮电学院学报(自然科学版);1999年02期
9 周斌,张英堂,屈玉贵,方毅,刘桂英,徐骏;基于TTCN的IPv6协议测试[J];小型微型计算机系统;2004年07期
10 马晓波,王翠茹;一种基于在互联网电子邮件协议环境上的一致性测试的TTCN的应用[J];内蒙古电大学刊;2004年02期
11 蒋溢,易红,夏英,邹永贵;TD-SCDMA协议一致性测试研究[J];微电子学;2004年05期
12 赵玉兰,曾敏,叶新铭;自动产生TTCN测试套以及对RIP协议的应用[J];内蒙古大学学报(自然科学版);2004年06期
13 李贵勇,黄帮明;一致性测试在TSM终端高层协议开发中的应用[J];重庆邮电学院学报(自然科学版);2003年02期
14 周谧;论路由协议的一致性测试过程[J];职大学报;2001年02期
15 吴铁楠,郝松侠,石立新,叶新铭;基于PC的IPv6网络平台及其测试的探讨[J];内蒙古大学学报(自然科学版);2002年04期
16 边恩炯,寿国础;EPON的一致性测试需求和实例分析[J];光通信技术;2005年06期
17 李华,叶新铭,任彪;一种下一代路由协议测试框架及其实现[J];华中科技大学学报(自然科学版);2003年S1期
18 纳春宁;;基于TTCN的TD-SCDMA RRM一致性测试研究[J];电子测量技术;2007年11期
19 余娟;陈贤亮;;TD-SCDMA/GSM双模终端RRM层的测试研究[J];通信技术;2008年07期
20 戴翠琴;鲍宁海;;3G终端开发中的一致性测试及实现过程[J];重庆邮电学院学报(自然科学版);2006年03期
中国重要会议论文全文数据库 前10条
1 赵会群;李东林;翟亚娟;;一种扩展TTCN-3复杂计算的方法[A];全国第21届计算机技术与应用学术会议(CACIS·2010)暨全国第2届安全关键技术与应用学术会议论文集[C];2010年
2 赵会群;李东林;;基于TTCN-3的TLS安全软件测试工具的设计与实现[A];全国第21届计算机技术与应用学术会议(CACIS·2010)暨全国第2届安全关键技术与应用学术会议论文集[C];2010年
3 施寅生;邓波;唐乐乐;齐璇;;基于TTCN-3的Web应用负载测试方法[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
4 吴慧萍;屈玉贵;赵保华;;优化消息轨迹图以提高TTCN测试套的开发效率[A];2003年通信软件技术学术年会论文集[C];2003年
5 魏蓉;郐吉丰;王春元;蒋凡;;等级保护中的系统自动化测试[A];第二十一次全国计算机安全学术交流会论文集[C];2006年
6 黄山;韩柯;王建伟;;基于SDL的组件化软件测试研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
7 王彦丽;骆力明;;软件测试理论与软件测试实践教学体系探索[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
8 张雯婷;;软件测试丢失数据遗补算法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
9 李永华;徐涛;樊玮;冯霞;;民航软件质量控制管理方法研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
10 张军;罗永红;;实时嵌入式软件仿真测试平台研究[A];2009系统仿真技术及其应用学术会议论文集[C];2009年
中国博士学位论文全文数据库 前10条
1 邢学智;基于TTCN-3语言的测试理论与技术研究[D];中国科学技术大学;2010年
2 李飞宇;基于内存建模的测试数据自动生成方法研究[D];北京邮电大学;2013年
3 陈厅;动态程序分析技术在软件安全领域的研究[D];电子科技大学;2013年
4 夏启明;软件测试及评价的复用策略研究及其实现[D];武汉大学;2010年
5 曹琰;面向软件脆弱性分析的并行符号执行技术研究[D];解放军信息工程大学;2013年
6 郭健强;面向对象软件测试理论与技术的研究[D];西安电子科技大学;1999年
7 胡仁胜;软件可靠性和软件最优发布问题的研究[D];合肥工业大学;2001年
8 姚砺;面向对象软件测试的研究[D];浙江大学;2002年
9 李小将;Client/Server系统的软件测试技术研究[D];西北工业大学;2002年
10 周卫东;组合导航系统应用软件可靠性研究[D];哈尔滨工程大学;2006年
中国硕士学位论文全文数据库 前10条
1 韩正伟;基于TTCN-3通用解码器的研究与实现[D];北京邮电大学;2010年
2 马琳;基于模型驱动测试的TTCN-3代码生成平台的设计与实现[D];北京工业大学;2013年
3 唐艳武;TTCN-3测试与漏洞模式分析相结合的漏洞查找方法[D];中国科学技术大学;2010年
4 宁姣;基于TTCN-3的通用编码器的研究与实现[D];北京邮电大学;2010年
5 任晓曦;TTCN-3系统对实时测试支持的研究与实现[D];内蒙古大学;2012年
6 罗贞;TTCN-3编解码自动生成器研究[D];湖南大学;2012年
7 尚星星;基于TTCN-3的软件性能测试方法与技术研究[D];北方工业大学;2011年
8 梁艳;基于TTCN-3的列控系统安全通信协议互操作性测试研究[D];北京交通大学;2012年
9 余昌蓉;基于GFT的TTCN-3测试套自动生成工具的重构[D];北方工业大学;2013年
10 沈维维;基于TTCN-3的ERP系统测试方法的研究与实现[D];内蒙古大学;2013年
中国重要报纸全文数据库 前10条
1 应荧莹;TTCN—3全球用户大会将首次登陆中国[N];人民邮电;2010年
2 闫辉;测试成就完美软件[N];电脑报;2003年
3 北京融海恒信咨询有限公司;软件测试:一个不得不关注的问题[N];中国计算机报;2002年
4 ;浅谈测试中的常见问题[N];中国计算机报;2002年
5 ;软件测试的基本方法[N];中国计算机报;2002年
6 王宇;过程决定质量[N];中国计算机报;2003年
7 杜昊;Segue助力软件测试[N];计算机世界;2005年
8 本报记者 施波涛;软件测试工程师成IT就业新热点[N];市场报;2005年
9 权彦杰;软件测试与净室技术[N];中华读书报;2001年
10 本报记者 兰昆;软件测试业对性别无偏好[N];中国经济导报;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978