导读:本文包含了约束测试论文开题报告文献综述及选题提纲参考文献，主要关键词:Web服务,规约测试,测试数据生成,Z3
约束测试论文文献综述
程浩,周辉,钱巨[1]（2019）在《约束覆盖导向的Web服务测试数据生成》一文中研究指出Web服务广泛应用于复杂信息系统的构建.为了保证Web服务的质量,目前已有大量的工作致力于Web服务测试技术的研究,其中,基于规约的测试已被证明是有效的,且易于使用,但现有的基于规约的Web服务测试方法很难生成高覆盖率的测试数据,也不能为具有复杂关联关系的变量生成测试数据.为此,针对Web服务的测试数据生成问题,本文提出了一种基于规约约束的新方法,使用一阶逻辑公式表示服务输入参数之间的约束,可以处理不同参数之间各种复杂的关联关系,并使用Z3约束求解器为服务输入自动生成数据;然后,提出了几种规约约束级测试覆盖准则,并以此为基础提出了新的Web服务测试数据生成算法.最后,通过测试两个典型的Web服务,证明本文提出的方法能够生成覆盖率较高的测试集,并且具有较高的生成效率.(本文来源于《小型微型计算机系统》期刊2019年10期）
郭君,郝敏,张凯,秦晓辉[2]（2019）在《约束阻尼材料性能测试试验方案分析研究》一文中研究指出针对阻尼材料性能测试的几种试验方案的准确、合理性进行有限元仿真研究,确定最优试验方案,并对最优方案进行适当改进研究。本文参考相关阻尼材料性能测试试验的国家标准,依据对阻尼材料损耗因子测试试验方案的试验流程,对二种试验方案进行有限元分析研究,包括试验系统结构模态、谐响应分析等。通过对比分析,结合实际试验的可行性,确定最优方案,并对该方案中存在的缺陷进行改进研究。本研究得出了一种原理准确、工程可行和高效的阻尼材料损耗因子的试验测试方案,具有一定工程实用和推广价值。(本文来源于《第十七届船舶水下噪声学术讨论会论文集》期刊2019-08-21）
盛云龙,魏长安,刘玉奇,姜守达[3]（2019）在《时序约束条件下序列测试建模方法》一文中研究指出时序约束的描述是测试序列生成前必须面对的问题,但是目前还没有完善的方法能够对时序约束进行描述,为此提出了一种时序约束序列测试建模方法。该建模方法中提出了状态转移允许区间,使得可以对转移发生时前一个状态的连续出现次数进行描述。针对目前欠缺能够有效评价测试序列目标覆盖程度的方法的问题,通过引入核函数来评价测试序列的目标覆盖程度对该问题给予了解决。最后利用提出的建模方法对实例进行建模,验证了建模方法的有效性和可行性。(本文来源于《仪器仪表学报》期刊2019年06期）
Hilary,Ackah-Arthur[4]（2019）在《基于约束和划分策略的自适应随机测试方法改进的研究》一文中研究指出软件测试的一个关键目标是以更低的成本发现导致软件失败的程序错误。测试中需要识别或生成一系列测试用例,这些测试用例可以通过尽可能少的测试执行以更高效地检测错误。随机测试(Random Testing,RT)是一种基本的软件测试技术,它根据随机分布挑选测试用例,该技术现已广泛应用于许多实际应用中以评估软件的可靠性。尽管RT因其优点得到了广泛的应用,但一些研究人员并不看好其故障检测效果。研究人员指出,使得随机测试输入在整个输入域中实现均匀分布状态,有助于提高RT的故障检测效果。为了提高传统RT的故障检测能力,将测试用例均匀分布在整个输入域中以提高测试方法的故障检测能力,自适应随机测试(Adaptive Random Testing,ART)方法应运而生。ART方法包含一系列基于RT的测试方法以更快地发现故障,并利用已执行且未发现故障的测试用例的位置信息产生均匀分布地随机测试输入。为了进一步改进传统的RT,一些学者多年来对ART进行研究且采用不同的方法来实现测试用例的均匀分布。基于ART原理的测试开销是巨大的,甚至可能超过执行更少测试所带来的优势。于是,研究人员提出了几种具有不同策略的ART方法,其目的是在保持或提高ART的高故障检测能力的同时,大大降低ART的时间复杂度。基于此,研究并改进致力于提高ART测试有效性及效率的测试方法是至关重要的。本文的主要研究内容阐述如下。1.阐述了软件测试的背景并描述引入ART方法的背景和动机,对ART技术进行了初步介绍。对现有的几种ART方法进行分类和评估,重点分析不同ART方法的研究动机、研究策略和研究结果,进一步描述在ART实证评价中所采用的措施和策略。系统化地分析并回顾了现有的一些ART研究理论,重点关注了其发展趋势和贡献,总结了多年来研究对ART方法改进的贡献。研究使用了109篇发表在期刊、研讨会和会议记录中的高质量ART论文。从这些论文中,作者确定了五个不同的ART研究类别和60种不同的ART研究思路和方法。本研究的结论是:虽然ART领域对其理论和方法的研究相对较多,但尚不成熟;还需设计不同的策略使ART在不同的测试场景中更具成本效益和适用性,从而对行业产生影响并应用于工业测试实践。2.提出了一种新的基于排除区域的ART方法即CE-ART(Candidate-Exclusion ART),该方法能有效降低计算成本和测试开销。通过在所有候选测试用例周围定义排除区域,将距离限制在每个候选测试用例与其排除区域内已执行测试用例之间进行计算,从而降低FSCS-ART(Fixed-Sized-Candidate-Set ART)算法的高测试开销。如果候选输入的排除区域为空,该方法直接选择该输入作为下一个测试用例。另一方面,如果所有的候选测试用例的排除区域都不为空,那么距离其最近的已执行测试用例最远的候选测试用例将被挑选为下一个测试用例。实验结果表明,提出的基于排除区域的ART方法不仅改进了RT,实现了与其他ART方法类似的故障检测效果,同时显着降低了计算开销。3.提出了一种新的ART方法ART-ORB(ART by Orthogonal Recursive Bisection with Restriction),该方法集成了分区和排除策略,探索了输入域重复几何等分与限制区域相结合的优点以实现均匀分布测试输入。ART-ORB结合了两种ART方法变体FSCS-ART和ART-B(ART by Bisection)的优点,增强测试用例的分布并减少计算开销。通过正交划分输入域的区域来增强测试用例的分布均匀性,并使用假想偏移量的概念进一步限制测试用例之间相近的可能性。该方法在最大子区域内生成一组随机的候选测试用例,并定义该最大子区域周围的假想偏移量,选择距离已执行测试用例最远的候选测试用例作为下一个测试用例,这些已执行测试用例可以在区域内和假想偏移区域内找到。实验结果表明,在使用较少的测试执行来发现故障方面,ART-ORB的测试效果比RT更好。与其他ART方法相比,ART-ORB具有较高的性能,能有效减少所需的测试执行用例,但可能会导致较低的测试输入挑选开销,特别是在高维输入空间中。研究表明,ART-ORB是一种较好的测试方法,特别是在测试输入执行开销较大的情况下。4.提出了一种新的ART方法ART-ORBO(ART by Orthogonal Recursive Bisection with Imaginary Offsets),该方法也采用输入域的重复几何二分法结合想象偏移量的概念。ARTORBO结合了两种ART方法变体的优点,增强了测试用例的分布,减少了计算开销。实验结果表明,ART-ORBO的测试效果优于RT方法,特别是在高维输入域中具有比其他ART方法更好的故障检测效果,并能显着提高测试效率。研究结果表明,该方法在大部分测试场景下能替代RT方法,特别是在执行测试输入成本较高的情况下,也可以很好地替代需要其他ART方法生成测试用例的测试场景。综上所述,本文为ART的理论研究及测试实践提供了重要的研究参考,同时提出了叁种新的ART方法,它们采用约束和划分策略来提高ART的测试效率和效果。(本文来源于《江苏大学》期刊2019-06-01）
李昌建,钱巨,程浩,周辉[5]（2019）在《基于约束的服务化软件测试系统》一文中研究指出面向服务的软件体系结构近年来不仅在民用领域得到广泛应用,也越来越多地应用于军用装备软件系统研制。服务化软件的测试技术得到了越来越多的关注。传统的服务化软件测试工具大多关注于测试流程的自动化,在测试用例的自动生成等方面,还远不够成熟。现有测试技术和工具尤其难以表达真实应用中的业务逻辑规则,给生成高质量的测试带来许多困难。鉴于此,研发了一款针对服务化系统的软件测试原型工具。该工具运用一阶逻辑公式表达业务逻辑约束,基于Z3 SMT约束求解器生成测试用例、进行故障注入等,使得测试数据的生成更契合待测软件业务特征,为服务化软件的测试实践提供了更有力支持。(本文来源于《计算技术与自动化》期刊2019年01期）
孙溢,阳小华,刘杰,余童兰,吴志强[6]（2019）在《基于布尔表达式约束的测试用例生成技术》一文中研究指出布尔表达式约束在软件规格说明和程序中广泛存在,这些约束可作为软件系统的模型,成为测试用例生成依据。本文调研分析基于布尔表达式约束的测试用例生成方法,主要分为基于约束语法的测试和基于约束语义的测试。归纳总结基于约束语法测试的各种故障类型和测试策略,并比较各种测试策略的适用情形和故障检测能力,也对基于约束语义测试的各种约束获取和求解方法进行性能分析,并介绍了典型工具。最后对未来的研究发展进行展望。(本文来源于《计算机与现代化》期刊2019年01期）
李哲锋,李振瑞,邓魏,青龙[7]（2019）在《应用中央加振方法测试杉木的振动特性(Ⅱ):非约束制振形变梁的振声学分析》一文中研究指出为了继续探究木材受力变形后振动性能的变化规律,对以杉木为基材的非约束型制振梁弯曲定型,并应用中央加振的方法测定其声学振动性能。分析了弯曲变形程度与材料的反共振频率、损耗角正切等物理量的变化关系。结果表明:杉木弯曲形变对材料的反共振频率影响较小,而对损耗角正切的影响则有一定程度的增大。损耗角正切与弯曲形变量成比例关系变化,且受拉伸变形的影响程度较大。由制振材料形成的阻尼结构层在弯曲的基材层外侧时的损耗角正切较小,此结构适合于设计和制作低频乐器的弯曲部件。(本文来源于《东北林业大学学报》期刊2019年04期）
陈露,陈淮莉[8]（2018）在《基于约束规划的整车测试排程问题研究》一文中研究指出为了解决汽车行业在汽车量产之前新研发样车的测试问题,采用约束规划(constraint programming)来解决样车测试排程(scheduling)问题,以最大完工时间为主要目标。原型的数量为开始优化程序之前必须指定的参数,最后利用某汽车制造商给出的实际数据为输入数据,针对参数的不同值,解决这个单个目标优化问题,以确定原型数量和相应的完工时间之间的关系。试验表明即使是一百多个或五百多个原型的大规模问题,在合理的计算时间内也可以找到最佳解决方案或至少一个好的可行解决方案。(本文来源于《制造业自动化》期刊2018年10期）
弄庆鹏[9]（2018）在《测试仪器功能约束的参数化设计方法研究》一文中研究指出计算机技术在测试仪器领域中的应用和测试仪器自动化程度不断提升,测试仪器系统逐步层化,演变成硬件层、驱动层、以及应用层的叁层结构。传统测试仪器自下而上的单向性设计方法已无法满足结构层化的测试仪器快速开发要求,因此,本论文基于测试仪器的模块化、标准化提出了一种测试仪器功能约束的参数化设计方法,该设计方法使得测试仪器开发能在不同层面并行进行,缩短开发周期,同时保证测试仪器系统软硬件的兼容性,论文的主要研究内容如下:(1)测试仪器功能约束的参数化设计方法总体方案的研究。为了提出测试仪器功能约束的参数化设计方法,对测试仪器驱动软件标准化设计、硬件功能及其参数设计进行了研究,并对测试仪器功能约束的参数化设计方法的实现平台进行了构想,制定了该研究方法总体框架。(2)测试仪器驱动接口功能约束的参数化设计的研究。借鉴了 IVI仪器标准化规范对驱动接口的命名、传递参数形式、接口返回值叁部分进行了参数化,搭建了测试仪器驱动接口功能约束的参数化设计模型,实现了测试仪器驱动接口设计过程的参数化。(3)测试仪器硬件功能约束的参数化设计的研究。根据功能的不同对常用的测试仪器的进行了分类,并对每一类硬件功能及其关键参数设计提取,根据测试仪器分类和硬件功能提取结果搭建了功能硬件的参数化设计模型,实现了测试仪器硬件设计过程的参数化。(4)测试仪器功能约束的参数化设计方法实现平台的设计。根据参数化方法的需求和测试仪器设计交互过程的特点,采用了 Java编程语言、Swing组件、SQliste数据库技术以及iText的PDF编辑技术对设计平台的界面、资源库以及约束性设计文档编辑器以及参数化设计模型进行了实现,最终完成了论文研究方法设计平台的实现,为本论文研究方法提供了实现的载体。最后,通过测试仪器功能约束的参数化设计方法及其实现平台,对DAQ类测试仪器实例进行了驱动接口和硬件功能约束的参数化设计,并生成了相应的约束性设计文档。根据该约束性设计文档对测试仪器实例的驱动接口和硬件原理图进行了实现,验证了论文提出的测试仪器约束的参数化设计方法的有效性。(本文来源于《浙江大学》期刊2018-06-01）
汪加伟[10]（2018）在《功耗约束下的叁维芯片测试成本优化方法研究》一文中研究指出随着叁维芯片制造技术的发展,芯片上的晶体管数量急剧增加,功能也越来越复杂,叁维芯片的测试面临严峻的挑战。测试时间长与测试数据量大是叁维芯片测试所面临的主要问题,因此,研究安全并且快速的芯片测试方法对降低芯片的测试成本尤为重要。本文从功耗安全的角度出发,对叁维芯片的测试调度方法和测试数据压缩方法两个方面展开了研究,主要工作如下:提出了一种基于分时复用的协同优化各层之间、层与核之间测试资源的调度方法。首先,在叁维芯片各层配置移位寄存器,通过移位寄存器组对输入数据的控制,实现对各层之间以及同一层的各个芯核之间的测试频率的合理划分,使位于不同位置的芯核能够被并行测试;其次,使用贪心算法优化寄存器的分配,减少芯核并行测试的空闲周期;最后,采用一种离散粒子群优化算法求出最优叁维堆迭的布图,以便于充分利用硅通孔的传输潜力,提高并行测试效率,减少测试时间。另外,时分复用的方法可以有效降低因为局部过热而产生的失效风险。实验结果表明,优化后的整个测试访问机制利用率有所升高,并且测试时间获得了减少,降低了测试成本。在叁态信号的基础上,提出了一种输入精简与相容压缩相结合的多重数据压缩方法。该方法先利用输入精简技术对原测试集进行部分输入精简,以减少测试集中的确定位数量;再将测试向量按多扫描划分为子向量后,利用叁态信号对测试集进行部分相容和移位相容压缩编码,将测试向量用更短的码字表示;最后引入了叁态检测电路并设计二维以及叁维的解压结构对压缩后的数据快速解码。实验结果表明,所提出的方法在没有较高面积开销和较长解码时间的情况下能取得了较好压缩率,并且获得了较低的移位功耗。(本文来源于《合肥工业大学》期刊2018-04-01）
约束测试论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
针对阻尼材料性能测试的几种试验方案的准确、合理性进行有限元仿真研究,确定最优试验方案,并对最优方案进行适当改进研究。本文参考相关阻尼材料性能测试试验的国家标准,依据对阻尼材料损耗因子测试试验方案的试验流程,对二种试验方案进行有限元分析研究,包括试验系统结构模态、谐响应分析等。通过对比分析,结合实际试验的可行性,确定最优方案,并对该方案中存在的缺陷进行改进研究。本研究得出了一种原理准确、工程可行和高效的阻尼材料损耗因子的试验测试方案,具有一定工程实用和推广价值。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
约束测试论文参考文献
[1].程浩,周辉,钱巨.约束覆盖导向的Web服务测试数据生成[J].小型微型计算机系统.2019
[2].郭君,郝敏,张凯,秦晓辉.约束阻尼材料性能测试试验方案分析研究[C].第十七届船舶水下噪声学术讨论会论文集.2019
[3].盛云龙,魏长安,刘玉奇,姜守达.时序约束条件下序列测试建模方法[J].仪器仪表学报.2019
[4].Hilary,Ackah-Arthur.基于约束和划分策略的自适应随机测试方法改进的研究[D].江苏大学.2019
[5].李昌建,钱巨,程浩,周辉.基于约束的服务化软件测试系统[J].计算技术与自动化.2019
[6].孙溢,阳小华,刘杰,余童兰,吴志强.基于布尔表达式约束的测试用例生成技术[J].计算机与现代化.2019
[7].李哲锋,李振瑞,邓魏,青龙.应用中央加振方法测试杉木的振动特性(Ⅱ):非约束制振形变梁的振声学分析[J].东北林业大学学报.2019
[8].陈露,陈淮莉.基于约束规划的整车测试排程问题研究[J].制造业自动化.2018
[9].弄庆鹏.测试仪器功能约束的参数化设计方法研究[D].浙江大学.2018
[10].汪加伟.功耗约束下的叁维芯片测试成本优化方法研究[D].合肥工业大学.2018