检索结果-内蒙古大学图书馆

解放军理工大学学报（自然科学版） 2010年第3期11卷 267-273页

作者：李丽沈湘衡魏颖任佳阅王大勇中国科学院长春光学精密机械与物理研究所吉林长春130033 中国科学院研究生院北京100039 北华大学计算机学院吉林吉林132013 空军航空大学军事仿真技术研究所吉林长春130022 辽宁大学计算中心辽宁沈阳110036

以人工智能中智能规划方法为基础,对军用软件测试用例自动生成技术进行了研究。现有的许多规划器都不能避免组合爆炸问题的发生,而这一问题又是导致规划失败的一个重要问题,针对这一现象,以IPP规划器为例,提出目标分解法对规划器所需事... 详细信息

以人工智能中智能规划方法为基础,对军用软件测试用例自动生成技术进行了研究。现有的许多规划器都不能避免组合爆炸问题的发生,而这一问题又是导致规划失败的一个重要问题,针对这一现象,以IPP规划器为例,提出目标分解法对规划器所需事实文件进行划分,并对IPP规划器应用多事实文件处理算法进行扩展,扩展后的MF-IPP规划器能够处理多个事实文档,有效避免了组合爆炸问题的发生。将该方法应用到军用主控软件GUI(Graphical User Interface)测试用例自动生成中,主要思想是首先利用规划器生成初始测试用例,其次提出解扩展的方法来完善测试用例的生成。针对测试用例生成问题进行了比对分析,结果显示,MF-IPP可以很好地防止组合爆炸问题的发生。所生成的测试用例生成时间短、覆盖率高,不仅能够很好地辅助软件测试人员进行测试用例的编写,还能应用于自动化软件测试。

关键词：组合爆炸智能规划 MF-IPP GUI测试测试用例自动生成解扩展

来源：评论

学校读者我要写书评

暂无评论

一种基于高阶Markov使用模型的测试用例自动生成方法

引用

现代电子技术 2019年第6期42卷 26-29页

作者：赵卫东李有俊张丽山东科技大学山东青岛266590

为了解决基于单纯马尔可夫使用模型测试用例生成不稳定、测试充分性判定不精确的问题,在分析现有测试用例自动生成方法的基础上,提出一种改进的高阶马尔可夫测试模型,并依据此模型,提出改进的基于快速轮盘赌的二分查找测试用例生成方法... 详细信息

为了解决基于单纯马尔可夫使用模型测试用例生成不稳定、测试充分性判定不精确的问题,在分析现有测试用例自动生成方法的基础上,提出一种改进的高阶马尔可夫测试模型,并依据此模型,提出改进的基于快速轮盘赌的二分查找测试用例生成方法和基于相对熵的测试充分性判定方法。实践表明,改进后的方法有效地提高了测试用例生成的稳定性和测试充分性判定的精确性,与原有方法比较更适合大规模软件的测试,提高了大规模软件自动化测试的效率。

关键词：高阶马尔可夫使用模型快速轮盘赌二分查找相对熵软件测试测试用例自动生成

来源：评论

学校读者我要写书评

暂无评论

基路径覆盖测试用例自动生成方法研究

引用

计算机工程与设计 2013年第8期34卷 2759-2763页

作者：宋想宋晓秋中国航天科工集团第二研究院706所北京100854

传统基路径覆盖测试用例生成方法通过程序图求出圈复杂度,然后再得出程序的一组基路径,最后分别针对基路径组中的每条路径求出相应的测试用例,不仅繁琐,而且忽视了代码的语义相关性,导致存在路径不可达问题,也就无法生成对应的测试用例... 详细信息

传统基路径覆盖测试用例生成方法通过程序图求出圈复杂度,然后再得出程序的一组基路径,最后分别针对基路径组中的每条路径求出相应的测试用例,不仅繁琐,而且忽视了代码的语义相关性,导致存在路径不可达问题,也就无法生成对应的测试用例。提出了一种新的方法,利用遗传算法动态运行程序,逐渐逼近被测程序的真实逻辑圈复杂度,直接生成满足基路径覆盖测试用例的最小集合,不存在路径不可达问题。实验结果表明,该算法能够有效地生成满足基路径覆盖的测试用例。

关键词：面向路径测试路径覆盖基路径覆盖圈复杂度测试用例自动生成

来源：评论

学校读者我要写书评

暂无评论

一种面向信息物理融合系统安全攸关场景的测试用例自动生成方法

