导读:本文包含了测试序列论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:测试,序列,算法,软件,粒子,梦境,自动机。
测试序列论文文献综述
刘艳平,李海浩[1]（2019）在《基于序列图和状态图的软件测试用例生成方法》一文中研究指出为提高软件特别是复杂软件的测试用例的设计效率和充分性,提出了一种基于序列图和状态图关联关系生成测试用例的方法。与一般的基于单一UML图生成测试用例的方面相比,该方法结合了UML序列图和状态图,首先通过UML序列图对软件系统的不同对象的消息交互序列建模,根据消息序列生成消息迁移路径,然后通过UML状态图对单一对象的状态迁移分别建模,建立对象接收消息时的初始状态和发送消息时的终止状态之间的迁移关系,并连接前后消息,形成包含序列图消息序列和状态图迁移关系的组合路径,最后根据组合路径生成测试用例。实例表明,该方法可以有效发现软件在处理多对象交互情景下的缺陷。(本文来源于《电子设计工程》期刊2019年24期）
宋爽,陈跃东[2]（2019）在《基于时间自动机模型的区域控制器测试序列自动生成方法（英文）》一文中研究指出针对目前区域控制器测试序列人工生成,测试效率低的问题,提出了一种基于模型的测试序列自动生成方法。首先,对区域控制器的功能进行分析,基于时间自动机理论建立区域控制器的时间自动机模型,并利用UPPAAL对模型的正确性进行验证分析;然后,解析时间自动机模型文件,提取状态信息和变迁条件,生成测试案例集;最后,根据测试案例的串接条件,利用改进的深度优先搜索算法将测试案例串接成测试序列。对比区域控制器控制列车在其管辖范围内正常运行功能人工生成的测试序列和自动生成的测试序列,结果证明,该测试序列生成方法可行,且能够有效提高测试序列生成效率。(本文来源于《Journal of Measurement Science and Instrumentation》期刊2019年03期）
何娟娟,刘冬梅,朱鸿,杜益宁,周子健[3]（2019）在《面向Web服务测试的单线执行序列生成方法》一文中研究指出测试用例自动生成是实现Web服务自动化测试的关键,基于代数规约的传统测试技术均依赖于创建、初始化和复制被测对象等操作来验证测试结果的正确性,但第叁方Web服务并不支持这些操作,无法将测试用例转换成可执行操作序列。一种可行的解决方案是将测试用例转换成只包含一个被测服务实例、不包括实例初始化、只对实例进行状态修改和检查的线性执行序列。改进已有工作,提出包含逆项的测试执行图TEG-I来描述测试用例执行过程中的状态变化,设计TEG-I构造算法和单线执行序列生成算法并实现相应原型工具。实验结果表明,提出的方法能够有效地自动完成测试用例生成,提高Web服务的可测试性。(本文来源于《计算机工程与科学》期刊2019年06期）
盛云龙,魏长安,刘玉奇,姜守达[4]（2019）在《时序约束条件下序列测试建模方法》一文中研究指出时序约束的描述是测试序列生成前必须面对的问题,但是目前还没有完善的方法能够对时序约束进行描述,为此提出了一种时序约束序列测试建模方法。该建模方法中提出了状态转移允许区间,使得可以对转移发生时前一个状态的连续出现次数进行描述。针对目前欠缺能够有效评价测试序列目标覆盖程度的方法的问题,通过引入核函数来评价测试序列的目标覆盖程度对该问题给予了解决。最后利用提出的建模方法对实例进行建模,验证了建模方法的有效性和可行性。(本文来源于《仪器仪表学报》期刊2019年06期）
张婷[5]（2019）在《基于状态空间剪枝的并发软件测试序列生成方法》一文中研究指出并发软件在软件行业中扮演了一个重要角色,可靠的软件质量需要全面的测试工作来保证。并发软件执行过程非常复杂,系统的状态数目巨大,然而目前的软件测试方法大多数都存在覆盖率低、冗余率高或测试效率低等现象。因此在保证无冗余的情况下,生成对测试目标完全覆盖的测试序列是非常困难的。本文采用待测行为集合描述测试目的,并将测试覆盖标准定义为对待测行为及其数据相关行为执行路径的全覆盖。为提升测试序列获取效果和效率,本文基于形式化语言着色Petri网(Colored Petri Net,CPN),提出一种适用于并发软件的测试序列生成方法。该方法在状态空间中通过状态节点投影、状态结点剪枝、弧剪枝等方法,去除与测试目的无关的执行路径,以缩减状态空间规模。针对基于状态空间剪枝的并发软件测试序列生成方法,做了以下四个方面的工作:(1)采用待测行为集合描述测试目的,并将测试覆盖标准定义为对待测、及其数据相关行为执行路径覆盖。对CPN模型进行扩展,将软件系统模型中的变迁划分为四类:(1)待测行为,(2)相关行为,(3)与待测、相关行为存在并发关系的并发无关行为,(4)与待测、相关行为不存在并发关系的非并发无关行为。为下文针对两种无关行为提出剪枝奠定基础。(2)提出状态节点投影等方法,基于扩展CPN模型的状态空间,对非并发无关行为的执行路径进行状态空间剪枝。得到由待测、相关行为及并发无关行为执行序列构成的状态空间子图,达到第一步缩减状态空间的目的。(3)提出状态节点剪枝、变迁弧剪枝等方法,对并发无关行为进行剪枝。根据并发无关行为在模型中的位置关系,可细分为纯、前、中、后无关行为四种类型。通过状态节点剪枝操作可以去除纯、前、后无关行为全部的执行路径;通过变迁弧剪枝操作可以去除中无关行为多余的执行路径。两种剪枝操作进一步缩减了状态空间的规模,将测试序列生成的范围缩到最小。(4)提出全序列连接等方法,基于剪枝后的状态空间生成测试序列。测试序列完全覆盖待测、相关行为全部执行路径,对于并发无关行为和非并发无关行为则仅选取一条最短执行路径进行覆盖。由此得到从系统初始状态到结束状态的完整测试序列的集合。且测试序列是对待测、相关行为的执行路径达到全覆盖且无冗余性的测试效果。最后完成测试序列生成算法的全覆盖性和无冗余性的证明。采用本方法对警务管理系统实例完成测试序列的生成,验证了本算法的完全覆盖性、无冗余性;并将测试结果与其他方法进行了对比与分析,验证了本算法的高效性。(本文来源于《内蒙古大学》期刊2019-05-25）
郭欣[6]（2019）在《基于无关并发行为顺序化的测试序列生成方法》一文中研究指出具有并发行为的软件在社会生产和生活中越来越常见,但并发行为发生顺序的不确定性给软件测试带来巨大挑战。着色Petri网CPN(Coloured Petri Net)模型可以准确描述软件中的并发行为,适合基于CPN模型进行并发软件测试。然而并发行为发生顺序的不确定性会使CPN模型的状态空间规模指数级增长,所以在获取测试序列时,需要解决状态空间爆炸问题,实现高覆盖低冗余的测试。为了解决上述问题,本文将CPN模型中的变迁分为待测行为、相关行为和无关行为叁类。以待测行为描述测试目的,定义覆盖标准为待测行为及其数据相关行为执行路径覆盖。提出了基于模型抑制弧的无关并发行为顺序化方法,该方法依据嵌套层次确定处理顺序,针对不同位置的无关行为分别提出了顺序化算法,排除了无关行为导致的全部冗余执行路径,最终通过状态空间获取满足覆盖标准的无冗余测试序列。本文的主要研究工作可以分为以下几部分:(1)提出方法相关定义。本文以待测行为及其数据相关行为描述测试目的,提出覆盖待测相关行为执行路径的测试覆盖标准;另外对CPN原有概念进行扩展,具体说明本文方法需要识别和使用的CPN模型特征。(2)提出抑制弧添加等级划分算法。在标记有待测行为、相关行为和无关行为的系统模型中识别出选择分支集和并发分支集,依据分支集间的嵌套关系确定分支集的抑制弧添加顺序,可以有效提高抑制弧添加效率。(3)提出针对不同情况的顺序化算法。针对选择分支集和并发分支集,依据待测行为和相关行为在分支集中所处位置,分为无关分支、待测行为前、中、后有无关行为四种情况,对每种情况提出不同的抑制弧添加操作,顺序化无关并发行为的同时不影响待测行为和相关行为的执行,有效去除因无关行为并发执行导致的冗余执行路径。(4)提出在模型的状态空间中提取测试序列操作并证明方法的正确性。CPN模型完成抑制弧添加操作后,使用CPN Tools获取模型的状态空间,状态空间中的全部执行路径即为测试序列,并依据测试覆盖标准,通过迹等价方法证明最终获取的测试序列全覆盖且无冗余。最后,使用本文提出的基于无关并发行为顺序化的测试序列生成方法完成了对文章订阅软件系统实例的测试序列生成,通过结果分析验证了本方法的覆盖性和无冗余性。(本文来源于《内蒙古大学》期刊2019-05-25）
王丽丽,林海,包亮,万贺[7]（2019）在《基于DPSO-AO~*算法系统测试序列优化问题研究》一文中研究指出为了使复杂装备信息处理系统在进行故障定位过程中耗时最少、成本最低,建立了系统测试序列优化问题的数学模型。基于DPSO-AO~*算法的改进,得到信息处理系统的最优测试策略决策树,根据信息处理系统的相关矩阵,按故障概率,随机生成故障,采用相应的测试序列进行测试,最后利用累计测试费用进行比较,从而证明了改进的DPSO-AO~*算法正确有效。(本文来源于《测控技术》期刊2019年05期）
窦磊,李耀,郭进,童音,兰浩[8]（2019）在《列控车载设备安全功能测试序列优化方法研究》一文中研究指出列控系统测试序列优化问题可以转换成旅行商问题(TSP),在求解TSP时,用改良圈(IC)算法难以得出最优解,而模拟退火(SA)算法计算迭代次数多,为解决这一问题,提出一种基于SA优化IC算法的测试序列优化方法。首先,以车载设备模式转换功能为例,介绍基于TSP的测试序列生成方法;然后,说明SA优化IC算法的步骤和流程;最后,引入实例,并将其转换成TSP,采用SA算法优化IC算法求解TSP,并得到测试序列。结果表明:该算法较IC算法的结果更优,迭代次数较SA算法迭代次数降低了27. 54%,该方法可有效优化测试序列。(本文来源于《中国安全科学学报》期刊2019年05期）
张悦宁[9]（2019）在《基于进化优化的类集成测试序列生成方法研究》一文中研究指出当今世界,信息技术飞速发展,计算机软件在人们生活中变得不可或缺,软件的质量对日常生活甚至社会发展都会产生重大影响。人们对软件产品的依赖程度越来越深,对软件质量的要求也越来越高。对软件生产者来说,低质量的软件会因维护成本高丧失市场竞争力,而高质量的软件能够赢得消费者的信赖从而带来更好的经济效益。软件测试成为了保证软件质量的重要手段,通过软件测试,测试人员可以及时地发现软件缺陷并提交纠正。在软件测试过程中,集成测试是为了检测各模块之间能否正常地协同工作。类是面向对象程序的基本单位,且类间存在依赖关系。按照不同的顺序测试类,测试代价也是不同的。所以测试人员需要确定一个合理的类测试序列,以期减小测试代价。研究者们提出了多种方法生成类集成测试序列。然而,某些基于启发式算法的方法还存在一些不足,比如寻优能力不强导致生成的类集成测试序列的测试代价还比较大。本文对现存的某些不足进行了优化改进,提出了两个类集成测试序列生成方法。遗传算法和粒子群优化算法随机初始化种群导致进化带有盲目性,对此本文提出了一种基于初始种群优化的类集成测试序列生成方法。首先,引入一个约束条件:不允许打破类间的强依赖关系。然后,提出多叉树的构建算法,组成多叉树森林。最后,按随机顺序层次遍历森林中的每棵多叉树,生成满足约束条件的个体并组成初始种群。实验结果表明,该方法能够在不失随机性的同时生成整体质量较高的初始种群,引导遗传算法和粒子群优化算法生成测试代价更小的类集成测试序列。粒子群优化算法在进化过程中容易早熟,本文提出了一种基于梦境粒子群优化算法的类集成测试序列生成方法。类测试序列作为粒子且有做梦能力,每次进化分为两个阶段——白天和夜间。白天阶段,粒子从前一晚的位置正常移动。夜间阶段,粒子进入梦境,根据各自做梦能力扭曲当前位置。如此,粒子能够在当前位置附近进行搜索。算法的收敛速度减缓,避免过早陷入局部最优。实验结果表明,该方法生成的类集成测试序列的测试代价较小。此外,实现了一个针对Java程序的类集成测试序列生成工具EvoCITO,该工具使用本文提出的两种方法生成类集成测试序列。(本文来源于《中国矿业大学》期刊2019-05-01）
张悦宁,姜淑娟,张艳梅[10]（2019）在《基于梦境粒子群优化的类集成测试序列生成方法》一文中研究指出类集成测试序列的确定是面向对象类集成测试技术中的一个重要课题。合理的类集成测试序列可以降低为其构造测试桩的总体复杂度,从而减小测试代价。针对粒子群优化算法容易早熟的缺陷,文中提出一种基于梦境粒子群优化算法的类集成测试序列生成方法。首先把每个类集成测试序列映射为一维空间中的一个粒子,然后将粒子看作有做梦能力的个体。每个迭代周期分为白天和夜间两个阶段,在白天阶段粒子正常移动,而在夜间阶段粒子根据各自的做梦能力扭曲当前位置。如此,粒子有机会在当前位置附近进行搜索,使得算法减缓收敛速度,避免过早陷入局部最优。实验结果表明,多数情况下该方法可以得到测试代价更小的类集成测试序列。(本文来源于《计算机科学》期刊2019年02期）
测试序列论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
针对目前区域控制器测试序列人工生成,测试效率低的问题,提出了一种基于模型的测试序列自动生成方法。首先,对区域控制器的功能进行分析,基于时间自动机理论建立区域控制器的时间自动机模型,并利用UPPAAL对模型的正确性进行验证分析;然后,解析时间自动机模型文件,提取状态信息和变迁条件,生成测试案例集;最后,根据测试案例的串接条件,利用改进的深度优先搜索算法将测试案例串接成测试序列。对比区域控制器控制列车在其管辖范围内正常运行功能人工生成的测试序列和自动生成的测试序列,结果证明,该测试序列生成方法可行,且能够有效提高测试序列生成效率。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
测试序列论文参考文献
[1].刘艳平,李海浩.基于序列图和状态图的软件测试用例生成方法[J].电子设计工程.2019
[2].宋爽,陈跃东.基于时间自动机模型的区域控制器测试序列自动生成方法（英文）[J].JournalofMeasurementScienceandInstrumentation.2019
[3].何娟娟,刘冬梅,朱鸿,杜益宁,周子健.面向Web服务测试的单线执行序列生成方法[J].计算机工程与科学.2019
[4].盛云龙,魏长安,刘玉奇,姜守达.时序约束条件下序列测试建模方法[J].仪器仪表学报.2019
[5].张婷.基于状态空间剪枝的并发软件测试序列生成方法[D].内蒙古大学.2019
[6].郭欣.基于无关并发行为顺序化的测试序列生成方法[D].内蒙古大学.2019
[7].王丽丽,林海,包亮,万贺.基于DPSO-AO~*算法系统测试序列优化问题研究[J].测控技术.2019
[8].窦磊,李耀,郭进,童音,兰浩.列控车载设备安全功能测试序列优化方法研究[J].中国安全科学学报.2019
[9].张悦宁.基于进化优化的类集成测试序列生成方法研究[D].中国矿业大学.2019
[10].张悦宁,姜淑娟,张艳梅.基于梦境粒子群优化的类集成测试序列生成方法[J].计算机科学.2019
论文知识图
