期刊文献+
共找到76篇文章
< 1 2 4 >
每页显示 20 50 100
代理辅助多任务进化优化引导的MPI程序路径覆盖测试用例生成 被引量:1
1
作者 孙百才 巩敦卫 姚香娟 《软件学报》 北大核心 2025年第5期2026-2042,共17页
基于进化优化的消息传递接口(message-passing interface,MPI)程序路径覆盖测试中,进化个体适应值的评价需要反复执行MPI程序,而程序的重复执行往往需要高昂的计算成本.鉴于此,提出一种代理辅助多任务进化优化引导的MPI程序路径覆盖测... 基于进化优化的消息传递接口(message-passing interface,MPI)程序路径覆盖测试中,进化个体适应值的评价需要反复执行MPI程序,而程序的重复执行往往需要高昂的计算成本.鉴于此,提出一种代理辅助多任务进化优化引导的MPI程序路径覆盖测试用例生成方法,该方法能够显著约减MPI程序的实际执行次数,进而提高测试效率.首先,面向MPI程序目标路径内每条目标子路径,训练相应的代理模型;然后,基于对应每条目标子路径的代理模型,估计相应测试用例生成优化任务中进化个体的适应值,并形成候选测试用例集;最后,基于候选测试用例集及其面向每条目标子路径的真实适应值,更新对应每条目标子路径的代理模型.将所提方法应用于7个基准MPI程序的基本路径覆盖测试中,并与其他若干先进方法比较.实验结果表明,所提方法能够在确保测试用例生成高有效性的前提下,显著提高测试效率. 展开更多
关键词 路径覆盖测试用例生成 代理辅助多任务进化优化 候选测试用例集
在线阅读 下载PDF
SCADE模型测试下最小测试用例集路径生成算法
2
作者 夏苗 陈泽华 《铁路通信信号工程技术》 2025年第4期19-24,57,共7页
根据在安全关键应用开发环境(Safety Critical Application Development Environment,SCADE)下,对采用Masking Modified Condition/Decision Coverage(MC/DC)准则的A级软件,如何快速生成最小测试用例集,总结出路径生成算法。针对零耦合... 根据在安全关键应用开发环境(Safety Critical Application Development Environment,SCADE)下,对采用Masking Modified Condition/Decision Coverage(MC/DC)准则的A级软件,如何快速生成最小测试用例集,总结出路径生成算法。针对零耦合条件、弱耦合条件、强耦合条件的输入,可使用一套算法完成最小测试用例集的设计,充分提高测试人员效率。并引入路径的概念,帮助测试人员加深对测试覆盖率全面性的理解。 展开更多
关键词 SCADE MC/DC 测试用例 耦合条件 路径生成算法
在线阅读 下载PDF
分支测试中测试路径用例的简化生成方法 被引量:17
3
作者 毛澄映 卢炎生 《计算机研究与发展》 EI CSCD 北大核心 2006年第2期321-328,共8页
结构性测试是对过程式和面向对象程序都非常有效的测试方法,分支覆盖准则被实践证明是其中性价比最高的一种策略·通过深入研究DD图的性质并分析FTPS算法的不足,提出了一种简便、快捷和适合于大规模程序的非约束边集近似求解算法Fin... 结构性测试是对过程式和面向对象程序都非常有效的测试方法,分支覆盖准则被实践证明是其中性价比最高的一种策略·通过深入研究DD图的性质并分析FTPS算法的不足,提出了一种简便、快捷和适合于大规模程序的非约束边集近似求解算法Find SemiUE;还给出了基于正(逆)向广度(深度)生成树的分支测试路径用例集的简化生成算法Generate PathSet,该算法在时间和空间开销上较FTPS算法均有较大提高·此外,所证明的关于DD图的结论也值得借鉴用于该图的更深一步研究· 展开更多
关键词 结构性测试 DD图 支配(蕴含)关系 非约束边 测试路径用例
在线阅读 下载PDF
嵌入式软件功能路径测试用例自动生成研究 被引量:6
4
作者 胡燕京 张毅坤 +1 位作者 朱伟 于全喜 《微电子学与计算机》 CSCD 北大核心 2010年第1期81-85,共5页
根据嵌入式软件的结构特点尝试了一种适合于嵌入式软件测试实际的功能路径测试方法.通过分析功能路径上的结点谓词和功能约束条件,用一种简洁、快速的算法建立和求解输入变量的约束系统,生成功能路径测试用例.实践证明,该测试用例可同... 根据嵌入式软件的结构特点尝试了一种适合于嵌入式软件测试实际的功能路径测试方法.通过分析功能路径上的结点谓词和功能约束条件,用一种简洁、快速的算法建立和求解输入变量的约束系统,生成功能路径测试用例.实践证明,该测试用例可同时测试嵌入式软件的功能和结构,测试效率高、生成代价低且测试较为全面,能有效降低嵌入式软件开发、测试和维护的成本. 展开更多
关键词 嵌入式软件 功能路径测试用例 功能点
在线阅读 下载PDF
基于退火遗传算法的多路径测试用例生成 被引量:6
5
作者 仲晓敏 巫晓琳 赵雪峰 《计算机应用研究》 CSCD 北大核心 2010年第12期4544-4547,共4页
针对遗传算法在多路径测试用例自动生成中的不足,提出基于退火遗传算法的生成方法。对遗传算法的适应度函数进行优化设计,以满足多路径测试用例生成。同时在算法中引入路径存储机制,从而增强测试用例自动生成的功效。在提高算法的局部... 针对遗传算法在多路径测试用例自动生成中的不足,提出基于退火遗传算法的生成方法。对遗传算法的适应度函数进行优化设计,以满足多路径测试用例生成。同时在算法中引入路径存储机制,从而增强测试用例自动生成的功效。在提高算法的局部搜索能力方面,对遗传算法的两点交叉算子进行改进,并引入模拟退火算法到变异操作。三角形判断程序的测试用例生成实验结果,验证了该方法的有效性。 展开更多
关键词 模拟退火 遗传算法 适应度函数 多路径 测试用例
在线阅读 下载PDF
Web应用前后端融合的遗传算法并行化测试用例生成 被引量:19
6
作者 王微微 李奕超 +1 位作者 赵瑞莲 李征 《软件学报》 EI CSCD 北大核心 2020年第5期1314-1331,共18页
Web应用测试用例生成并行化是提升Web应用测试生成效率的一个有效手段.Web应用的前后端分离、事件驱动等特性,导致传统的并行化技术难以直接应用于Web应用的测试用例自动生成中.因此,如何针对Web应用进行并行化测试用例生成,是一项具有... Web应用测试用例生成并行化是提升Web应用测试生成效率的一个有效手段.Web应用的前后端分离、事件驱动等特性,导致传统的并行化技术难以直接应用于Web应用的测试用例自动生成中.因此,如何针对Web应用进行并行化测试用例生成,是一项具有挑战性的工作.将种群并行化计算引入到基于遗传算法的Web应用前后端融合的测试用例生成中,通过线程池及调度逻辑设计、多浏览器进程管理及后端覆盖路径获取,实现种群个体在多浏览器上的并行化执行及基于后端路径覆盖的适应度值并行化计算,以更高效地生成Web应用的测试用例.实验结果表明:相对于Web应用的GA串行化测试用例生成方法,所提的并行化测试生成方法能够更充分地利用系统资源,极大地提升Web应用测试用例的生成效率. 展开更多
关键词 WEB应用测试 测试用例生成 遗传算法 并行化 敏感路径
在线阅读 下载PDF
基于模拟退火遗传算法的测试数据生成研究 被引量:5
7
作者 李龙澍 曹珣 王凡 《计算机技术与发展》 2011年第4期85-89,共5页
在软件测试中,如何才能生成高效的测试用例一直是人们研究的热点。提出了一种基于模拟退火的遗传算法,用于测试数据的生成。该算法有效克服了传统GA局部搜索能力差和早熟现象,同时也有效改善了SA全局搜索能力差的问题。随后提出了一个... 在软件测试中,如何才能生成高效的测试用例一直是人们研究的热点。提出了一种基于模拟退火的遗传算法,用于测试数据的生成。该算法有效克服了传统GA局部搜索能力差和早熟现象,同时也有效改善了SA全局搜索能力差的问题。随后提出了一个基于模拟退火遗传算法的测试数据自动生成的系统框架结构,并重点介绍了如适应度函数选取问题、编码问题和遗传算子改进问题等关键技术。实验结果表明,该算法运用在测试数据自动生成领域,其效率和效果都优于传统的遗传算法。 展开更多
关键词 软件测试 遗传算法 模拟退火 测试用例 路径测试
在线阅读 下载PDF
基于GEP的路径覆盖测试用例生成方法 被引量:3
8
作者 陈建明 陈宇 +1 位作者 李志蜀 丁革建 《计算机工程》 CAS CSCD 北大核心 2010年第15期86-88,共3页
提出一种基于基因表达式编程(GEP)算法、编译器技术、虚拟机技术的路径覆盖测试用例生成方法。该方法使用编译器技术获得程序的静态控制流路径集合,针对集合中的每一条静态控制流路径,使用GEP算法生成覆盖特定路径的测试用例,采用虚拟... 提出一种基于基因表达式编程(GEP)算法、编译器技术、虚拟机技术的路径覆盖测试用例生成方法。该方法使用编译器技术获得程序的静态控制流路径集合,针对集合中的每一条静态控制流路径,使用GEP算法生成覆盖特定路径的测试用例,采用虚拟机完成结果计算,其中有效的结果即所需的测试用例。实验结果证明,该方法能高效、准确地得到覆盖特定控制流路径的测试用例。 展开更多
关键词 基因表达式编程算法 测试用例 路径覆盖测试
在线阅读 下载PDF
多路径粒子群优化自动测试用例生成算法 被引量:4
9
作者 聂鹏 耿技 秦志光 《计算机集成制造系统》 EI CSCD 北大核心 2012年第1期216-223,共8页
从计算资源优化、多路径适应度评价和测试路径间信息交换三个方面,对多路径粒子群优化测试用例自动生成的一般方法进行了分析。针对软件结构性测试多路径粒子群优化多路径覆盖中存在的问题,提出多路径粒子群优化自动测试用例生成算法。... 从计算资源优化、多路径适应度评价和测试路径间信息交换三个方面,对多路径粒子群优化测试用例自动生成的一般方法进行了分析。针对软件结构性测试多路径粒子群优化多路径覆盖中存在的问题,提出多路径粒子群优化自动测试用例生成算法。定义了多路径适应度函数,以解决多路径环境下的测试用例适应度测量问题;提出适应度决策矩阵,使测试用例可以在待测路径间交换信息和优化计算资源,并引导测试种群实现对多路径的覆盖。实验表明,所提算法节约了多路径粒子群优化多路径测试用例生成的计算资源,提高了算法的路径覆盖率。 展开更多
关键词 软件测试 测试用例生成 多路径覆盖 多路径粒子群优化 算法
在线阅读 下载PDF
基于需求关系的测试用例集优化方法 被引量:3
10
作者 谢经纬 吴昊 刘胜蓝 《计算机工程》 CAS CSCD 北大核心 2011年第16期33-35,共3页
针对测试用例集存在冗余测试用例的问题,给出基于需求关系的测试用例集优化方法。从需求对应的代码分布出发,按照测试用例覆盖路径定义需求的逻辑关系,借鉴DDGRAPH方法,提出公共路径约减算法,并在此基础上,给出需求-用例调整算法,对需... 针对测试用例集存在冗余测试用例的问题,给出基于需求关系的测试用例集优化方法。从需求对应的代码分布出发,按照测试用例覆盖路径定义需求的逻辑关系,借鉴DDGRAPH方法,提出公共路径约减算法,并在此基础上,给出需求-用例调整算法,对需求及其对应的用例集进行优化。实验结果表明,该方法能降低处理的基数,提高用例设计的效率。 展开更多
关键词 需求关系 用例集优化 覆盖 路径 冗余用例
在线阅读 下载PDF
一种面向列车控制系统中安全攸关场景的测试用例自动生成方法 被引量:17
11
作者 陈鑫 姜鹏 +2 位作者 张一帆 黄超 周岩 《软件学报》 EI CSCD 北大核心 2015年第2期269-278,共10页
列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求.围绕列车控制系统的安全攸关场景建模以及测试用例自动生... 列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求.围绕列车控制系统的安全攸关场景建模以及测试用例自动生成方法展开研究,对UML活动图扩充了事件驱动机制和时间特性描述机制,以满足对安全攸关场景建模的需要,提出了简单路径覆盖准则以定义对场景中所有运行的完全覆盖,并针对这一覆盖准则给出了自动生成测试用例的方法.以地铁列车控制系统为研究对象展开实验,表明了该方法的有效性和局限性. 展开更多
关键词 安全攸关场景 场景建模 简单路径覆盖 测试用例自动生成
在线阅读 下载PDF
基于扩展有限状态机的定义-清除路径的生成方法 被引量:3
12
作者 卢炎生 雷波 +1 位作者 谢晓东 毛澄映 《计算机工程与科学》 CSCD 2006年第7期67-69,共3页
本文提出了一种面向对象测试中定义-清除路径(DC路径)生成方法,以扩展有限状态机EFSM作为测试模型,结合数据流分析方法,用图论中的结点间最短路径求解思想生成DC路径。这样产生的路径考虑了对象状态迁移,能够发现类中方法与变量之间交... 本文提出了一种面向对象测试中定义-清除路径(DC路径)生成方法,以扩展有限状态机EFSM作为测试模型,结合数据流分析方法,用图论中的结点间最短路径求解思想生成DC路径。这样产生的路径考虑了对象状态迁移,能够发现类中方法与变量之间交互作用时发生的错误,并精简了定义-使用路径(DU路径)组成的测试用例集。 展开更多
关键词 类单元测试 扩展有限状态机 定义-使用路径 定义-清除路径 测试用例
在线阅读 下载PDF
一种基于关系图的Web应用测试生成方法 被引量:4
13
作者 钱忠胜 《小型微型计算机系统》 CSCD 北大核心 2013年第3期486-491,共6页
Web应用的迅猛发展及其自身的复杂特性给其测试带来了一定的难度,使得传统的测试方法已不能满足需求,迫切需要新的Web测试方法和技术.定义了Web应用模式并构造其关系图以对Web应用进行建模.关系图用来建立产生路径表达式的路径生成图,... Web应用的迅猛发展及其自身的复杂特性给其测试带来了一定的难度,使得传统的测试方法已不能满足需求,迫切需要新的Web测试方法和技术.定义了Web应用模式并构造其关系图以对Web应用进行建模.关系图用来建立产生路径表达式的路径生成图,继而提出一种测试路径生成方法.若提供输入值,则测试路径可以很容易地构造测试用例.为了说明问题,给出了一个简单Web登录系统作为案例.此外,根据"分而治之"的原理,当被测Web应用过于复杂时,给出了一种路径生成策略.该策略使得Web应用简单而易控制,在某种程度上限制了状态空间的爆炸.最后,从理论上阐明了本文给出方法和规则的通用性及正确性. 展开更多
关键词 WEB应用 关系图 测试路径 测试用例 路径表达式
在线阅读 下载PDF
基于区间必然集的测试用例生成方法 被引量:2
14
作者 王雅文 宫云战 肖庆 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2013年第4期550-556,563,共8页
针对自动化单元测试中面向路径的测试用例生成问题,通过改进传统的基于符号执行的测试用例生成方法,提出"符号化区间"来表示和分析变量的静态取值范围,并给出简单表达式和逻辑表达式中"区间可能集"和"区间必然... 针对自动化单元测试中面向路径的测试用例生成问题,通过改进传统的基于符号执行的测试用例生成方法,提出"符号化区间"来表示和分析变量的静态取值范围,并给出简单表达式和逻辑表达式中"区间可能集"和"区间必然集"的计算方法.提出了面向路径的值区间分析算法,通过对给定路径进行前向数据流分析来计算各条边上的区间上下文环境以及各符号的必然取值区间,在路径出口处的符号值区间必然集中任意取值,可得到覆盖给定路径的测试用例.与基于约束求解的传统方法相比,文中方法省去了表达式变换及调用约束求解器的过程,对输入变量弱关联的情况能够快速、准确地生成测试用例. 展开更多
关键词 测试用例 面向路径 符号执行 上下文环境 区间必然集
在线阅读 下载PDF
基于一种遗传算法的最小测试用例集自动生成 被引量:3
15
作者 刘冬 靳蓓蓓 阙向红 《计算机技术与发展》 2016年第4期86-89,共4页
测试数据的生成是一个复杂的问题,且其技术和方法还不成熟。在生成最小测试用例集过程中,为了避免基本遗传算法对已经满足测试需求的测试用例重复进行遗传操作,文中在基本遗传算法的基础上,最大提高遗传算法的稳定性,提出最大稳定遗传算... 测试数据的生成是一个复杂的问题,且其技术和方法还不成熟。在生成最小测试用例集过程中,为了避免基本遗传算法对已经满足测试需求的测试用例重复进行遗传操作,文中在基本遗传算法的基础上,最大提高遗传算法的稳定性,提出最大稳定遗传算法(LSGA)。该算法能很好地保证种群的最大稳定性,提高搜索性能,最后对该算法从概率角度理论证明其优越性。实例分析表明,利用该算法能较快生成最小测试用例集,从而实现对测试目标的充分测试,提高测试效率,降低测试成本。 展开更多
关键词 测试用例集 测试用例 基本路径集 基本遗传算法 软件测试
在线阅读 下载PDF
综合模块化航空电子平台网络故障注入策略 被引量:3
16
作者 孙毅刚 徐畅 刘哲旭 《计算机应用》 CSCD 北大核心 2018年第9期2650-2654,2705,共6页
综合模块化航空电子(IMA)平台网络通信结构复杂,在进行故障注入测试时,存在难以选取合适的测试路径及等效、无效故障注入较多的问题。根据IMA平台网络通信结构特点,提出一种新的故障注入策略。首先,根据IMA平台网络对实时性和确定性的要... 综合模块化航空电子(IMA)平台网络通信结构复杂,在进行故障注入测试时,存在难以选取合适的测试路径及等效、无效故障注入较多的问题。根据IMA平台网络通信结构特点,提出一种新的故障注入策略。首先,根据IMA平台网络对实时性和确定性的要求,提出一种基于通信链路的测试路径优化算法,生成最优测试路径,实现对IMA平台网络测试任务的有序覆盖;然后,在确定测试路径之后,采用有色Petri网(CPN)建模方法搭建测试案例自动生成模型,排除等效与无效故障,精简测路径中每个测试任务所需的测试案例。仿真结果表明,所提方法在测试次数与测试时间等方面均少于传统的故障注入策略,能够克服传统策略中的无序性及盲目性的缺点,降低测试的时间成本。 展开更多
关键词 综合模块化航空电子 机载通信网络 故障注入 测试路径 测试案例
在线阅读 下载PDF
基于函数调用路径的测试用例优先级排序 被引量:8
17
作者 牟永敏 李慧丽 《计算机工程》 CAS CSCD 2014年第7期242-246,253,共6页
基于覆盖的优先级排序技术通常以代码覆盖信息作为测试用例的特征加以度量,忽略了其他优先级的影响因素,缺乏全面性和动态性。针对该问题,提出基于函数调用路径的测试用例优先级排序方法。以函数调用路径为基础,通过对源代码新旧版本的... 基于覆盖的优先级排序技术通常以代码覆盖信息作为测试用例的特征加以度量,忽略了其他优先级的影响因素,缺乏全面性和动态性。针对该问题,提出基于函数调用路径的测试用例优先级排序方法。以函数调用路径为基础,通过对源代码新旧版本的对比,分析回归测试影响域,确定回归测试用例集的范围。将测试用例函数调用路径覆盖能力、单元测试时函数中检测出缺陷的个数,以及函数的扇入系数等影响因素应用于优先级排序,确定测试用例优先级量化方法,并在测试执行过程中,通过调整算法实现优先级的动态调整,优化优先级排序。实验结果表明,优先级量化方法能提高测试的缺陷检测率,发现程序中的缺陷,降低测试成本。 展开更多
关键词 优先级排序 函数调用路径 回归测试 测试用例 扇入系数 缺陷检测率
在线阅读 下载PDF
基于复杂系统遗传算法的多路径覆盖测试用例生成方法 被引量:3
18
作者 于博 姜淑娟 张艳梅 《计算机科学》 CSCD 北大核心 2012年第4期139-141,153,共4页
针对目前复杂系统多路径覆盖测试用例生成方法较少的问题,提出一种新的基于复杂系统的多路径覆盖测试用例生成方法。首先改进遗传算法,在种群进化中对父代选择、个体进化的学习能力和种群的自适应更新方法进行改进,以有效避免算法收敛... 针对目前复杂系统多路径覆盖测试用例生成方法较少的问题,提出一种新的基于复杂系统的多路径覆盖测试用例生成方法。首先改进遗传算法,在种群进化中对父代选择、个体进化的学习能力和种群的自适应更新方法进行改进,以有效避免算法收敛过慢或者"早熟"现象。然后根据多路径覆盖测试的特点与要求,设计基于路径匹配的适应度函数,使得运行一次算法便可生成覆盖多条目标路径的多个测试用例。最后将该方法用于几个基准程序。实验结果表明,与已有方法比较,此方法的测试用例生成效率显著提高。 展开更多
关键词 复杂系统 多路径覆盖 测试用例生成 遗传算法 适应度函数
在线阅读 下载PDF
基于LSGA的最小测试用例集自动生成 被引量:1
19
作者 刘冬 靳蓓蓓 阙向红 《微电子学与计算机》 CSCD 北大核心 2011年第12期115-118,共4页
测试数据的生成是一个复杂的问题且其技术和方法还不成熟.根据实现语句覆盖的测试目标,提出了最大稳定遗传算法(LSGA).该算法充分考虑了遗传算法的稳定性并在构造适应度函数和路径编号时提出了"邻近者优先"原则和"就近... 测试数据的生成是一个复杂的问题且其技术和方法还不成熟.根据实现语句覆盖的测试目标,提出了最大稳定遗传算法(LSGA).该算法充分考虑了遗传算法的稳定性并在构造适应度函数和路径编号时提出了"邻近者优先"原则和"就近路径编号"原则.这个算法可以生成满足测试目标的最小用例集且其性能明显优于遗传算法. 展开更多
关键词 测试用例集 测试用例 基本路径集 最大稳定遗传算法 遗传算法 软件测试
在线阅读 下载PDF
基于变迁的完全路径覆盖测试 被引量:3
20
作者 刘继华 陈策 《计算机应用》 CSCD 北大核心 2012年第11期3075-3077,3081,共4页
为解决基于状态节点搜索的完全路径覆盖所产生的测试用例数过多和难以实现连续测试的问题,提出了一种基于变迁的完全路径覆盖测试准则,并设计和实现了一种深度优先搜索与宽度优先搜索相结合的基于变迁完全路径覆盖测试用例自动生成算法... 为解决基于状态节点搜索的完全路径覆盖所产生的测试用例数过多和难以实现连续测试的问题,提出了一种基于变迁的完全路径覆盖测试准则,并设计和实现了一种深度优先搜索与宽度优先搜索相结合的基于变迁完全路径覆盖测试用例自动生成算法。实验结果表明,基于变迁的完全路径覆盖准则比基于状态的完全路径覆盖准则更为严格,相应的算法可以产生更优的测试用例集,能更方便地完成软件的连续动态测试。 展开更多
关键词 软件测试 状态图测试 完全路径覆盖 测试用例
在线阅读 下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部