导读:本文包含了测试套论文开题报告文献综述、选题提纲参考文献，主要关键词:测试,协议,软件,系统,自动生成,隧道,嵌入式。
测试套论文文献综述写法
王振林[1]（2018）在《基于TTCN-3的BGP协议一致性测试套的设计与实现》一文中研究指出通信协议是整个互联网体系和分布式系统各通信端实体之间进行信息交流时应遵循的通用法则。网络技术的发展需要相应协议标准予以规范,使得各种业务能够按照统一的标准实施。网络设备商也需要对各种协议有准确的理解,使得网络设备能够根据协议正确实现,从而实现不同厂商网络设备的互连互通。边界网关协议(Border Gateway Protocol,BGP)是一种目前因特网上使用的主流网关协议,也是广电骨干数据平台与ISP运营商之间采用的路由协议,在不同的自治系统之间起着路由优选与策略控制等重要作用。当前整个互联网主要是由开放型异构网络通过BGP网关协议连接到核心网,最后连接到Internet上融合形成的一个整体。可以看出,BGP作为全球标准的外部网关协议起到至关重要的作用。因此,对BGP实现进行协议一致性测试就显得十分重要。本文所研究的BGP协议一致性测试,项目来源与H3C公司的实际需求,目前H3C公司还没有较为完备的BGP协议一致性测试工具,而其它大多数协议组件已经由测试部门专门开发了对应的一致性测试工具。本文针对BGP协议一致性测试的实际需求,深入分析了BGP协议的基本原理和基于TTCN-3的协议一致性测试的关键技术;然后通过对RFC标准协议文档的深入分析研究和对BGP协议一致性测试套测试需求的分析,按照模块化与树形管理模型为指导,采用TTCN-3测试规范语言;针对H3C的Comware主线版本设计开发了BGP协议一致性基本测试套。参考测试解决方案提供商的测试用例设计,将协议测试用例整理归纳为基本消息处理、错误信息处理、路由过滤处理、能力发送处理四类模块,搭建真实的组网环境验证,并阐明使用TTCN-3设计BGP协议一致性测试套的流程,展示了部分核心抽象测试套内容。本文通过对测试套输出的测试验证结果分析,总结H3C设备上BGP协议组件的实现和标准协议要求之间的差异,完善了设备上BGP协议实现的标准性、可靠性。同时也验证了本文设计的BGP协议一致性测试集能满足实际工程需要,为H3C网络设备的BGP协议一致性测试验证提供了较为完善可靠的标量化测试工具。(本文来源于《重庆大学》期刊2018-03-01）
孙晶,金晓文[2]（2016）在《模型检测引导的TTCN-3测试套生成技术研究》一文中研究指出针对软件测试的不完备性以及软件测试自动化问题,提出在测试过程中将模型检测前置于传统测试,将模型检测与测试相结合。通过分析模型检测中的形式化规约明确测试目的,并转换成TTCN-3(Testing and Test Control Notation)抽象测试套。进一步利用规约中本身存在的正例,与数据类型描述文件相关联,从而生成测试用例。分析TTCN-3开发模式,基于标签转换系统与TTCN-3行为树的等价性,提出模型检测引导的抽象测试套生成算法,并实现TTCN-3抽象测试套的自动生成。(本文来源于《计算机应用与软件》期刊2016年03期）
许春锐[3]（2015）在《基于ITC的IP FRR技术自动化测试套的研究与实现》一文中研究指出在基于IP的数据通信网络中,网络拓扑发生变化会引发路由协议的重收敛过程,进而造成短时流量传输中断,导致传输数据丢失。当前路由协议的收敛时间过长,随着当今网络的快速发展,网络运营商对该收敛时间有了更高的要求。IP FRR技术通过在本地提前计算备份路由实现了更快的恢复时间,大大减少了流量的丢失。因此,为了确保设备能够正常实现IP FRR功能,必须对其进行测试。随着设备功能日臻完善、版本迅速更新,传统的测试方法已不能满足这些测试需求,而智能云测试(ITC)能实现资源的统一管理和动态分配,提供高效的自动化测试服务,弥补传统测试的不足。因此研究实现自动化测试套,并基于云测试系统执行测试套,对IP FRR技术的测试具有重要意义。本文针对H3C公司开发的路由协议(RIP和OSPF)软件测试工程的实际需要,基于智能云测试系统ITC研究实现了一套IP FRR测试套,主要内容包括:①详细研究并分析了IP FRR技术的基本原理及技术机制——快速故障检测机制BFD和修复路径机制LFA,然后又分别对这两部分内容的技术细节进行了深入研究。②明确了智能云测试系统ITC的功能需求、探讨了ITC的整体架构及模块划分机制。③结合RFC协议标准及产品需求,针对RIP协议及OSPF协议的IP FRR技术进行了两类测试用例的设计,即备份路径下一跳的手工指定及自动计算。然后在测试用例的指导下,使用TCL语言对测试用例进行描述,完成了测试脚本的开发,实现了自动化测试套。④搭建测试环境,基于ITC系统运行已开发的测试脚本,获取IP FRR技术的测试结果,然后对测试结果进行分析。测试结果证明,本文设计的测试套有效可行,为网络设备的IP FRR技术质量的可靠性与稳定性提供了保证。(本文来源于《重庆大学》期刊2015-04-01）
陆力瑜[4]（2014）在《基于STC的IPv6隧道技术测试套设计与实现》一文中研究指出IPv4已经使用30多年，至今仍是现代互联网的核心协议。然而随着IPv4地址资源日渐枯竭，IPv4的弊端日益明显，从IPv4过渡到IPv6成为网络发展的必然趋势。隧道技术是过渡进程中解决兼容性问题的主要技术，在IPv6迁移初期占据重要地位。网络设备层面的升级奠定了IPv6商业部署与推广的基础。这就要对网络设备的过渡技术特别是隧道技术进行研究和测试，检验其能否完全支持IPv6网络互联互通。传统的测试方式已经无法满足这些设备功能日臻完善、版本快速更新的测试需求。而基于云计算的测试方案——云测试可以提供高效的自动化测试服务，实现测试环境的统一管理和动态分配，弥补传统测试的缺陷。因此在云测试系统的基础上，设计实现自动化测试套，对于IPv6隧道技术的测试具有重要意义。IPv6隧道技术分为叁类：配置隧道（手工隧道、GRE隧道），自动隧道（IPv4兼容IPv6自动隧道、6to4隧道、ISATAP隧道）和基于MPLS的隧道（6PE技术）。本文在对隧道技术深入研究基础上，完成以下几个方面的内容：首先分析了各种隧道技术的工作原理；其次明确所使用的智能云测试系统STC（Smart Test Cloud）的功能需求，探讨STC的整体架构设计；然后结合RFC协议标准、产品需求以及实际应用，从基本功能测试、组合测试、规格压力测试叁方面分别设计测试用例，设计时充分考虑到配置、自动隧道和基于MPLS的隧道之间巨大的差异，提出了不同的测试要点，并采用TCL语言开发了手工隧道、IPv4兼容IPv6自动隧道、GRE隧道、6to4隧道、ISATAP隧道和6PE共六个模块的脚本，实现自动化测试套；最后通过STC执行测试套得到设备上隧道技术的支持情况，结果表明本文设计的测试套有效可行。本文介绍的云测试系统为后续研究者提供了可借鉴的经验，设计实现的测试套能为网络设备IPv6隧道技术质量的可靠性和稳定性提供保证。(本文来源于《重庆大学》期刊2014-04-01）
赵会群,孙晶,张爆,王同林[5]（2014）在《嵌入式API测试套生成方法和技术》一文中研究指出随着嵌入式计算机系统应用的不断扩展,嵌入式系统的可靠性引起了学术界和工业界的广泛关注,也提出了很多增进可靠性的方法和技术.然而,现有的方法和技术在测试套生成方面论述不多,所以在处理大批量嵌入式系统测试工作中遇到了挑战.讨论抽象测试套生成方法和适配技术,提出了LTS(labeled transition system)到BT(behavior tree)的转换算法,从而使TTCN(test and testing control notation)测试套可以通过转换嵌入式软件的LTS描述产生.还介绍了基于上述转换算法的嵌入式软件测试工具包,以及一个嵌入式物联网识读器测试案例研究.(本文来源于《软件学报》期刊2014年02期）
余昌蓉[6]（2013）在《基于GFT的TTCN-3测试套自动生成工具的重构》一文中研究指出随着计算机软件技术的不断发展,软件产品的质量越来越受到人们的高度重视。而软件测试是提高软件质量的保障,自动化软件测试技术及工具是推动软件测试应用发展的重要途径之一,自动化测试工具能有效提高软件测试的过程,具有可重复性,易操作性,可靠性等特点,可以高效地对软件进行测试,同时减少了测试实施过程中的时间、人力和硬件资源消耗,从而改善了软件测试中高成本,低效率的局面。TTCN-3(Testing and Test Control Notation version3,测试及测试控制表示第叁版)是一种强大的测试描述语言,具有广泛的应用领域和发展前景。作为一种国际标准测试语言,对自动化测试工具的实现具有完备的理论基础。具有多种表示格式,其中GFT (the Graphical presentation Format of TTCN-3,TTCN-3图形表示格式)是TTCN-3为了能直观明了地描述测试目的而设计的图形化表示方法。目前,国内支持TTCN-3的自动化测试工具较少,提供图形化的编辑工具还处于探索阶段。本课题是在北方工业大学软件体系结构实验室研发的支持TTCN-3的自动化测试平台TTRun的基础上,为支持图形化表示格式提高测试套的可视化及开发效率,对TTRun平台中原有的TTShow进行重构。本课题的主要内容为根据TTCN-3测试套的特点,对GFT进行扩展,扩展的GFT可以有效描述标准GFT规范不能描述的TTCN-3模块定义部分；对GFT表示的TTCN-3模块进行分层管理,支持GFT图的复用；根据Eclipse插件开发技术实现GFT扩展图的编辑器,优化TTShow工具提供的GFT图编辑器；实现GFT图转换生成TTCN-3核心语言表示的测试套的算法。通过本课题的工作,实现了TTCN-3的测试套自动生成工具,该工具具有支持GFT的图形编辑器,易操作性,支持复用的特点。把重构后的TTShow工具集成到TTRun平台,提高TTRun平台测试套开发效率、支持测试套的可视化。最后,通过两个实际的测试案例,利用本文实现的测试套自动生成工具进行图形编辑,自动生成测试套,通过TTRun提供的TTCN-3文本编辑器对自动生成的测试套进行语法分析和编译处理,查看日志信息有效验证了图形转换代码算法的可行性和工具的实用性。(本文来源于《北方工业大学》期刊2013-06-30）
孙晶,余昌蓉[7]（2013）在《基于GFT的TTCN-3测试套自动生成工具的设计与实现》一文中研究指出针对TTCN-3(Testing and Test Control Notation Version 3)第叁部分GFT(Graphical presentation format of TTCN-3)标准只对TTCN-3测试行为提供图形表示的问题,提出扩展GFT图形的方法,进一步完善TTCN-3的图形表示格式。实现基于GFT图的图形编辑工具,强有力地支持TTCN-3测试套的开发。一方面提高了TTCN-3测试套的开发效率,测试套的可读性;另一方面,对图形元素的添加限制也有效地保障了开发的TTCN-3代码符合TTCN-3核心语言规则。(本文来源于《计算机与数字工程》期刊2013年06期）
陆宁[8]（2013）在《基于TTCN-3的802.1X协议一致性测试套设计与实现》一文中研究指出802.1X是基于端口访问控制的认证协议，能有效防止未认证用户访问网络资源，且具有方便管理网络用户、网络安全性能强、应用场景多、组网方便、部署成本低的特点。因此全球各大网络设备商在各自的网络设备产品里实现了802.1X认证功能，这些设备被各组织机构部署于其内部网络中。网络设备商为了保证设备中的认证功能有效工作，就必须对其实现的协议功能进行一致性测试，检查设备中运行的802.1X认证系统是否符合标准协议规范。TTCN-3作为协议一致性测试领域里标准化的测试抽象语言，具有强大的信息匹配机制、测试用例判决机制、时钟功能、编解码信息功能并且能与其它高级程序语言相结合使用，这些特点使TTCN-3能满足设备商对产品的网络协议一致性测试的需求。本文研究的主要内容是基于TTCN-3测试语言，设计802.1X协议一致性测试套并在真实组网环境中进行测试。通过对802.1X协议文档进行研究，首先本文使用ASN.1对各认证阶段的报文帧进行数据结构化，然后提出了对802.1X协议进行一致性测试的方法以及测试组网的设计，接着基于报文字段属性值、定时器功能和认证系统端口状态机转移叁个方面设计出39个测试用例，并使用TTCN-3进行程序编写，同时，使用自动化脚本语言Tcl编写配置命令。在前面工作基础上，通过使用TTCN-3编译执行工具与被测设备搭建真实测试环境，实现了整个测试套的测试。测试结果证实，本文设计的测试套有效可行。(本文来源于《重庆大学》期刊2013-04-01）
任梓为[9]（2012）在《CORBA网管接口的TTCN-3测试套生成方法》一文中研究指出CORBA是网络管理中的主流接口技术之一,目前的网络管理接口一般主要采用UML来进行与实现技术无关的信息建模,而将IDL作为一种基于具体技术的接口定义,二者共同构成完整的网络管理接口。但目前网络管理接口测试的自动化程度还有待提高,尤其是接口功能和语义层面的测试还主要依赖人工进行。TTCN-3作为一种标准化的测试描述语言,可以用来实现网络管理接口的自动化测试。目前ETSI的规范中已经给出了IDL到TTCN-3的静态映射标准,其内容主要是根据IDL接口定义给出相应的TTCN-3测试套中的函数和数据类型的声明,但并不涉及可执行的测试脚本的映射。因此,要基于现有的TTCN-3规范来进行CORBA网管接口测试脚本的自动化生成,还需要对生成方法进行更深入的研究。本文在ETSI已有的IDL到TTCN-3静态标准映射的基础上,提出了一种根据IDL接口定义和UML序列图来生成可执行的TTCN-3测试套的方法,并给出了TTCN-3测试脚本的生成规则。该方法首先通过IDL接口生成相应的测试套静态声明,然后针对一般的接口操作和属性生成相应的可执行测试例,最后再结合UML序列图的信息生成具有时序关系的测试例组合,从而形成针对管理接口功能的完整测试套。本文对TTCN-3测试套生成器的组成结构进行了设计,并完成了生成器的原型实现,可以自动生成针对CORBA网络管理接口的可执行的TTCN-3测试套,从而在一定程度上提高网管接口的功能和流程测试的自动化水平。文中一并给出了生成器中各个文件和主要函数的详细说明,以及程序中克服的一些难点,最后给出了一个生成器功能验证的简单举例。(本文来源于《北京邮电大学》期刊2012-12-23）
刘浏,陈晓梅[10]（2012）在《基于测试套优化的DHCP协议一致性可扩展测试系统设计》一文中研究指出文章介绍了一个具备测试系统的可重构性和测试套优化性的DHCP一致性测试系统。DHCP一致性测试系统的设计采用分层设计、底层封装以及公用API的方式来实现系统软件的可伸展性,通过有限状态(本文来源于《第27次全国计算机安全学术交流会论文集》期刊2012-08-20）
测试套论文开题报告范文
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
针对软件测试的不完备性以及软件测试自动化问题,提出在测试过程中将模型检测前置于传统测试,将模型检测与测试相结合。通过分析模型检测中的形式化规约明确测试目的,并转换成TTCN-3(Testing and Test Control Notation)抽象测试套。进一步利用规约中本身存在的正例,与数据类型描述文件相关联,从而生成测试用例。分析TTCN-3开发模式,基于标签转换系统与TTCN-3行为树的等价性,提出模型检测引导的抽象测试套生成算法,并实现TTCN-3抽象测试套的自动生成。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
测试套论文参考文献
[1].王振林.基于TTCN-3的BGP协议一致性测试套的设计与实现[D].重庆大学.2018
[2].孙晶,金晓文.模型检测引导的TTCN-3测试套生成技术研究[J].计算机应用与软件.2016
[3].许春锐.基于ITC的IPFRR技术自动化测试套的研究与实现[D].重庆大学.2015
[4].陆力瑜.基于STC的IPv6隧道技术测试套设计与实现[D].重庆大学.2014
[5].赵会群,孙晶,张爆,王同林.嵌入式API测试套生成方法和技术[J].软件学报.2014
[6].余昌蓉.基于GFT的TTCN-3测试套自动生成工具的重构[D].北方工业大学.2013
[7].孙晶,余昌蓉.基于GFT的TTCN-3测试套自动生成工具的设计与实现[J].计算机与数字工程.2013
[8].陆宁.基于TTCN-3的802.1X协议一致性测试套设计与实现[D].重庆大学.2013
[9].任梓为.CORBA网管接口的TTCN-3测试套生成方法[D].北京邮电大学.2012
[10].刘浏,陈晓梅.基于测试套优化的DHCP协议一致性可扩展测试系统设计[C].第27次全国计算机安全学术交流会论文集.2012