引用

计算机科学 2014年第11期41卷 124-127,161页

作者：姜鹏陈鑫李宣东南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

对信息物理融合系统中的安全攸关场景进行有效的测试是提高系统安全性的重要手段。如何对安全攸关场景进行建模以完整准确地刻画系统行为,如何有效地生成测试用例以提高测试覆盖度、降低测试成本,是面向安全场景测试技术需要解决的核心... 详细信息

对信息物理融合系统中的安全攸关场景进行有效的测试是提高系统安全性的重要手段。如何对安全攸关场景进行建模以完整准确地刻画系统行为,如何有效地生成测试用例以提高测试覆盖度、降低测试成本,是面向安全场景测试技术需要解决的核心技术问题。现有的场景建模与测试用例生成技术缺少对信息物理融合系统重要特性的描述和处理,其生成的测试用例不能满足系统安全攸关场景的测试需求。围绕信息物理融合系统的安全攸关场景建模以及测试用例自动生成方法展开研究,为UML活动图扩充了外部事件驱动机制和时间特性描述机制,以满足对安全攸关场景建模的需要;并研究了基于场景模型自动生成测试用例的方法。

关键词：信息物理融合系统安全攸关场景测试用例自动生成

来源：评论

学校读者我要写书评

暂无评论

测试用例自动生成平台

测试用例自动生成平台

引用

作者：熊明军张林林张文宇胡文 400000 重庆市九龙坡区高新区金凤镇凤笙路21号1幢

本发明提供了测试用例自动生成平台，包括：模板生成模块，用于根据已测系统的测试信息，将测试点和测试用例进行匹配，生成通用测试用例模板；元素爬取模块，用于利用爬虫技术自动爬取待测系统的页面元素，并根据页面元素确定用例测试... 详细信息

标准号: CN117112400A

本发明提供了测试用例自动生成平台，包括：模板生成模块，用于根据已测系统的测试信息，将测试点和测试用例进行匹配，生成通用测试用例模板；元素爬取模块，用于利用爬虫技术自动爬取待测系统的页面元素，并根据页面元素确定用例测试点和测试类型；模板匹配模块，用于基于用例测试点，从通用测试用例模板中匹配得到目标通用测试用例模板，并基于测试类型，对目标通用测试用例模板进行调整，得到针对待测系统的专用测试用例模板；脚本生成模块，用于基于专用测试用例模板，一键生成可执行的自动化脚本；减少人工的编写和修改，利用测试用例模板最终生成可执行的自动化脚本，实现测试用例的自动执行，减少工作人员任务量，降低成本。

关键词：通用测试自动化脚本测试类型待测系统用例测试专用测试可执行匹配测试用例自动生成测试用例模板脚本生成模块模板匹配模块模板生成模块页面元素确定测试测试信息爬虫技术页面元素自动执行测试点人工的任务量

来源：评论

学校读者我要写书评

暂无评论

基于SPEA2+SDE算法的测试用例自动生成技术研究

引用

计算机科学 2015年第B11期42卷 450-453页

作者：谭鑫彭耀鹏杨帅郑炜西北工业大学软件与微电子学院西安710072

软件测试是确保软件质量的重要手段。然而随着软件结构和功能的日益多样化,软件测试的复杂度和成本大为提高。测试用例自动生成技术可以降低手工测试的高额成本,同时提高测试结果的可信度。主要研究了基于进化算法的测试用例自动生成技... 详细信息

软件测试是确保软件质量的重要手段。然而随着软件结构和功能的日益多样化,软件测试的复杂度和成本大为提高。测试用例自动生成技术可以降低手工测试的高额成本,同时提高测试结果的可信度。主要研究了基于进化算法的测试用例自动生成技术,通过比较不同算法对于若干经典程序的测试用例生成效率,提出了SPEA2+SDE算法,其可以很好地用于测试用例的自动生成。最后通过Kruskal-Wallis非参数检验,说明了上述结论的广泛性和可靠性。

关键词： SPEA2+SDE算法测试用例自动生成进化算法非参数检验

来源：评论

学校读者我要写书评

暂无评论

基于改进遗传算法的测试用例自动生成研究

基于改进遗传算法的测试用例自动生成研究

引用

作者：李浩然湖南大学

学位级别：硕士

为了保证软件质量,软件测试成了软件开发过程中必不可少的一个环节。在软件测试中,如何生成合适的测试用例是软件测试过程中的重点和关键。然而,传统的软件测试用例依靠测试人员手工构造,工作繁琐而且盲目,往往导致测试效率不高,使测试... 详细信息

