测试序列生成论文-宋爽,陈跃东

测试序列生成论文-宋爽,陈跃东

导读:本文包含了测试序列生成论文开题报告文献综述及选题提纲参考文献,主要关键词:测试序列,区域控制器,时间自动机模型,文件解析

测试序列生成论文文献综述

宋爽,陈跃东[1](2019)在《基于时间自动机模型的区域控制器测试序列自动生成方法(英文)》一文中研究指出针对目前区域控制器测试序列人工生成,测试效率低的问题,提出了一种基于模型的测试序列自动生成方法。首先,对区域控制器的功能进行分析,基于时间自动机理论建立区域控制器的时间自动机模型,并利用UPPAAL对模型的正确性进行验证分析;然后,解析时间自动机模型文件,提取状态信息和变迁条件,生成测试案例集;最后,根据测试案例的串接条件,利用改进的深度优先搜索算法将测试案例串接成测试序列。对比区域控制器控制列车在其管辖范围内正常运行功能人工生成的测试序列和自动生成的测试序列,结果证明,该测试序列生成方法可行,且能够有效提高测试序列生成效率。(本文来源于《Journal of Measurement Science and Instrumentation》期刊2019年03期)

何娟娟,刘冬梅,朱鸿,杜益宁,周子健[2](2019)在《面向Web服务测试的单线执行序列生成方法》一文中研究指出测试用例自动生成是实现Web服务自动化测试的关键,基于代数规约的传统测试技术均依赖于创建、初始化和复制被测对象等操作来验证测试结果的正确性,但第叁方Web服务并不支持这些操作,无法将测试用例转换成可执行操作序列。一种可行的解决方案是将测试用例转换成只包含一个被测服务实例、不包括实例初始化、只对实例进行状态修改和检查的线性执行序列。改进已有工作,提出包含逆项的测试执行图TEG-I来描述测试用例执行过程中的状态变化,设计TEG-I构造算法和单线执行序列生成算法并实现相应原型工具。实验结果表明,提出的方法能够有效地自动完成测试用例生成,提高Web服务的可测试性。(本文来源于《计算机工程与科学》期刊2019年06期)

张婷[3](2019)在《基于状态空间剪枝的并发软件测试序列生成方法》一文中研究指出并发软件在软件行业中扮演了一个重要角色,可靠的软件质量需要全面的测试工作来保证。并发软件执行过程非常复杂,系统的状态数目巨大,然而目前的软件测试方法大多数都存在覆盖率低、冗余率高或测试效率低等现象。因此在保证无冗余的情况下,生成对测试目标完全覆盖的测试序列是非常困难的。本文采用待测行为集合描述测试目的,并将测试覆盖标准定义为对待测行为及其数据相关行为执行路径的全覆盖。为提升测试序列获取效果和效率,本文基于形式化语言着色Petri网(Colored Petri Net,CPN),提出一种适用于并发软件的测试序列生成方法。该方法在状态空间中通过状态节点投影、状态结点剪枝、弧剪枝等方法,去除与测试目的无关的执行路径,以缩减状态空间规模。针对基于状态空间剪枝的并发软件测试序列生成方法,做了以下四个方面的工作:(1)采用待测行为集合描述测试目的,并将测试覆盖标准定义为对待测、及其数据相关行为执行路径覆盖。对CPN模型进行扩展,将软件系统模型中的变迁划分为四类:(1)待测行为,(2)相关行为,(3)与待测、相关行为存在并发关系的并发无关行为,(4)与待测、相关行为不存在并发关系的非并发无关行为。为下文针对两种无关行为提出剪枝奠定基础。(2)提出状态节点投影等方法,基于扩展CPN模型的状态空间,对非并发无关行为的执行路径进行状态空间剪枝。得到由待测、相关行为及并发无关行为执行序列构成的状态空间子图,达到第一步缩减状态空间的目的。(3)提出状态节点剪枝、变迁弧剪枝等方法,对并发无关行为进行剪枝。根据并发无关行为在模型中的位置关系,可细分为纯、前、中、后无关行为四种类型。通过状态节点剪枝操作可以去除纯、前、后无关行为全部的执行路径;通过变迁弧剪枝操作可以去除中无关行为多余的执行路径。两种剪枝操作进一步缩减了状态空间的规模,将测试序列生成的范围缩到最小。(4)提出全序列连接等方法,基于剪枝后的状态空间生成测试序列。测试序列完全覆盖待测、相关行为全部执行路径,对于并发无关行为和非并发无关行为则仅选取一条最短执行路径进行覆盖。由此得到从系统初始状态到结束状态的完整测试序列的集合。且测试序列是对待测、相关行为的执行路径达到全覆盖且无冗余性的测试效果。最后完成测试序列生成算法的全覆盖性和无冗余性的证明。采用本方法对警务管理系统实例完成测试序列的生成,验证了本算法的完全覆盖性、无冗余性;并将测试结果与其他方法进行了对比与分析,验证了本算法的高效性。(本文来源于《内蒙古大学》期刊2019-05-25)

