导读:本文包含了生成工具论文开题报告文献综述及选题提纲参考文献，主要关键词:软件测试,接口测试,测试数据生成工具
生成工具论文文献综述
杨梦萌,刘梦[1]（2019）在《接口测试数据生成工具的设计与实现》一文中研究指出软件接口测试是软件测试的一个重要方面。本文通过接口测试工作的实践,探讨研究了接口测试数据生成工具的设计与实现。该工具的研制有效地减少了软件测试人员接口测试的工作量,提高了接口测试工作的效率。(本文来源于《科技经济导刊》期刊2019年28期）
宋晓秋,彭树敏[2]（2019）在《两两组合测试用例生成工具的比较实验》一文中研究指出为在两两组合测试中尽可能生成最少的用例问题,选取28个实验算例,对5个组合测试用例生成工具Allpairs、Jenny、PICT、Acts、ESPT进行实验分析。实验结果表明,两两组合测试用例生成工具ESPT在28个实验算例中取得了25个最优,其中,10个为独立最优、15个为并列最优,在5个组合测试用例生成工具中,以生成尽可能少的测试用例满足两两覆盖为目的,ESPT具有较为明显的优势。(本文来源于《计算机工程与设计》期刊2019年09期）
严宏君,左天予[3]（2019）在《软件测试过程管理及文档生成工具设计与实现》一文中研究指出主要介绍了软件测试过程管理及文档生成工具的设计与实现,讨论了该工具的软件体系结构和模型设计、软件功能过程设计以及主要功能实现。结合实际工作,探讨了如何应用软件测试过程管理与文档生成工具,并分析了该工具的应用推广前景。(本文来源于《电脑编程技巧与维护》期刊2019年07期）
谢灵晋[4]（2019）在《基于刚性折迭的可展开面造型生成方法与工具研究》一文中研究指出当今时代,随着数字化的进程与相关技术的蓬勃发展,非线性形式的建筑成为当代建筑中的主要趋势。这种新的趋势与设计思想得益于上世纪70年代的计算机技术的兴起,随着解构主义的建筑思潮逐渐登上历史舞台,越来越多复杂形态的建筑涌现而来,其中以曲面形态的建筑最为人所知。可展开面是诸多曲面中的很小一类,它也是本文主要研究对象。可展开面最开始在数学几何学领域研究颇深。随着计算机技术的发展,数字建模与图形学技术日益成熟,可展开面逐渐在计算机图形学中得到广泛运用。随着工业化进程,在工业设计与机械制造中,学者和设计师们也意识到可展开面是一种十分良好的数学模型。可展开面逐渐在船舶设计、机械工程、服装设计等领域发展成熟,并且其有着一系列相当成熟的建模工具或软件。随着在建筑学界弗兰克·盖里、汉斯·霍莱茵等人对这些软件的运用,可展开面顺势进入了建筑设计的领域中来。但是这些设计工具对于建筑设计师来说学习成本巨大,而且有着一定的局限性,所以对于可展开面的建模对于建筑设计师所常用的软件来说是一块短板。所以本文研究将以可展开面造型生成为核心,梳理并设计出适合建筑设计师使用的建模方法与工具,从而填补当下在建筑学中的研究空白。本文第一章主要介绍了本次研究对象的背景以及研究的目的及意义,同时对研究方法进行了合理的选择;第二章主要以国内外的文献为依托,对可展开面在数学、计算机图形学、机械工程学与建筑学四个领域中的研究进行综述;第叁章从几何原理和相关理论概念对可展开面进行阐述;本文第四章至第七章针对可展开面的叁种基本形造型生成方法进行研究,第八章则是对前文存在的问题和缺陷进行优化与深入设计,同时对前文的工具设计也进行的优化和改进;第九章是对本次研究的总结与展望,并提出了对未来进一步研究的展望。(本文来源于《南京大学》期刊2019-05-28）
刘承威,杨志斌,周勇,袁胜浩,许金淼[5]（2019）在《面向限定自然语言需求的AADL自动生成工具》一文中研究指出在航空、航天、交通、能源等安全关键领域中,软件的失效可能导致系统处于危险状态,从而导致财产损失、环境破坏甚至人员伤亡,如何保障这类软件的可靠性和安全性一直是学术界和工业界共同面临的难题.近年来,形式化模型驱动的安全关键软件设计与验证方法逐渐受到重视,并被认为是切实可行的重要手段.然而,形式化模型驱动开发方法的生命周期一般较少涉及需求阶段,主要原因是当前工业界的软件需求主要通过自然语言文本描述.而安全关键软件引起严重事故的问题链的最上端原因往往又是软件需求尤其是安全性需求的问题. AADL(Architecture Analysis&Design Language)是一种广泛应用于安全关键软件领域的建模语言标准.本文针对自然语言需求和AADL模型驱动开发方法之间还存在鸿沟的问题,研究基于限定自然语言的安全关键软件需求建模及AADL模型自动生成方法.首先,提出一种基于限定自然语言的需求规约方法,通过结构化的需求组织方式及受限的自然语言以减少需求表达中存在的二义性.其次,给出限定自然语言需求到AADL模型的自动转换方法.此外,本文给出一种结构化的验证性质描述模板,并自动转换到AADL组合验证附件AGREE(Assume Guarantee REasoning Environment) Annex,从而支持对AADL模型进行形式化验证.最后,在AADL开源工具环境OSATE中实现了原型工具,并基于航天导航制导控制子系统进行案例分析.(本文来源于《小型微型计算机系统》期刊2019年05期）
刘剑,杜文艳,刘飞[6]（2019）在《核电项目DCS工厂测试用例自动化生成工具》一文中研究指出为了确保DCS能满足核电厂安全运行的要求,供货方采用工厂测试的形式对系统设备的功能和性能进行验证,提高系统的可用行和可靠性。但是大量的测试用例编制需要很多人工时,并且存在多人编制风格不统一,不能保证正确率等缺点。本文对此通过对测试用例进行总结,以及对设计输入文件设备逻辑中进行分析,编制了相关自动化用例模板,只需要填写数据总表,就可以自动化生成测试用例,大大提高工作效率。(本文来源于《数字技术与应用》期刊2019年04期）
杨志斌,袁胜浩,谢健,周勇,陈哲[7]（2019）在《一种同步语言多线程代码自动生成工具》一文中研究指出随着安全关键系统对计算性能要求的日趋提高,能够提供更强计算能力而又减少电子设备的体积、重量和功耗的多核处理器将在安全关键领域得到广泛应用.同步语言能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模和验证.目前,同步语言SIGNAL编译器主要支持串行代码生成,较少关注多线程代码生成.提出一种同步语言SIGNAL多线程代码生成工具.首先将SIGNAL程序转换为经过时钟演算的S-CGA中间程序;之后将S-CGA中间程序转换为时钟数据依赖图以分析依赖关系;然后对时钟数据依赖图进行拓扑排序划分,并针对划分结果提出优化算法和基于流水线方式的任务划分方法;最后将划分结果转换为虚拟多线程结构并进一步生成可执行多线程C/Java代码.通过在多核处理器上的实验,验证了所提方法的有效性.(本文来源于《软件学报》期刊2019年07期）
毛一砚,江海凡,孙健华,丁国富[8]（2019）在《5轴数控工具磨床砂轮扫掠体生成方法》一文中研究指出为解决5轴数控工具磨床磨削仿真中砂轮扫掠体生成问题,提出了一种针对常见标准砂轮的通用扫掠体生成方法。该方法对常见标准砂轮通用模型进行了简化定义,并给出了其几何模型参数表达式;再通过对砂轮与棒料相对运动进行基于加工坐标系的运动转化,结合包络理论,给出了标准常见砂轮通用模型扫掠体临界切点的求解方法;分析所求得的临界切点,对其分类并进行砂轮扫掠体包络面的形体构造,最终生成了砂轮扫掠体的空间模型;最后通过一个典型磨削加工实例,验证了砂轮扫掠体生成算法的正确性及有效性。该方法能在数控代码驱动下,实现了对砂轮扫掠体的快速造型,在减少计算量的同时保证造型的准确性。(本文来源于《组合机床与自动化加工技术》期刊2019年03期）
杨鑫,Junjie,Wang,Bihuan,Chen,Lei,Wei,Yang,Liu[9]（2018）在《Skyfire:一种数据驱动的种子生成工具》一文中研究指出程序深层次的漏洞一般隐藏在程序执行阶段,而对于自动化的模糊测试(Fuzzing)来说很难触发该类漏洞。论文"Skyfire:Data-Driven Seed Generation for Fuzzing"提出了一种数据驱动的种子生成方法——Skyfire。Skyfire通过从大量的已知样本中学习而生成覆盖良好的种子作为Fuzzing的输入对处理高度结构化输入的程序进行测试。Skyfire接收输入样本集合和文法,通过自动化学习PCSG(Probabilistic context-sensitive grammar,一种带概(本文来源于《中国教育网络》期刊2018年11期）
李哲帅,周文华,聂飞[10]（2018）在《基于模型的HEX自动生成工具的开发与应用》一文中研究指出针对手动生成HEX文件耗时耗力、易出错和数据管理繁琐等问题,对编译链接原理进行了研究。对变量地址更新方法和数据管理方式进行了归纳分析,利用m脚本设计开发了HEX自动生成工具,完成了控制模型数据管理,实现了Simulink控制模型一键运行并自动生成HEX文件及A2L文件,生成的HEX文件可直接下载至单片机运行,最后通过发动机台架试验,充分验证了生成HEX文件的正确性和可靠性。试验结果表明:通过该工具链开发的高压共轨控制策略代码准确无误,能够实现发动机在各工况下的正常运行;HEX自动生成工具简化了基于模型的ECU开发流程,提高了开发效率,降低了开发成本。(本文来源于《机电工程》期刊2018年08期）
生成工具论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
为在两两组合测试中尽可能生成最少的用例问题,选取28个实验算例,对5个组合测试用例生成工具Allpairs、Jenny、PICT、Acts、ESPT进行实验分析。实验结果表明,两两组合测试用例生成工具ESPT在28个实验算例中取得了25个最优,其中,10个为独立最优、15个为并列最优,在5个组合测试用例生成工具中,以生成尽可能少的测试用例满足两两覆盖为目的,ESPT具有较为明显的优势。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
生成工具论文参考文献
[1].杨梦萌,刘梦.接口测试数据生成工具的设计与实现[J].科技经济导刊.2019
[2].宋晓秋,彭树敏.两两组合测试用例生成工具的比较实验[J].计算机工程与设计.2019
[3].严宏君,左天予.软件测试过程管理及文档生成工具设计与实现[J].电脑编程技巧与维护.2019
[4].谢灵晋.基于刚性折迭的可展开面造型生成方法与工具研究[D].南京大学.2019
[5].刘承威,杨志斌,周勇,袁胜浩,许金淼.面向限定自然语言需求的AADL自动生成工具[J].小型微型计算机系统.2019
[6].刘剑,杜文艳,刘飞.核电项目DCS工厂测试用例自动化生成工具[J].数字技术与应用.2019
[7].杨志斌,袁胜浩,谢健,周勇,陈哲.一种同步语言多线程代码自动生成工具[J].软件学报.2019
[8].毛一砚,江海凡,孙健华,丁国富.5轴数控工具磨床砂轮扫掠体生成方法[J].组合机床与自动化加工技术.2019
[9].杨鑫,Junjie,Wang,Bihuan,Chen,Lei,Wei,Yang,Liu.Skyfire:一种数据驱动的种子生成工具[J].中国教育网络.2018
[10].李哲帅,周文华,聂飞.基于模型的HEX自动生成工具的开发与应用[J].机电工程.2018