导读:本文包含了测试用例模型论文开题报告文献综述及选题提纲参考文献，主要关键词:高阶马尔可夫使用模型,快速轮盘赌,二分查找,相对熵
测试用例模型论文文献综述
赵卫东,李有俊,张丽[1]（2019）在《一种基于高阶Markov使用模型的测试用例自动生成方法》一文中研究指出为了解决基于单纯马尔可夫使用模型测试用例生成不稳定、测试充分性判定不精确的问题,在分析现有测试用例自动生成方法的基础上,提出一种改进的高阶马尔可夫测试模型,并依据此模型,提出改进的基于快速轮盘赌的二分查找测试用例生成方法和基于相对熵的测试充分性判定方法。实践表明,改进后的方法有效地提高了测试用例生成的稳定性和测试充分性判定的精确性,与原有方法比较更适合大规模软件的测试,提高了大规模软件自动化测试的效率。(本文来源于《现代电子技术》期刊2019年06期）
徐逸群[2]（2019）在《基于SysML模型的测试用例自动生成方法研究与应用》一文中研究指出在系统愈加复杂的今天,传统的测试技术效率低下,并且也难以保障系统可靠性。尤其在安全攸关领域,如航空航天,轨道交通等。基于模型的测试技术具有自动化程度高和对系统可靠性保障能力强的特点,能弥补传统测试技术的不足。所以基于模型的测试技术是系统测试的发展方向。SysML的提出推动了基于模型的测试技术的发展。SysML是一种图形化建模语言,能够对复杂系统进行建模。本文基于SysML活动图模型,研究自动化测试技术。首先,本文对SysML活动图进行深入分析,详细了解活动图的结构。设计活动图模块化算法,实现对活动图的自动化分析。设计了活动图测试用例生成方法,该方法中包含活动图测试路径集生成方法和活动图数据集生成方法。活动图测试路径集生成算法能够生成多种复杂结构活动图的测试路径。活动图数据集生成方法能够生成活动图的数据集。结合测试路径和数据得到活动图测试用例。对活动图测试用例集进行分析可知测试用例集满足测试充分性准则。然后,本文定义了活动图测试用例集完备性准则。针对测试用例集中测试用例数量过多的情况,本文设计了活动图测试用例优化方法。该方法从测试路径和数据两个方面入手,设计了测试路径集优化方法和数据集优化方法。通过实验说明,本文设计的测试用例优化方法对测试用例数量能起到很好的优化效果。并且优化后的测试用例集满足测试完备性要求。最后,本文设计并开发了基于SysML模型的自动化测试用例生成工具。该工具自动化程度高,操作简单。能够有效的提升测试效率。通过生成航天飞行器返回舱降落伞系统的测试用例,进一步说明了工具的实用性。(本文来源于《华东师范大学》期刊2019-03-01）
周海旭[3]（2019）在《回归测试用例优先级评估模型研究》一文中研究指出在回归测试设计中,一个核心问题是如何进行测试用例优先级的评估。本文基于回归测试执行覆盖度的概念,提出了一种测试用例优先级的定量评估模型,试图揭示测试用例优先级与资源、价值、风险、成本的关系。(本文来源于《电子技术与软件工程》期刊2019年01期）
孙洁,易明芝,魏洪修[4]（2018）在《色牢度测试用真空腔快速浸润模型》一文中研究指出针对目前纺织品耐水和耐汗渍等色牢度试验在浸润过程中,采用人工法揿压和拨动的方式存在效率低、测试结果一致性差、人为因素对测试结果影响较大等问题,设计出应用于纺织品色牢度测试前处理浸润试验的真空腔设备。介绍了该设备的腔体结构、硬件组成和试验原理。采用该浸润模型进行前处理,对织物的吸水率及色牢度结果进行分析,结果表明,该浸润模型的浸润效率是人工法的3倍,批次试验量可达到60个试样,色牢度试验结果与人工法相差半级以内,能够提高浸润效率,节省人工成本,保证浸润效果,色牢度测试结果稳定性、重现性高。(本文来源于《印染》期刊2018年22期）
杨红,洪玫,屈媛媛[5]（2018）在《基于模型检测技术的变异测试用例生成方法》一文中研究指出为了进行基于模型的软件测试变异分析,文中提出了一种基于模型检测的变异测试用例生成方法。基于模型检测工具UPPAAL的形式化分析与测试框架,首先用符合规范的时间自动机模型描述被测系统;然后基于时间自动机模型的基本结构和语法,对系统模型进行一组变异操作,并模拟实现时可能出现的一些错误;对变异后的模型分别使用UPPAAL Yggdrasil工具,生成一组能覆盖变异区域的测试用例;在系统变异模型上执行生成的测试用例,根据测试执行结果(是否能"杀死"变异体)筛选出一组有效的测试用例。通过实例验证,所提方案生成的测试用例是有效的,且测试用例集变异分数优于现有的基于状态机复制的变异测试用例自动生成方法和基于模型中变换覆盖的变异测试用例生成方法。(本文来源于《计算机科学》期刊2018年S2期）
张传娟[6]（2018）在《基于主题模型的测试用例优先级排序算法研究》一文中研究指出测试用例优先级排序作为一种高效实用回归测试技术,通常以测试用例覆盖度作为优先级排序量化指标,忽略了测试用例的其他测试性能。针对该问题,提出了基于主题模型测试用例优先级排序算法。通过对测试用例优先级进行量化,建立了优先级排序测试指标模型来表征算法差距,评估得到结论将有助于主题模型测试用例在使用优先级排序算法时达到最优化测试目的。实验结果表明:采用优先级排序算法的测试用例集能在测试过程中以较短时间发现更多错误,有效地提高了回归测试检错效率。(本文来源于《大庆师范学院学报》期刊2018年06期）
申珅,党向盈[7]（2018）在《基于Markov模型的Web服务软件测试用例生成》一文中研究指出软件测试是保证Web服务软件质量的重要技术之一。变异测试是一种面向缺陷的测试技术,变异测试用例生成效率将影响Web服务测试的效率和成本。该文针对Web服务软件,基于Markov模型高效生成变异测试用例。首先,随机生成一定样本容量的测试数据,针对每一个合约变异体,基于弱变异测试准则,执行Web服务方法及其变异体,根据合约变异预言来判断变异体是否被杀死;然后基于Markov链预测模型,计算变异体之间的关联度;再根据变异体之间关联度,生成变异体序列,即与其他变异体关联度大的变异体排在序列的前面;最后,采用遗传算法,依次序列顺序,生成杀死合约变异体的测试用例。(本文来源于《电脑知识与技术》期刊2018年28期）
蔡峰,周毅,陈阳[8]（2018）在《基于MBD模型自动生成测试用例的软件测试方法》一文中研究指出在安全关键软件领域应用基于模型的开发技术时,存在着软件测试充分性的问题。提出了一种基于MBD模型自动生成测试用例、对航空发动机控制软件进行测试的新方法。通过使用MathWorks提供的自动生成测试用例工具箱(SLDV),基于FADEC控制软件的Simulink模型,自动生成满足控制软件模型MC/DC覆盖率100%的测试用例,并在Cppunit测试框架下执行测试用例;通过对比模型输出和测试输出来发现被测对象的问题,确保软件代码与模型的一致性。项目实践表明,该测试方法是软件集成测试的有益补充,提升了软件测试的充分性。(本文来源于《测控技术》期刊2018年09期）
孙瑶[9]（2018）在《基于UML活动图模型的测试用例自动生成方法的研究及实现》一文中研究指出当今软件工程发展过程中,软件测试在每个阶段占了越来越重要的作用,而测试用例又作为测试阶段最核心的内容,是软件质量的重要保证。怎样明确表达系统需求,并有效地测试系统,受到了测试研究人员的共同关注。基于UML模型的软件测试目的是通过使用UML模型图对系统进行建模,用以指导测试,验证软件是否符合需求设计。为了提高测试效率、提高测试工作的自动化程度,保证软件测试充分性,同时也为了使相关人员更明确的理解系统,要选择合适的UML模型图来对系统进行建模。在分析了各个UML模型图的优势与不足之后,本文选择以用例图为指导,基于活动图模型对系统进行建模,同时对活动图建模方式进行优化。在建模完成后,将活动图转化为有向图,使用图论中的遍历算法,对有向图进行遍历生成测试场景,同时提出了将双层遍历方式应用在软件系统的策略,很好的将并发模块的活动进行有序生成,对于循环模块,限定循环次数,保证对循环的有效覆盖,并且缩短了遍历时间。对于并发模块的第二层遍历,本文将深度优先遍历和随机过滤生成算法进行比较,从产生的数据结果中能够清晰的看到更为优化的遍历方式。本文重点改进了活动图建模的方式和使用双层遍历生成测试路径,解决并发模块过大生成测试用例繁杂的问题。最后,本文对测试用例自动生成系统进行了实现,使用了 starUML工具进行建模。对于UML建模方法的使用和测试用例生成算法的研究,本文最后进行了系统实现,结合待测邮箱系统,生成可执行的测试用例,与人工编写测试用例相比,提高了测试的充分性覆盖,对公司的邮箱产品进行测试,提高测试工作的效率。(本文来源于《北京交通大学》期刊2018-06-01）
李勇华,张楠[10]（2018）在《基于模型知识库的程序化测试用例设计方法》一文中研究指出本文针对第叁方软件测试服务的特点,分析了测试用例的基本要素和设计过程,提出了一种基于模型知识库的程序化测试用例设计方法,并讨论了其实现的重点问题,描述了目前的实现方式和辅助工具并给出了具体应用案例。该设计可以大幅提升测试用例设计效率并同时一定程度上降低设计难度。(本文来源于《电子技术与软件工程》期刊2018年10期）
测试用例模型论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
在系统愈加复杂的今天,传统的测试技术效率低下,并且也难以保障系统可靠性。尤其在安全攸关领域,如航空航天,轨道交通等。基于模型的测试技术具有自动化程度高和对系统可靠性保障能力强的特点,能弥补传统测试技术的不足。所以基于模型的测试技术是系统测试的发展方向。SysML的提出推动了基于模型的测试技术的发展。SysML是一种图形化建模语言,能够对复杂系统进行建模。本文基于SysML活动图模型,研究自动化测试技术。首先,本文对SysML活动图进行深入分析,详细了解活动图的结构。设计活动图模块化算法,实现对活动图的自动化分析。设计了活动图测试用例生成方法,该方法中包含活动图测试路径集生成方法和活动图数据集生成方法。活动图测试路径集生成算法能够生成多种复杂结构活动图的测试路径。活动图数据集生成方法能够生成活动图的数据集。结合测试路径和数据得到活动图测试用例。对活动图测试用例集进行分析可知测试用例集满足测试充分性准则。然后,本文定义了活动图测试用例集完备性准则。针对测试用例集中测试用例数量过多的情况,本文设计了活动图测试用例优化方法。该方法从测试路径和数据两个方面入手,设计了测试路径集优化方法和数据集优化方法。通过实验说明,本文设计的测试用例优化方法对测试用例数量能起到很好的优化效果。并且优化后的测试用例集满足测试完备性要求。最后,本文设计并开发了基于SysML模型的自动化测试用例生成工具。该工具自动化程度高,操作简单。能够有效的提升测试效率。通过生成航天飞行器返回舱降落伞系统的测试用例,进一步说明了工具的实用性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
测试用例模型论文参考文献
[1].赵卫东,李有俊,张丽.一种基于高阶Markov使用模型的测试用例自动生成方法[J].现代电子技术.2019
[2].徐逸群.基于SysML模型的测试用例自动生成方法研究与应用[D].华东师范大学.2019
[3].周海旭.回归测试用例优先级评估模型研究[J].电子技术与软件工程.2019
[4].孙洁,易明芝,魏洪修.色牢度测试用真空腔快速浸润模型[J].印染.2018
[5].杨红,洪玫,屈媛媛.基于模型检测技术的变异测试用例生成方法[J].计算机科学.2018
[6].张传娟.基于主题模型的测试用例优先级排序算法研究[J].大庆师范学院学报.2018
[7].申珅,党向盈.基于Markov模型的Web服务软件测试用例生成[J].电脑知识与技术.2018
[8].蔡峰,周毅,陈阳.基于MBD模型自动生成测试用例的软件测试方法[J].测控技术.2018
[9].孙瑶.基于UML活动图模型的测试用例自动生成方法的研究及实现[D].北京交通大学.2018
[10].李勇华,张楠.基于模型知识库的程序化测试用例设计方法[J].电子技术与软件工程.2018
标签：高阶马尔可夫使用模型; 快速轮盘赌; 二分查找; 相对熵;