期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到72篇文章
< 1 2 … 4 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于改进遗传算法的测试用例生成 被引量：7
1
作者 陈雨 姚砺 《电子科技》 2009年第7期9-12,共4页
在软件测试中,测试用例生成是软件测试中的关键技术问题,对于软件测试的自动化有着重要影响。为了提高测试用例生成的效率,文中提出了一种用于测试用例生成的改进算法。该算法引入了自适应算子和禁忌搜索思想,将自适应遗传算法和禁忌搜... 在软件测试中,测试用例生成是软件测试中的关键技术问题,对于软件测试的自动化有着重要影响。为了提高测试用例生成的效率,文中提出了一种用于测试用例生成的改进算法。该算法引入了自适应算子和禁忌搜索思想,将自适应遗传算法和禁忌搜索有机结合,充分发挥遗传算法的全局搜索和禁忌搜索算法局部搜索优势,提高了测试数据的生成能力。实验结果表明,该算法在测试数据自动生成的效率和有效性方面,均优于自适应遗传算法。 展开更多
关键词 测试用例生成 遗传算法 禁忌搜索算法 转移搜索
下载PDF
基于形式化描述测试用例生成的研究与实现 被引量：4
2
作者 王伟光 丁洪达 曾庆凯 《计算机应用》 CSCD 北大核心 2008年第4期1018-1022,共5页
根据高安全系统实现和评估的需要,提出基于形式化Z描述的测试用例生成方法,并据此实现了测试用例自动生成工具,可进行符合更改条件/判定覆盖准则的测试用例生成,以解决生成测试用例数量与质量间的取舍问题。与相关工作相比,可以降低形... 根据高安全系统实现和评估的需要,提出基于形式化Z描述的测试用例生成方法,并据此实现了测试用例自动生成工具,可进行符合更改条件/判定覆盖准则的测试用例生成,以解决生成测试用例数量与质量间的取舍问题。与相关工作相比,可以降低形式化描述的要求,减少人工参与的成分,提高测试用例生成的有效性和效率。 展开更多
关键词 安全评估 测试用例生成 形式化描述 更改条件判定覆盖
下载PDF
基于自适应遗传算法的软件测试用例自动生成 被引量：4
3
作者 李柱 《计算机系统应用》 2016年第1期192-196,共5页
在软件测试中,测试成功的关键是快速、高效的生成测试用例.遗传算法是一种通过模拟自然界生物进化过程搜寻最优解的一种算法,算法通过选择、交叉和变异操作引导算法搜索方向,逐步接近全局最优解.传统遗传算法由于具有较好的全局搜索能力... 在软件测试中,测试成功的关键是快速、高效的生成测试用例.遗传算法是一种通过模拟自然界生物进化过程搜寻最优解的一种算法,算法通过选择、交叉和变异操作引导算法搜索方向,逐步接近全局最优解.传统遗传算法由于具有较好的全局搜索能力,因此被很多科研人员应用于测试用例生成.但遗传算法的固有缺陷"早熟收敛",容易导致算法收敛于局部最优.针对这种情况,提出一种自适应遗传算法,该算法交叉算子和变异算子可根据程序变化自动调整,随后,将改进后的算法应用于一程序的测试用例生成中.测试结果表明该算法在测试用例生成的效率和效果方面优于传统搜索算法和普通改进算法. 展开更多
关键词 自适应遗传算法 自适应交叉算子 自适应变异算子 测试用例生成
下载PDF
基于UML的软件测试用例自动生成技术研究 被引量：11
4
作者 黄陇 陈致明 +1 位作者 于洪敏 于秀山 《计算机应用与软件》 CSCD 北大核心 2004年第11期16-17,113,共3页
测试用例自动生成是软件自动化测试的基础与关键。随着UML的广泛应用 ,基于UML模型的测试用例自动生成技术日益受到关注。本文提出了通过对UMLSequenceDiagram进行形式化分析产生测试场景的技术 ,定义了相应的测试覆盖准则 ,分析了测试... 测试用例自动生成是软件自动化测试的基础与关键。随着UML的广泛应用 ,基于UML模型的测试用例自动生成技术日益受到关注。本文提出了通过对UMLSequenceDiagram进行形式化分析产生测试场景的技术 ,定义了相应的测试覆盖准则 ,分析了测试数据的生成。 展开更多
关键词 UML模型 测试用例 软件测试 自动生成技术 测试场景 覆盖准则 软件自动化 定义 建模工具 产生
下载PDF
一种新的基于模拟退火的测试用例生成与约简算法 被引量：8
5
作者 王博 王曙燕 《计算机应用与软件》 CSCD 北大核心 2013年第2期78-81,共4页
测试数据生成是组合测试的一个关键问题。提出一种基于贪心算法和模拟退火的组合测试用例约简算法,可以大幅约简成对组合测试用例的生成。分别采用爬山法、一般模拟退火算法和约简模拟退火算法对成对组合测试用例生成进行比较,实验表明... 测试数据生成是组合测试的一个关键问题。提出一种基于贪心算法和模拟退火的组合测试用例约简算法,可以大幅约简成对组合测试用例的生成。分别采用爬山法、一般模拟退火算法和约简模拟退火算法对成对组合测试用例生成进行比较,实验表明所提出的模拟退火算法有较好的运行效率和约简效果。 展开更多
关键词 组合测试 测试用例生成 成对测试 模拟退火
下载PDF
用于测试用例生成的遗传算法改进 被引量：5
6
作者 李柱 丁晓明 《科学技术与工程》 2011年第5期988-992,共5页
在软件测试技术中,高效的测试用例生成是简化测试工作、提高测试效率的必要手段。传统遗传算法是一种多点搜索和采用交叉操作的技术,有效应用于测试用例生成。遗传算法虽然具有良好的全局搜索能力,但对于局部空间的搜索问题不是很有效... 在软件测试技术中,高效的测试用例生成是简化测试工作、提高测试效率的必要手段。传统遗传算法是一种多点搜索和采用交叉操作的技术,有效应用于测试用例生成。遗传算法虽然具有良好的全局搜索能力,但对于局部空间的搜索问题不是很有效。针对此问题,对传统遗传算法在适应度函数、遗传算子方面进行改进,提高该算法在局部空间的搜索能力,提出一种基于改进遗传算法的测试用例生成方法。实验结果表明,所提出的方法在测试用例生成的效率和效果方面优于基于传统遗传算法的测试用例方法。 展开更多
关键词 遗传算法 适应度函数 遗传算子 测试用例生成
下载PDF
Statechart描述的测试语义和测试用例自动生成 被引量：1
7
作者 陈丽娜 苗春雨 赵建民 《西南大学学报（自然科学版）》 CAS CSCD 北大核心 2011年第5期143-150,共8页
研究了Statechart描述的测试语义和测试用例自动生成.基于Tretmans的从标记转换系统描述自动生成测试用例的方法,我们研究如何从Statechart描述自动生成测试用例.建立了基于Statechart描述的一致性测试和测试用例生成的形式化基础.为Sta... 研究了Statechart描述的测试语义和测试用例自动生成.基于Tretmans的从标记转换系统描述自动生成测试用例的方法,我们研究如何从Statechart描述自动生成测试用例.建立了基于Statechart描述的一致性测试和测试用例生成的形式化基础.为Statechart描述建立了形式化测试语义,测试语义和传统的验证语义不同,强调可观察性和内部细节隐藏.基于形式化测试语义和测试假设,形式化定义了系统描述和系统实现之间的一致性关系/实现关系.然后给出了基于图遍历的测试用例生成算法,对于无环测试语义该算法可以生成完全测试集,而对于带环测试语义该算法可以生成高效率的宽泛测试集. 展开更多
关键词 系统实现 一致性测试 测试用例生成 形式化语义
下载PDF
Web应用测试用例生成研究 被引量：7
8
作者 彭树深 顾庆 陈道蓄 《计算机科学》 CSCD 北大核心 2010年第6期159-163,共5页
随着Internet的高速发展,Web应用成为软件的主流之一,Web应用程序也变得越来越复杂,从多方面着手提高Web应用的质量是Web应用开发者的必然选择。Web应用测试是保证Web应用程序质量的重要手段,测试的核心工作是生成测试用例。把现有的We... 随着Internet的高速发展,Web应用成为软件的主流之一,Web应用程序也变得越来越复杂,从多方面着手提高Web应用的质量是Web应用开发者的必然选择。Web应用测试是保证Web应用程序质量的重要手段,测试的核心工作是生成测试用例。把现有的Web测试用例生成方法归结为4类:Capture/Replay方法、HTML分析法、源代码分析法、User-Session分析法,随后对这4类方法进行详细讨论,并归纳出这4类方法生成测试用例的一般步骤。最后总结了这4种方法的优缺点,从方法实现的难易程度、覆盖率等方面比较了它们的性能。 展开更多
关键词 WEB应用测试 Web测试用例生成 Web测试用例生成分类
下载PDF
软件结构化测试用例自动生成方法 被引量：1
9
作者 樊玮 朱贺 《计算机技术与发展》 2010年第5期26-28,33,共4页
软件测试和软件开发对软件质量具有同等重要的意义,其工作量很大,且其许多过程又适于自动化,于是软件测试自动化应运而生。测试用例的生成是软件测试过程的重要环节,近年来,人们开始尝试将人工智能技术运用于测试用例生成问题中,产生进... 软件测试和软件开发对软件质量具有同等重要的意义,其工作量很大,且其许多过程又适于自动化,于是软件测试自动化应运而生。测试用例的生成是软件测试过程的重要环节,近年来,人们开始尝试将人工智能技术运用于测试用例生成问题中,产生进化测试思想方法。文中对基于结构化的测试用例自动生成方法研究现状作了介绍,重点介绍了进化测试并对其基于不同进化计算算法的应用情况进行了比较和总结。应用结果表明进化测试方法是当前最为高效的软件测试用例自动生成方法。最后对进化测试进一步的研究方向提出了看法。 展开更多
关键词 软件测试 进化测试 测试用例生成 进化算法
下载PDF
实时并发软件的测试研究
10
作者 李伟华 康继昌 《微电子学与计算机》 CSCD 北大核心 1996年第2期23-26,共4页
实时并发软件测试是软件测试领域中较新的研究课题，目前尚无成熟而通用的测试工具。本文在分析大型实时控制软件特点的基础上，提出了以白盒测试与黑盒测试相结合、自顶向下的递增式策略，实现单元、组合和综合三级测试的技术方案，并... 实时并发软件测试是软件测试领域中较新的研究课题，目前尚无成熟而通用的测试工具。本文在分析大型实时控制软件特点的基础上，提出了以白盒测试与黑盒测试相结合、自顶向下的递增式策略，实现单元、组合和综合三级测试的技术方案，并介绍了二度式测试用例生成程序、嵌入式测试驱动与记录程序和测试结果评判程序等计算机辅助测试工具。 展开更多
关键词 测试 软件测试 实时并发软件 计算机
下载PDF
基于Z规格说明的软件测试用例自动生成 被引量：22
11
作者 兰毓华 毛法尧 曹化工 《计算机学报》 EI CSCD 北大核心 1999年第9期963-969,共7页
提出了一种基于Ｚ规格说明的软件测试用例自动生成方法，通过对软件Ｚ规格说明的分析，找出描述软件输入、输出约束的线性谓词，经过线性谓词转换， 线性谓词到线性不等式组的转换，找出区域边界顶点和边界附近的测试点等过程自动生成... 提出了一种基于Ｚ规格说明的软件测试用例自动生成方法，通过对软件Ｚ规格说明的分析，找出描述软件输入、输出约束的线性谓词，经过线性谓词转换， 线性谓词到线性不等式组的转换，找出区域边界顶点和边界附近的测试点等过程自动生成测试用例．同时还介绍了基于Ｚ规格说明的软件测试用例自动生成方法的实现， 展开更多
关键词 Z规格说明 区域测试 软件测试 软件开发
下载PDF
基于UML状态图的类测试用例自动生成方法 被引量：23
12
作者 张毅坤 施凤鸣 +2 位作者 姚全珠 刘军 付长龙 《计算机工程》 CAS CSCD 北大核心 2003年第21期91-93,共3页
UML作为面向对象软件开发的事实上的标准建模语言，近年来得到了广泛的应用 ，基于UML的测试也成为面向对象软件测试的研究热点。该文把基于扩展的有限状态机EFSM 的唯一输入输出UIO测试用例自动生成方法和UML的类的状态图相结合，提出... UML作为面向对象软件开发的事实上的标准建模语言，近年来得到了广泛的应用 ，基于UML的测试也成为面向对象软件测试的研究热点。该文把基于扩展的有限状态机EFSM 的唯一输入输出UIO测试用例自动生成方法和UML的类的状态图相结合，提出了一种基于UML 状态图的类的测试用例自动生成方法。 展开更多
关键词 统一建模语言 状态图 扩展的有限状态机 基于规约的测试 测试用例生成 唯一输入输出
下载PDF
基于模式组合的粒子群优化测试用例生成方法 被引量：20
13
作者 姜淑娟 王令赛 +3 位作者 薛猛 张艳梅 于巧 姚慧冉 《软件学报》 EI CSCD 北大核心 2016年第4期785-801,共17页
适应度函数的设计在基于搜索的测试用例生成技术中占据重要的位置,然而在某些特殊的程序中,如存在嵌套、非结构性跳转或因return,break等语句跳出循环的程序,已有的适应度函数无法评价到所有的分支.目前的方法是修改程序的源代码,以使... 适应度函数的设计在基于搜索的测试用例生成技术中占据重要的位置,然而在某些特殊的程序中,如存在嵌套、非结构性跳转或因return,break等语句跳出循环的程序,已有的适应度函数无法评价到所有的分支.目前的方法是修改程序的源代码,以使每个分支得到评价.但修改源代码不但可能影响程序的原有结构、引入错误,而且很难实现自动化.针对这一问题,提出一种基于模式组合的粒子群优化测试用例生成方法.首先,将分支条件定义为"模式",即,一类具有相同特征且能提高适应度值的个体集合,并改变其分支函数的插桩方式,可解决分支条件不完全评价的问题;然后,设计一种新的交叉算子,寻找到所有使模式的分支函数值最小的个体,将这些个体中含有模式的部分通过交叉算子组合到一个个体上,既可防止模式在进化过程中被破坏,又可因多种模式的组合而提高个体的适应度值;最后,使用局部搜索策略对种群中的最优个体进行搜索,提高粒子群优化算法的局部搜索精度,进一步提高测试用例生成效率.为了评价该方法的有效性,基于一组基准程序和开源程序进行实验.实验结果表明:对于含有模式的程序,该测试用例生成方法与已有方法相比,在覆盖率和平均进化代数上均有明显优势. 展开更多
关键词 测试用例生成 粒子群优化算法 交叉算子 局部搜索策略
下载PDF
基于模型的CTCS-3级列控系统测试案例自动生成方法 被引量：15
14
作者 吕继东 朱晓琳 +2 位作者 李开成 唐涛 王海峰 《西南交通大学学报》 EI CSCD 北大核心 2015年第5期917-927,共11页
为了提高CTCS-3级列控系统测试案例生成效率,提出了基于混合通信顺序进程(hybrid communication sequential process,HCSP)形式化模型和时间自动机(timed automaton,TA)形式化模型的列控系统测试案例自动生成方法;建立了列控系统运营场... 为了提高CTCS-3级列控系统测试案例生成效率,提出了基于混合通信顺序进程(hybrid communication sequential process,HCSP)形式化模型和时间自动机(timed automaton,TA)形式化模型的列控系统测试案例自动生成方法;建立了列控系统运营场景的时序模型,分析了列控系统运营场景规范中时序功能的正确性;在时序模型的基础上,设计了满足全状态、全变迁和自定义-使用3种领域无关覆盖准则的列控系统测试案例自动生成算法,并以RBC(radio block center,RBC)切换场景为例,生成了100%全状态、全变迁和自定义-使用覆盖准则的测试案例套.从测试套数量、测试时间和内存消耗3个方面分析测试案例的生成效率表明:自定义-使用覆盖准则的测试案例套测试时间和内存消耗最小,分别为0.02 s和9.4 MB,本文方法提高列控系统测试案例生成效率最大达30%. 展开更多
关键词 形式化模型 列控系统 HCSP TA 测试案例自动生成 测试套
下载PDF
一种基于遗传算法的软件测试用例生成新方法 被引量：12
15
作者 姚尧 《计算机与数字工程》 2009年第1期18-21,共4页
建立了一个基于遗传算法测试用例生成的系统模型,在该模型下通过分支函数插装的方法构造遗传算法所需的评价函数并针对软件测试用例生成问题的特点对传统遗传算法进行了改进;最后,给出了一个实例并分析了实例的执行情况。
关键词 遗传算法 测试用例生成 分支函数插装
下载PDF
基于正交搜索的粒子群优化测试用例生成方法 被引量：10
16
作者 王令赛 姜淑娟 +1 位作者 张艳梅 于巧 《电子学报》 EI CAS CSCD 北大核心 2014年第12期2345-2351,共7页
针对粒子群优化算法易出现早熟收敛的问题,本文提出一种基于正交搜索的粒子群优化测试用例生成方法.首先,利用奇异值分解来预测种群的进化方向,在其正交方向进行搜索,可避免已搜索过的区域,有助于跳出局部最优;然后,对粒子速度项进行改... 针对粒子群优化算法易出现早熟收敛的问题,本文提出一种基于正交搜索的粒子群优化测试用例生成方法.首先,利用奇异值分解来预测种群的进化方向,在其正交方向进行搜索,可避免已搜索过的区域,有助于跳出局部最优;然后,对粒子速度项进行改进,使其与正交方向保持一致,保证种群可持续受到正交方向的影响,有利于减少奇异值分解次数,降低时间消耗;最后,对每代最优个体进行局部搜索,以增强算法局部搜索能力.实验证明,本文方法在覆盖率、运行时间、进化代数等指标上均有优势. 展开更多
关键词 测试用例生成 粒子群优化算法 局部搜索 奇异值分解
下载PDF
基于谓词抽象的测试用例约简生成方法 被引量：10
17
作者 郭曦 张焕国 《通信学报》 EI CSCD 北大核心 2012年第3期35-43,51,共10页
针对大规模软件系统状态迁移数量庞大,容易导致状态空间爆炸的问题,提出一种基于谓词抽象的测试用例约简生成方法,该方法依据给定的谓词集合对软件系统的状态空间进行等价类划分,通过状态集合之间的映射得到约简的抽象状态,并以抽象状... 针对大规模软件系统状态迁移数量庞大,容易导致状态空间爆炸的问题,提出一种基于谓词抽象的测试用例约简生成方法,该方法依据给定的谓词集合对软件系统的状态空间进行等价类划分,通过状态集合之间的映射得到约简的抽象状态,并以抽象状态之间的迁移关系作为测试用例约简生成的基础。实验结果表明,该方法可以有效地对系统状态进行约简,并生成规模较小的测试用例集。 展开更多
关键词 谓词抽象 状态约简 等价类划分 测试用例生成
下载PDF
软件测试用例生成中的前置条件分析 被引量：7
18
作者 付剑平 陆民燕 阮镰 《计算机应用研究》 CSCD 北大核心 2007年第3期103-105,共3页
在实践的基础上总结了测试用例生成中的前置条件,进行了分类和参数化,并将研究结果应用于测试用例自动生成工具,生成了软件可靠性测试用例。结果表明对前置条件的研究能够促进测试用例的自动化生成过程。
关键词 前置条件 测试用例 测试用例生成 测试用例自动生成
下载PDF
中文文本纠错软件测试用例的选择生成方法 被引量：2
19
作者 冯程皓 谢振平 丁博文 《计算机应用》 CSCD 北大核心 2024年第1期101-112,共12页
针对目前尚无有效的中文文本纠错软件测试用例生成方法的情况,为了服务于软件纠错性能的测量并为软件提供优化方向,设计了一种面向多用户的、工程化的中文文本纠错软件测试用例选择生成方法(SGMT-CCS)。定义了两种不同的可供用户选择的... 针对目前尚无有效的中文文本纠错软件测试用例生成方法的情况,为了服务于软件纠错性能的测量并为软件提供优化方向,设计了一种面向多用户的、工程化的中文文本纠错软件测试用例选择生成方法(SGMT-CCS)。定义了两种不同的可供用户选择的用例评判标准:错误数量密度和错误种类密度。设计了三个模块:测试用例自动化生成模块、测试用例选择模块以及测试用例优先级排序模块。在SGMT-CCS中,用户可以:1)在测试用例自动化生成的过程中自定义错误最小间隔和用例集大小;2)在测试用例选择的过程中自定义错误最小间隔和期望值;3)在测试用例选择和优先级排序的过程中选择不同的用例评判标准进行自定义操作,以适应不同数据集的要求。实验结果表明,SGMT-CCS能够在较短的时间内获得有效的测试用例,选择模块实验在模拟的需求情况下都能满足用户自定义目标,优先级排序模块实验验证了相较于排序前,在不同评判标准下的不同时间段内都能有效提高测试效率。 展开更多
关键词 测试用例生成 中文文本纠错 可选择生成 回归测试 自然语言处理
下载PDF
车路协同混合交通场景要素解析与测试案例生成 被引量：7
20
作者 赵通 上官伟 +1 位作者 柴琳果 郭蓬 《交通运输工程学报》 EI CSCD 北大核心 2022年第3期263-276,共14页
面向混合交通环境下多车效率类和单车安全类场景测试需求,研究了基于混合交通场景要素解析的车路协同测试案例生成方法;为提高测试案例的多样性和覆盖度,分析了混合交通特征要素相互作用机理,构建了混合交通场景要素层次模型,提出了场... 面向混合交通环境下多车效率类和单车安全类场景测试需求,研究了基于混合交通场景要素解析的车路协同测试案例生成方法;为提高测试案例的多样性和覆盖度,分析了混合交通特征要素相互作用机理,构建了混合交通场景要素层次模型,提出了场景要素重要度的一致性描述指标,并在此基础上建立了测试案例复杂度模型;针对多车效率类场景仿真测试,提出了复杂度激励的组合测试案例生成方法,设计了场景要素强耦合组合策略;针对单车安全类场景仿真测试,提出了基于复杂度聚类的蒙特卡洛测试案例生成方法,设计了风险场景特征参数抽样机制;选取车路协同混合交通典型场景开展仿真试验,验证了提出的测试案例生成方法的有效性。研究结果表明,对于多车效率类混合交通高速公路匝道合流场景测试,提出的方法比传统成对测试方法的场景最大复杂度提高了11.93%,高复杂度场景占比提高了60.02%,测试案例覆盖度提高了12.08%;对于单车安全类车路协同换道预警场景测试,提出的方法比传统蒙特卡洛测试方法的危险场景数提高了195%,且其参数估计误差降低了5.95%,高风险场景数提高了119%,且其参数估计误差降低了4.78%。可见,提出的方法能够提高测试案例的多样性和覆盖度,有助于开展复杂环境和风险条件下车路协同系统功能测试,能够有效满足多车效率类和单车安全类场景测试需求。 展开更多
关键词 智能交通 车路协同 混合交通 场景要素解析 测试案例生成 组合测试 蒙特卡洛测试
原文传递
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 4 下一页 到第 页
使用帮助 返回顶部