郭欣[4](2019)在《基于无关并发行为顺序化的测试序列生成方法》一文中研究指出具有并发行为的软件在社会生产和生活中越来越常见,但并发行为发生顺序的不确定性给软件测试带来巨大挑战。着色Petri网CPN(Coloured Petri Net)模型可以准确描述软件中的并发行为,适合基于CPN模型进行并发软件测试。然而并发行为发生顺序的不确定性会使CPN模型的状态空间规模指数级增长,所以在获取测试序列时,需要解决状态空间爆炸问题,实现高覆盖低冗余的测试。为了解决上述问题,本文将CPN模型中的变迁分为待测行为、相关行为和无关行为叁类。以待测行为描述测试目的,定义覆盖标准为待测行为及其数据相关行为执行路径覆盖。提出了基于模型抑制弧的无关并发行为顺序化方法,该方法依据嵌套层次确定处理顺序,针对不同位置的无关行为分别提出了顺序化算法,排除了无关行为导致的全部冗余执行路径,最终通过状态空间获取满足覆盖标准的无冗余测试序列。本文的主要研究工作可以分为以下几部分:(1)提出方法相关定义。本文以待测行为及其数据相关行为描述测试目的,提出覆盖待测相关行为执行路径的测试覆盖标准;另外对CPN原有概念进行扩展,具体说明本文方法需要识别和使用的CPN模型特征。(2)提出抑制弧添加等级划分算法。在标记有待测行为、相关行为和无关行为的系统模型中识别出选择分支集和并发分支集,依据分支集间的嵌套关系确定分支集的抑制弧添加顺序,可以有效提高抑制弧添加效率。(3)提出针对不同情况的顺序化算法。针对选择分支集和并发分支集,依据待测行为和相关行为在分支集中所处位置,分为无关分支、待测行为前、中、后有无关行为四种情况,对每种情况提出不同的抑制弧添加操作,顺序化无关并发行为的同时不影响待测行为和相关行为的执行,有效去除因无关行为并发执行导致的冗余执行路径。(4)提出在模型的状态空间中提取测试序列操作并证明方法的正确性。CPN模型完成抑制弧添加操作后,使用CPN Tools获取模型的状态空间,状态空间中的全部执行路径即为测试序列,并依据测试覆盖标准,通过迹等价方法证明最终获取的测试序列全覆盖且无冗余。最后,使用本文提出的基于无关并发行为顺序化的测试序列生成方法完成了对文章订阅软件系统实例的测试序列生成,通过结果分析验证了本方法的覆盖性和无冗余性。(本文来源于《内蒙古大学》期刊2019-05-25)