为了保证软件质量,软件测试成了软件开发过程中必不可少的一个环节。在软件测试中,如何生成合适的测试用例是软件测试过程中的重点和关键。然而,传统的软件测试用例依靠测试人员手工构造,工作繁琐而且盲目,往往导致测试效率不高,使测试的充分性难以得到保障。为了满足发展的需要,测试用例的自动化生成已经被广泛的研究,成为近年来软件测试用例生成研究的热点。但目前关于测试用例自动生成的研究尚未成熟,现有的方法和技术还存在一定缺陷,因此,对软件测试用例自动生成进行研究显得非常具有理论和实际意义。本文首先对软件测试用例自动生成的相关问题和技术进行了研究,并介绍了测试用例自动生成的一些主要算法。接着对遗传算法的基本原理进行了详细描述,并分析了当前利用遗传算法进行测试用例自动生成存在的一些问题和不足。然后针对这些问题和不足,本文提出了两种新的基于遗传算法的测试用例自动生成方法:一种是具有自适应性的禁忌遗传算法。该方法对交叉、变异因子进行自适应处理,结合禁忌搜索算法,对传统的遗传算法在适应度函数、遗传算子方面进行改进,并进行了遗传导向控制,能够有效控制遗传早熟的问题,提高遗传算法的局部寻优能力;另一种是利用人工鱼群行为进行改进的遗传算法。该方法利用人工鱼群算法的反馈特性,对已有的遗传算法进行改进,能够避免遗传算法在进化到一定程度陷入局部最优、产生早熟问题。同时利用鱼群的四种行为进行代际传递选择,能够快速筛选出优良个体形成新一代种群,加快了算法的收敛速度,从而提高了算法的性能。最后,采用经典的插桩测试程序进行仿真验证,比较分析改进方法相对于原有方法在性能和效率方面的优势。

关键词：软件测试遗传算法测试用例自动生成

来源：评论

学校读者我要写书评

暂无评论

基于改进PSO算法的测试用例自动生成方法研究

基于改进PSO算法的测试用例自动生成方法研究

引用

作者：贺滢长沙理工大学

学位级别：硕士

随着信息化产业的快速发展,软件工程技术已广泛应用于人们生活与生产的各个方面,自动化软件测试已成为专家学者与研发公司探索如何保证测试有效性、降低研发成本的核心方法。测试用例(Test Case,简称TC)自动生成是解决软件测试自动化问... 详细信息

随着信息化产业的快速发展,软件工程技术已广泛应用于人们生活与生产的各个方面,自动化软件测试已成为专家学者与研发公司探索如何保证测试有效性、降低研发成本的核心方法。测试用例(Test Case,简称TC)自动生成是解决软件测试自动化问题的重要手段,本文针对传统的基于粒子群算法(PSO)的测试用例生成方法进行了研究、发展与优化改进,具体研究工作如下:(1)将一种基于Huffman编码的多路径覆盖测试方法与PSO算法进行结合与改进,提出基于H-PSO的TC自动生成算法。通过分析待测程序内部结构与路径测试TC的特点,以Huffman编码方式将结构化待测程序转换为一颗二叉树,从而将选定的目标测试路径编码表示为二进制串,再以PSO算法思想来生成多路径覆盖TC。通过实验数据分析证明了该方法可有效减少计算量,是一种提高TC生成效率行之有效的手段,也说明PSO不失为一种可用于解决TC自动生成问题的高性能优质算法,同时表明该方法相对于原来的将以Huffman编码表示目标路径与遗传算法结合的TC自动生成方法,具有更高的求解效率和更好的算法性能。(2)提出一种约简的自适应混沌粒子群算法(Reduced Adaptive Chaos Particle Swarm Optimization algorithm,RACPSO)算法并应用于TC自动生成,首先对粒子群标准进化方程进行约简,避免依靠速度更新位置耗时且难以把握的缺点,有效提高了算法收敛速度;同时,提出根据粒子适应度值自适应调节惯性权重取值的方案,可以很好地保证算法在全局与局部之间寻优能力的平衡;并且依据早熟收敛判断机制,当算法后期过早收敛时通过混沌搜索来增加粒子的多样性,使算法能及时跳出早熟。对比实验结果显示,RACPSO提升了标准PSO算法解决TC自动生成问题的求解效率,是一种高效的TC自动生成算法。

