导读:本文包含了自动测试工具论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:测试,系统,建模,测试工具,自动生成,实根,软件。
自动测试工具论文文献综述
陈植[1]（2019）在《自动投标工具被禁引发行业忧虑 多家互金平台压力测试未雨绸缪》一文中研究指出“我们现在很担心，一旦自动投标业务被禁，整个平台又将遭遇新一轮出借人流失，最终酿成流动性风险。”4月30日，一家国内大型互金平台负责人向21世纪经济报道记者袒露了自己的忧虑。4月初流传的《P2P平台备案试点方案》（下称备案新政）规定，同一网贷平(本文来源于《21世纪经济报道》期刊2019-05-01）
杜博[2]（2019）在《一种跨平台的自动测试系统信号建模工具的设计与实现》一文中研究指出面向信号的测试方法是现在自动测试系统的发展方向,信号是面向信号的自动测试系统的关键要素,信号存在于自动测试过程的各个阶段。完整可靠的定义信号对于面向信号的自动测试系统具有至关重要的作用。同时,为了满足自动测试系统在多平台部署的需求,本文在研究IEEE 1641标准的基础上设计实现了一套基于STD标准可跨平台部署的信号建模工具和配套的波形仿真工具。使用该工具可以对测试信号进行精确定义,使得测试信号可以无障碍的在所有符合STD标准的自动测试系统中交换。本文主要阐述了自动测试系统信号建模工具的设计实现方法,该软件不要求用户具备代码式的编程能力,允许用户通过流程图的形式创建符合STD标准的测试信号描述文档。为了让用户验证创建的信号是否满足要求,该软件还附带一个波形仿真工具可以对用户创建的信号进行波形仿真。本文的主要研究内容分为以下部分:(1)提出了一套流程图式UI交互模块的架构,该架构实现了一个简易的流程图模块,使用该模块可以完成流程图式建模操作,允许用户通过拖拽的方式在窗口中创建图元,然后使用鼠标连线设置图元之间的连接关系。这是软件编程实现信号建模工具的基础。(2)在流程图架构的基础上,依据STD标准对BSC信号的定义,针对不同BSC信号的接口和属性特征,实现了STD标准定义中的所有BSC信号图元。使用这些图元可以以流程图的方式构建更加复杂的TSF信号。(3)实现TSF信号波形仿真工具,在载入TSF信号XML描述文档后,根据用户指定的TSF信号属性信息,计算出TSF信号波形,最终将波形显示在波形仿真窗口中。与使用成熟流程图软件二次开发实现图形化建模不同,本文基于Qt提出了一套流程图式UI交互模块的架构,并在此架构的基础上依据IEEE 1641对测试信号的定义设计并实现了信号建模工具,使用本文设计的工具可以方便快速的建模复杂的测试信号,经检验,完全可以满足面向信号的自动测试系统对信号建模的需求。(本文来源于《电子科技大学》期刊2019-05-01）
李梦琰[3]（2019）在《自动测试系统资源建模工具的设计及在某ATE中的应用》一文中研究指出实现面向信号的自动测试系统的主要目的是实现测试仪器的可互换性和测试程序的可移植性。而且,研制面向信号的基于Linux操作系统的自动测试系具有良好的发展潜力和应用前景。资源建模工具作为面向信号的自动测试系统的重要一环,主要功能为实现对自动测试系统的资源进行建模,把相同的测试资源描述提供给不同的测试程序使用实现自动测试系统的硬件设备和软件平台的分离,提高自动测试软件平台的通用性。本文根据自动测试标记语言(Automatic Test Markup Language,ATML),在Linux操作系统和Qt开发框架下,设计并实现了一款自动测试系统资源建模工具。总结全文,对本文的主要工作内容进行分析,可以划分为以下几点:首先,本文研究了ATML标准族以及IEEE1671“点”标准,详细分析其中资源描述文档中的元素结构和元素内容,使资源描述文档标准化。研究ATML标准族中对被测设备、适配器、测试站、测试仪器和测试配置五大资源部分的描述规范,对元素结构和内容进行研究,了解各个XML文档格式的资源描述文件的整体结构和内容。本文将IEEE1671标准与XML语言进行结合,生成符合IEEE1671标准的XML格式资源描述文档。其次,本文采用Qt开发框架进行开发,设计并实现了以图形化方式来进行测试资源的信息录入和XML文档的生成和保存。在图形化的资源描述软件的开发过程中,应用了面向对象的思想来编程,将每个资源描述文档的生成过程分开然后,本文选择了国产的达梦数据库对生成的资源描述文件进行存储。根据资源描述文件设计了数据库表,对建模软件和数据库的操作接口进行了封装,实现了将XML格式的资源描述文档导入到数据库中。最后,通过对某ATE进行资源建模,验证了该资源建模软件具有性能良好稳定、可用性强、易学易用的特点,生成的XML文档符合标准规范,满足了资源建模工具的需求。(本文来源于《电子科技大学》期刊2019-04-08）
张俊亮,张维友,李明婕,杨光军[4]（2018）在《油井自动分层测试开关工具设计及应用》一文中研究指出通过对高含水油井的分层测试,可以准确找到出水层,为堵水作业提供依据。设计了一种分层测试开关工具,与封隔器、丢手等组成分层测试管柱。现场试验表明,该测试开关动作可靠,可实现油井的找水及分层测试作业,满足现场生产需要。(本文来源于《石油矿场机械》期刊2018年06期）
张一驰[5]（2018）在《基于C#技术仪控信号点自动测试工具的开发及应用》一文中研究指出随着现代化电厂仪控工程规模的不断发展,工程中信号点测试是工程安全及质量保证非常重要的一环,本文首先阐述了开发该自动测试工具的必要性,然后重点介绍了该自动测试工具的总体架构设计以及具体实现功能,希望能对相关行业的测试工作起到一定的帮助。(本文来源于《中国新技术新产品》期刊2018年04期）
王砺磊,曾霞,林望,陈鑫,杨争峰[6]（2017）在《ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具》一文中研究指出现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复杂非线性约束难以求解的问题,采用基于低秩矩量矩阵恢复的多项式系统求解方法,该方法对于含有等式和不等式的多项式系统,相较于其他方法求解速度更快,更适合大规模问题的求解;对于浮点约束求解不准确的问题,采用基于区间分析的验证算法来计算包含精确实解的区间,基于该区间给出测试用例,可以避免浮点计算的不准确和异常.结合该算法和符号执行工具KLEE-FP实现了一个测试用例自动生成工具ATCase(automatically generate test case),它能够分析数值程序中的路径并自动生成满足路径约束的测试用例.在两个开源软件库中的2两个复杂的真实程序上运行的实验结果表明ATCase相比KLEE-FP所使用的STP求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显.(本文来源于《系统科学与数学》期刊2017年07期）
李平玉[7]（2016）在《自动测试系统图形化资源建模与测试描述工具的实现》一文中研究指出随着电子技术、计算机技术的迅速发展,电子设备的复杂程度逐渐提高,自动测试系统成为复杂系统与设备可靠运行的必要保障。标准化、通用化、模块化的自动测试系统是当前测试技术的发展方向。然而,在测试系统的生产和使用过程中,低效的信息交换问题仍未被有效解决。针对该问题,本文根据专用数据交换标准ATML(Automated Test Markup Language),研究并实现了一种自动测试系统资源建模与测试信息描述工具。该工具实现了测试环境中信息的传递、不同测试平台之间信息的共享和通用,提高了自动测试程序的可移植和互操作性。研究本课题具有积极意义,以下为本文的主要内容。首先,本文研究了ATML标准,分析了各信息描述文档中的元素结构。考虑到软件的体验性和交互性需求,作者将Visio控件嵌入Visual C++开发了图形化的资源建模工具。该工具提供系统硬件资源对应的模具,用户通过使用模具中的图元绘制系统模型,录入每个设备模块的信息。配置完成后,资源建模工具自动解析模型信息,并生成对应的XML文档。经过实例验证,该工具能直观体现系统内部设备的互联关系、交互界面友好,生成的文档符合标准规范。然后,本文分析了资源信息的特性,选用关系型数据库进行信息的存储。根据实体模型特征详细设计了各个数据库表,对数据库的操作接口进行了封装,并对资源建模软件的数据库交互功能进行了验证。数据库信息的建立进一步方便了用户查询和组织系统信息。最后,本文研究了STD和IEEE1671.1标准,开发了图形化的测试策略描述环境。在该环境中,用户通过绘制流程图来表达其测试思路,通过引用信号描述标准描述各个测点需求信号的属性。绘制完成后,测试描述工具自动解析测试流程,生成测试描述文件。通过实例检验,文档符合标准规范,工具操作简单、易学易用,降低了测试信息的表述难度,为自动测试程序的自动生成提供了必备条件。(本文来源于《电子科技大学》期刊2016-04-28）
石锐[8]（2016）在《基于SVN的自动回归测试工具的设计与实现》一文中研究指出随着软件行业的不断发展,企业之间的竞争愈演愈烈,要想在众多同类企业的激烈竞争中生存和发展下去,就必须对软件产品的质量提出更高的要求。许多国外的研究机构和企业开发了大量优秀的软件测试工具来进一步提升软件的质量,但是价格都比较昂贵,对于国内的中小型企业来说成本过高。国内在软件回归测试工具方面的研究还不太成熟,其研究内容主要集中在测试用例自动化执行和测试用例约减技术方面,在回归测试的更动影响域分析和测试用例分配过程还需要测试人员的参与,使得回归测试的效率受到限制。针对上述问题及实习公司的工程需要,本文开发了一个自动回归测试工具,对回归测试中的更动影响域分析,测试用例分配和测试结果分析过程实现自动化。本文首先对国内外的软件测试工具进行了详细阐述;然后对软件测试、回归测试、自动化测试和SVN版本控制系统进行研究和分析总结,基于SVN在源代码管理上尤其是在版本回滚和查看历史版本信息方面的优势,提出了一种设计方法。该方法利用SVN命令提取两个版本之间的更动差异信息,进而根据代码与测试用例的映射关系进行测试用例分配,并且在测试用例执行通过后对测试用例覆盖率结果分析来决定回归测试是否结束,不仅能够提高工作效率、避免人工进行影响域分析和测试用例分配的主观性,而且在此引入代码覆盖率代替测试用例通过率来作为回归测试的结束标准可以保证全部代码得到测试;最后,根据提出的基于SVN进行回归测试的设计方法开发了自动回归测试工具,该工具包括更动影响域分析模块,测试用例分配模块和测试结果分析模块,实现了回归测试过程的自动化。自动回归测试工具的测试结果表明该工具能够满足设计需求,应用于回归测试过程中取得了良好的效果,不仅保证了软件回归测试的全面性,而且提高了软件回归测试的效率,节省了大量的人力物力,使测试人员能够将更多的精力投入到回归测试中未覆盖到的代码的分析和测试用例库的维护工作中。(本文来源于《重庆大学》期刊2016-04-01）
秦小凤[9]（2016）在《基于符号执行的自动测试案例生成工具的研究与设计》一文中研究指出软件测试是提高软件可靠性、确保软件质量的重要手段,在软件测试的各类方法中,测试案例占着举足轻重的位置。本文主要针对在软件测试过程中快速地生成高覆盖度的测试案例集进行了研究,涉及到的关键技术包括符号执行技术和满足性模理论,前者在测试案例生成中主要用于实现自动地构造出在被测试的程序中所具有的执行路径,并且其所构造的路径具有无冗余性的特点;后者主要用于为符号执行技术构造的路径生成对应的真实测试案例输入,由于前者构造的路径是无冗余的,因此所生成的测试案例集也是无冗余的,所以在与传统冗余测试案例集相比而言可以在各种覆盖标准中获得更高的覆盖率。下面是四个本文主要的本文的研究和设计实现内容:第一,系统地研究了符号执行的技术背景、发展历史、研究现状、技术原理和面临的问题,对现有的6款动态符号执行工具进行了详细研究,并统计了领域中比较出名的多款动态符号执行工具,并对它们进行了对比分析。第二,对满足性模理论(SMT:Satisfiability Modulo Theories)求解技术进行了研究,总结分析目前使用较为广泛的约束求解器,详细研究了由SMT-LIB组织提供的所有SMT求解器都能够解析的通用语言的语法规则和脚本编写,为后文进行约束求解优化打下理论基础。第叁,对各主流的动态符号执行工具的实现机制和架构进行了总结,为了实现为运行在不同平台的程序自动生成测试案例,设计实现了基于C/S模式的测试案例生成工具,其能够在不影响测试案例生成部分实现的基础上,提供多用户多平台的测试案例生成服务。第四,在第一和第二个研究的基础上,提出了针对路径爆炸问题和约束求解问题的解决方案,针对约束求解,设计实现通用的求解器调用接口,用以方便地扩展和调用不同的求解器,针对路径爆炸问题,设计实现了多种智能搜索策略用以获得高分支覆盖,同时还设计实现了并行机制用以提高测试案例生成工具的效率。根据以上的研究内容,本文最终设计并实现了基于符号执行的自动测试案例生成工具AUTCS,AUTCS能够同时为多个用户提供自动测试案例生成远程服务,能够提供多种智能覆盖标准,并且针对自身架构缺陷和符号执行技术面临的问题实现优化解决方案。(本文来源于《电子科技大学》期刊2016-03-18）
王帅兵[10]（2015）在《一种软件自动测试工具的研究与实现》一文中研究指出科学技术和电子计算机的飞速发展使得现阶段软件规模日益增大、软件应用领域日益扩大、客户需求日益复杂多变。例如,Windows XP操作系统的代码大约有4000万行,这使得错误更可能随时发生。作为软件工程中不可或缺的一个重要环节,软件测试对于确保软件的正确性、完整性、安全性和软件质量方面发挥着重大作用。全球每年因为软件缺陷引起的问题数不胜数,轻则给用户带来使用上的不方便,如浏览器崩溃,重则使用户数据丢失,系统崩溃;而在国防、金融、航天等重要领域,有时候软件缺陷造成的后果将更为严重。因此,必须对编写的程序进行完全充分的测试以确保软件的质量。在软件测试中,测试用例的质量决定了测试的完备性,传统的手工测试主要是由人工设计测试用例,虽然很有针对性且质量很高,但是随着软件规模和复杂性的增大,这种测试方式越来越无法满足现代的大型软件测试需求。因此,各大企业更加关注自动化测试逐渐,而测试用例的设计在自动化测试中一直占据着首要位置,因此测试用例的自动生成同样受到了人们的广泛关注。本文主要的研究内容包含如下5方面:(1)深入研究了软件测试的概念、目标和原则,目前已有的软件测试方法和技术;研究了Python脚本语言和XML技术在软件测试中的应用;深入研究了自动化软件测试的概念、适用范围、测试框架和测试脚本的设计与实施,并对目前不同测试环境中常用的自动化软件测试工具的现状进行了分析,特别对这些工具在测试用例的生成方面进行了分析。(2)研究了常用的测试用例自动生成算法,重点分析了随机法和遗传算法在测试用例自动生成方面的优缺点,提出了在特定应用场景下本文所设计的自动化测试工具所使用的测试用例生成算法。(3)设计了一种软件测试的系统模型,该系统模型主要分为以下叁个模块:源代码扫描及预处理模块、测试用例自动生成模块和测试报告生成模块;最后对设计的软件自动测试工具的整体的功能流程进行了描述。(4)基于上述系统模型,对设计的软件自动测试工具的各个模块进行了功能的实现并详细介绍了各个模块的整体工作流程和算法流程及各个模块之间的的关系。(5)搭建测试环境并以标准的叁角形判断源程序和部分项目源程序为测试对象,对测试结果和测试工具的运行结果进行了分析。(本文来源于《西安电子科技大学》期刊2015-12-01）
自动测试工具论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
面向信号的测试方法是现在自动测试系统的发展方向,信号是面向信号的自动测试系统的关键要素,信号存在于自动测试过程的各个阶段。完整可靠的定义信号对于面向信号的自动测试系统具有至关重要的作用。同时,为了满足自动测试系统在多平台部署的需求,本文在研究IEEE 1641标准的基础上设计实现了一套基于STD标准可跨平台部署的信号建模工具和配套的波形仿真工具。使用该工具可以对测试信号进行精确定义,使得测试信号可以无障碍的在所有符合STD标准的自动测试系统中交换。本文主要阐述了自动测试系统信号建模工具的设计实现方法,该软件不要求用户具备代码式的编程能力,允许用户通过流程图的形式创建符合STD标准的测试信号描述文档。为了让用户验证创建的信号是否满足要求,该软件还附带一个波形仿真工具可以对用户创建的信号进行波形仿真。本文的主要研究内容分为以下部分:(1)提出了一套流程图式UI交互模块的架构,该架构实现了一个简易的流程图模块,使用该模块可以完成流程图式建模操作,允许用户通过拖拽的方式在窗口中创建图元,然后使用鼠标连线设置图元之间的连接关系。这是软件编程实现信号建模工具的基础。(2)在流程图架构的基础上,依据STD标准对BSC信号的定义,针对不同BSC信号的接口和属性特征,实现了STD标准定义中的所有BSC信号图元。使用这些图元可以以流程图的方式构建更加复杂的TSF信号。(3)实现TSF信号波形仿真工具,在载入TSF信号XML描述文档后,根据用户指定的TSF信号属性信息,计算出TSF信号波形,最终将波形显示在波形仿真窗口中。与使用成熟流程图软件二次开发实现图形化建模不同,本文基于Qt提出了一套流程图式UI交互模块的架构,并在此架构的基础上依据IEEE 1641对测试信号的定义设计并实现了信号建模工具,使用本文设计的工具可以方便快速的建模复杂的测试信号,经检验,完全可以满足面向信号的自动测试系统对信号建模的需求。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
自动测试工具论文参考文献
[1].陈植.自动投标工具被禁引发行业忧虑多家互金平台压力测试未雨绸缪[N].21世纪经济报道.2019
[2].杜博.一种跨平台的自动测试系统信号建模工具的设计与实现[D].电子科技大学.2019
[3].李梦琰.自动测试系统资源建模工具的设计及在某ATE中的应用[D].电子科技大学.2019
[4].张俊亮,张维友,李明婕,杨光军.油井自动分层测试开关工具设计及应用[J].石油矿场机械.2018
[5].张一驰.基于C#技术仪控信号点自动测试工具的开发及应用[J].中国新技术新产品.2018
[6].王砺磊,曾霞,林望,陈鑫,杨争峰.ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具[J].系统科学与数学.2017
[7].李平玉.自动测试系统图形化资源建模与测试描述工具的实现[D].电子科技大学.2016
[8].石锐.基于SVN的自动回归测试工具的设计与实现[D].重庆大学.2016
[9].秦小凤.基于符号执行的自动测试案例生成工具的研究与设计[D].电子科技大学.2016
[10].王帅兵.一种软件自动测试工具的研究与实现[D].西安电子科技大学.2015
论文知识图