张悦宁[5](2019)在《基于进化优化的类集成测试序列生成方法研究》一文中研究指出当今世界,信息技术飞速发展,计算机软件在人们生活中变得不可或缺,软件的质量对日常生活甚至社会发展都会产生重大影响。人们对软件产品的依赖程度越来越深,对软件质量的要求也越来越高。对软件生产者来说,低质量的软件会因维护成本高丧失市场竞争力,而高质量的软件能够赢得消费者的信赖从而带来更好的经济效益。软件测试成为了保证软件质量的重要手段,通过软件测试,测试人员可以及时地发现软件缺陷并提交纠正。在软件测试过程中,集成测试是为了检测各模块之间能否正常地协同工作。类是面向对象程序的基本单位,且类间存在依赖关系。按照不同的顺序测试类,测试代价也是不同的。所以测试人员需要确定一个合理的类测试序列,以期减小测试代价。研究者们提出了多种方法生成类集成测试序列。然而,某些基于启发式算法的方法还存在一些不足,比如寻优能力不强导致生成的类集成测试序列的测试代价还比较大。本文对现存的某些不足进行了优化改进,提出了两个类集成测试序列生成方法。遗传算法和粒子群优化算法随机初始化种群导致进化带有盲目性,对此本文提出了一种基于初始种群优化的类集成测试序列生成方法。首先,引入一个约束条件:不允许打破类间的强依赖关系。然后,提出多叉树的构建算法,组成多叉树森林。最后,按随机顺序层次遍历森林中的每棵多叉树,生成满足约束条件的个体并组成初始种群。实验结果表明,该方法能够在不失随机性的同时生成整体质量较高的初始种群,引导遗传算法和粒子群优化算法生成测试代价更小的类集成测试序列。粒子群优化算法在进化过程中容易早熟,本文提出了一种基于梦境粒子群优化算法的类集成测试序列生成方法。类测试序列作为粒子且有做梦能力,每次进化分为两个阶段——白天和夜间。白天阶段,粒子从前一晚的位置正常移动。夜间阶段,粒子进入梦境,根据各自做梦能力扭曲当前位置。如此,粒子能够在当前位置附近进行搜索。算法的收敛速度减缓,避免过早陷入局部最优。实验结果表明,该方法生成的类集成测试序列的测试代价较小。此外,实现了一个针对Java程序的类集成测试序列生成工具EvoCITO,该工具使用本文提出的两种方法生成类集成测试序列。(本文来源于《中国矿业大学》期刊2019-05-01)

张悦宁,姜淑娟,张艳梅[6](2019)在《基于梦境粒子群优化的类集成测试序列生成方法》一文中研究指出类集成测试序列的确定是面向对象类集成测试技术中的一个重要课题。合理的类集成测试序列可以降低为其构造测试桩的总体复杂度,从而减小测试代价。针对粒子群优化算法容易早熟的缺陷,文中提出一种基于梦境粒子群优化算法的类集成测试序列生成方法。首先把每个类集成测试序列映射为一维空间中的一个粒子,然后将粒子看作有做梦能力的个体。每个迭代周期分为白天和夜间两个阶段,在白天阶段粒子正常移动,而在夜间阶段粒子根据各自的做梦能力扭曲当前位置。如此,粒子有机会在当前位置附近进行搜索,使得算法减缓收敛速度,避免过早陷入局部最优。实验结果表明,多数情况下该方法可以得到测试代价更小的类集成测试序列。(本文来源于《计算机科学》期刊2019年02期)

李腾飞,石磊[7](2018)在《基于节点层网络关键等级的嵌入式软件集成测试序列生成方法》一文中研究指出增量法是应用于集成测试的方法,合适的增量集成策略能够降低测试成本、保障测试的充分性、提高测试效率。针对目前嵌入式软件集成测试增量方法不明确、对于函数调用关系验证不充分等问题,通过参考集成测试相关国家标准并结合嵌入式软件的特点进行深入分析,提出一种新的集成测试序列生成方法。该方法从集成测试函数调用关系的充分性入手,按照以"层间集成"为主、"层内关键系数集成"为辅的设计思路,将嵌入式软件中的函数基于节点层和关键系数以集成的先后顺序划分,得到经粗调和微调后的增量集成序列。该方法能简单、高效地解决集成测试增量集成问题,具备工程实践应用意义。(本文来源于《软件导刊》期刊2018年12期)