关键词：软件测试测试用例自动生成粒子群算法哈夫曼编码自适应惯性权重混沌搜索

来源：评论

学校读者我要写书评

暂无评论

基于UML活动图模型的测试用例自动生成方法的研究及实现

基于UML活动图模型的测试用例自动生成方法的研究及实现

引用

作者：孙瑶北京交通大学

学位级别：硕士

当今软件工程发展过程中,软件测试在每个阶段占了越来越重要的作用,而测试用例又作为测试阶段最核心的内容,是软件质量的重要保证。怎样明确表达系统需求,并有效地测试系统,受到了测试研究人员的共同关注。基于UML模型的软件测试目的是... 详细信息

当今软件工程发展过程中,软件测试在每个阶段占了越来越重要的作用,而测试用例又作为测试阶段最核心的内容,是软件质量的重要保证。怎样明确表达系统需求,并有效地测试系统,受到了测试研究人员的共同关注。基于UML模型的软件测试目的是通过使用UML模型图对系统进行建模,用以指导测试,验证软件是否符合需求设计。为了提高测试效率、提高测试工作的自动化程度,保证软件测试充分性,同时也为了使相关人员更明确的理解系统,要选择合适的UML模型图来对系统进行建模。在分析了各个UML模型图的优势与不足之后,本文选择以用例图为指导,基于活动图模型对系统进行建模,同时对活动图建模方式进行优化。在建模完成后,将活动图转化为有向图,使用图论中的遍历算法,对有向图进行遍历生成测试场景,同时提出了将双层遍历方式应用在软件系统的策略,很好的将并发模块的活动进行有序生成,对于循环模块,限定循环次数,保证对循环的有效覆盖,并且缩短了遍历时间。对于并发模块的第二层遍历,本文将深度优先遍历和随机过滤生成算法进行比较,从产生的数据结果中能够清晰的看到更为优化的遍历方式。本文重点改进了活动图建模的方式和使用双层遍历生成测试路径,解决并发模块过大生成测试用例繁杂的问题。最后,本文对测试用例自动生成系统进行了实现,使用了 starUML工具进行建模。对于UML建模方法的使用和测试用例生成算法的研究,本文最后进行了系统实现,结合待测邮箱系统,生成可执行的测试用例,与人工编写测试用例相比,提高了测试的充分性覆盖,对公司的邮箱产品进行测试,提高测试工作的效率。

关键词： UML建模活动图测试用例自动生成测试场景生成

来源：评论

学校读者我要写书评

暂无评论

软件测试用例自动生成技术的应用研究

软件测试用例自动生成技术的应用研究

引用

作者：孙宝云吉林大学

学位级别：硕士

现在计算机已经应用到各行各业,虽说计算机技术给人们带来了各种方便和快捷,但同样存在着大量的问题,问题的根源产生于人们在对系统进行开发时候,或者由于业务需求分析的不均,或者因为底层系统架构实现的问题,在系统上线的时候会暴露出... 详细信息

现在计算机已经应用到各行各业,虽说计算机技术给人们带来了各种方便和快捷,但同样存在着大量的问题,问题的根源产生于人们在对系统进行开发时候,或者由于业务需求分析的不均,或者因为底层系统架构实现的问题,在系统上线的时候会暴露出各种各样的问题,这就需要在我们正式的应用系统前,做好充分的测试准备,否则当系统上线,如果出现相应的问题,会给企业带了不可估量的损失在软件的开发过程中,软件测试是保证软件质量和可靠性的关键。软件测试的目的就是纠错和调整,然而,在测试过程中,如何选择有代表性的输入数据（测试用例）来测试被测程序,使其更完全、更彻底地暴露软件所存在的错误,是软件测试人员最为关心的问题。鉴于测试人员在选择测试用例时带有很大的盲目性,开发一种自动生成测试用例的工具是十分必要的。测试用例自动生成是软件测试自动化领域的难题之一,研究了基于活动图中活动说明的测试用例生成覆盖准则,并以此作为设计测试用例的基础。本文的研究内容属于基于规格说明的软件测试的范畴,这种生成测试用例的方法是一种新兴技术,它优于以前的基于结构代码生成测试用例的技术。目前关于自动化测试的研究在国内外正在受到学者们的注重,我们本课题正好借助于进行深层次的研究。在对相关信息和技术进行了了解后,改进生成算法而进行提高应用。

关键词：软件测试测试用例自动生成 UML活动图

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：