王曙燕,王超飞,孙家泽[8](2018)在《基于方法调用关系的软件测试序列生成算法》一文中研究指出针对现有面向对象软件测试序列生成算法对软件动态依赖关系和节点自身重要程度欠缺考虑,导致测试不充分问题,提出一种基于软件方法调用关系的方法节点重要度值计算算法。通过AspectJ框架获取软件执行过程中方法间的调用关系,建立网络形模型,对网络中冗余节点进行约简得到有效网络,结合节点的错误传播影响范围和节点错误传播率计算网络中节点的重要性,生成软件测试序列。典型实验分析结果表明,该算法得到的软件测试序列能够保证重要节点优先被测试且避免构造测试桩,测试序列生成时间平均降低了33.45%,软件规模越大效果越明显。(本文来源于《计算机工程与设计》期刊2018年10期)

宋爽[9](2018)在《基于模型的CBTC区域控制器测试序列自动生成方法的研究》一文中研究指出随着无线电技术的飞速发展,基于精确的定位技术和高速、实时通信技术的CBTC(Communication-Based Train Control,基于通信的列车控制)系统成为轨道交通运行控制系统发展的方向。区域控制器作为CBTC系统地面的核心设备,需要具备极高的安全性与可靠性,因此在投入使用之前必须经过严格的功能和性能测试。目前在对区域控制器进行测试时采用的测试序列仍然依靠人工的方式进行生成,由于人为因素的不确定性以及人工方式编制的测试序列很难做到完备性测试,系统可靠性及安全性无法得到彻底保证。因此,对区域控制器测试序列的自动生成方法进行研究有重要意义。论文基于区域控制器的形式化模型研究了区域控制器的测试序列自动生成方法。首先,对区域控制器进行功能分析,建立区域控制器的时间自动机模型。形式化建模消除了自然语言的二义性,便于计算机识别,为测试序列的自动生成创造了条件。然后,利用UPPAAL对建立的时间自动机模型进行模拟仿真,同时根据区域控制器的功能性及实时性要求,编写BNF验证语句对模型进行验证,为生成正确的测试序列提供可能性。接着分析建立的时间自动机模型文件的格式特点,针对其特定的信息存储格式,提取其中的关键字以获取区域控制器的状态信息及变迁关系,组合生成测试案例。然后基于区域控制器的功能特征,利用优先级设置及重复性标记将生成的测试案例首尾相连串接成符合区域控制器工作流程及测试规则的测试序列。最后,基于Microsoft Visual Studio丰富的功能库资源编写应用程序,实现输入区域控制器的时间自动机模型后,对模型信息自动提取,以及输入功能特征对应的初始状态与结束状态后,测试序列的自动生成。通过将自动提取的区域控制器模型信息与人工提取的信息对比可知文中设计的信息提取方法能够完成对模型变迁信息的全覆盖提取,由此可以证明测试案例的完备性;自动生成的测试序列与人工串接生成的结果一致,证明生成的测试序列在保证全覆盖的同时可以将测试案例的重复使用率降至最低。同时,测试序列的自动生成可以有效避免人工生成过程中的不确定性风险。(本文来源于《兰州交通大学》期刊2018-06-15)

张妙[10](2018)在《面向对象类集成测试序列生成方法研究》一文中研究指出信息时代下,计算机科学技术的蓬勃发展带来了软件产业的飞速进步,软件产业现已遍及当代社会发展和经济生活的各个角落。作为提高和保证软件质量的重要手段,软件测试技术能够及时发现并纠正软件缺陷,避免因软件质量问题而导致的各类生产生活不便和重大经济损失。集成测试是软件测试阶段中的关键步骤,确保各模块及子系统能够按照预期目标,准确且稳定地运行。面向对象程序的类间调用关系错综复杂,无法利用传统的集成测试方法进行测试,因此提出了基于测试序列的类集成测试策略。不同的类集成测试序列,其测试代价并不相同。确定合理的类集成测试序列,能够有效地降低测试桩复杂度,从而避免产生不必要的测试代价。可见,针对面向对象程序的集成测试,提出合理的类集成测试序列生成技术具有重要的意义。国内外众多专家学者提出了多种类集成测试序列生成方法,然而现有方法生成的类集成测试序列的测试代价较高、针对复杂系统运行时间过长。本文在分析与研究现有方法的基础上,对目前存在的部分问题进行了改进,提出了基于奖惩机制的类集成测试序列生成方法和基于传递依赖的类集成测试序列生成方法,并实现了一个针对Java语言的类集成测试序列生成工具。针对现有方法生成的类集成测试序列的测试代价较高、生成大规模系统的类集成测试序列时所需时间过久的问题,本文提出了一种基于奖惩机制的类集成测试序列生成方法。该方法首先根据测试成本和测试净收益,为所有的类设定初始测试优先级;之后,选择合适的类进行测试,并将这些类同其他待测类间的依赖关系作为反馈信息,重新计算其他待测类的测试净收益,利用奖惩机制调整其他待测类的测试优先级;重复上述过程,直至所有的类均被测试。实验证明,该方法能够在较短的时间内生成测试代价较低的类集成测试序列。针对现有方法无法全面地度量类集成测试序列的测试代价这一问题,本文提出了一种基于传递依赖的类集成测试序列生成方法。该方法首先识别类间传递依赖,构建类间传递依赖模型;之后,计算控制耦合的复杂度,度量为传递依赖关系构建的测试桩的代价,设计新的测试桩复杂度计算方法;最后,根据新定义的测试代价度量方法,对现有方法进行改进。实验证明:该方法能够度量类间传递依赖,且类间传递依赖会对类集成测试序列的测试代价产生影响。此外,本文设计并实现了一个针对Java语言的类集成测试序列生成工具,利用本文提出的两种方法生成类集成测试序列。(本文来源于《中国矿业大学》期刊2018-05-01)

测试序列生成论文开题报告

(1)论文研究背景及目的

此处内容要求:

首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。

写法范例:

测试用例自动生成是实现Web服务自动化测试的关键,基于代数规约的传统测试技术均依赖于创建、初始化和复制被测对象等操作来验证测试结果的正确性,但第叁方Web服务并不支持这些操作,无法将测试用例转换成可执行操作序列。一种可行的解决方案是将测试用例转换成只包含一个被测服务实例、不包括实例初始化、只对实例进行状态修改和检查的线性执行序列。改进已有工作,提出包含逆项的测试执行图TEG-I来描述测试用例执行过程中的状态变化,设计TEG-I构造算法和单线执行序列生成算法并实现相应原型工具。实验结果表明,提出的方法能够有效地自动完成测试用例生成,提高Web服务的可测试性。

(2)本文研究方法

调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。

观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。

实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。

文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。

实证研究法:依据现有的科学理论和实践的需要提出设计。

定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。

定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。

跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。

功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。

模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。

测试序列生成论文参考文献

[1].宋爽,陈跃东.基于时间自动机模型的区域控制器测试序列自动生成方法(英文)[J].JournalofMeasurementScienceandInstrumentation.2019

[2].何娟娟,刘冬梅,朱鸿,杜益宁,周子健.面向Web服务测试的单线执行序列生成方法[J].计算机工程与科学.2019

[3].张婷.基于状态空间剪枝的并发软件测试序列生成方法[D].内蒙古大学.2019

[4].郭欣.基于无关并发行为顺序化的测试序列生成方法[D].内蒙古大学.2019

[5].张悦宁.基于进化优化的类集成测试序列生成方法研究[D].中国矿业大学.2019

[6].张悦宁,姜淑娟,张艳梅.基于梦境粒子群优化的类集成测试序列生成方法[J].计算机科学.2019

[7].李腾飞,石磊.基于节点层网络关键等级的嵌入式软件集成测试序列生成方法[J].软件导刊.2018

[8].王曙燕,王超飞,孙家泽.基于方法调用关系的软件测试序列生成算法[J].计算机工程与设计.2018

[9].宋爽.基于模型的CBTC区域控制器测试序列自动生成方法的研究[D].兰州交通大学.2018

[10].张妙.面向对象类集成测试序列生成方法研究[D].中国矿业大学.2018

标签:;  ;  ;  ;  

测试序列生成论文-宋爽,陈跃东
下载Doc文档

猜你喜欢