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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

113 篇 专利
72 篇 学位论文
55 篇 期刊文献
2 篇 会议

馆藏范围

242 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

128 篇 工学
- 119 篇 计算机科学与技术...
- 119 篇 软件工程
- 18 篇 控制科学与工程
- 5 篇 仪器科学与技术
- 5 篇 交通运输工程
- 4 篇 机械工程
- 3 篇 航空宇航科学与技...
- 2 篇 信息与通信工程
- 1 篇 动力工程及工程热...
- 1 篇 网络空间安全
16 篇 管理学
- 16 篇 管理科学与工程(可...
2 篇 理学
- 2 篇 数学
1 篇 经济学
- 1 篇 应用经济学
1 篇 艺术学
- 1 篇 设计学（可授艺术学...

主题

129 篇 测试用例自动生成
38 篇 软件测试
16 篇 遗传算法
6 篇 测试场景
4 篇 自动化测试
4 篇 uml
4 篇 测试用例
4 篇 uml模型
4 篇 标准符合性测试
4 篇 路径覆盖
3 篇 白盒测试
3 篇 面向对象
3 篇 组合测试
3 篇 软件可信性
3 篇 集成测试
3 篇 符号执行
3 篇 uml活动图
3 篇 模型检测
2 篇 安全苛求软件
2 篇 测试自动化

机构

8 篇 华南理工大学
7 篇 南京大学
6 篇 山东科技大学
6 篇 四川大学
6 篇 电子科技大学
5 篇 清华大学
5 篇 西北工业大学
5 篇 西安理工大学
5 篇 北京工业大学
4 篇 北京交通大学
4 篇 华东师范大学
4 篇 南京航空航天大学
4 篇 浙江理工大学
4 篇 北京航空航天大学
3 篇 中国科学院大学
3 篇 北京邮电大学
3 篇 西南交通大学
3 篇 北京理工大学
3 篇 北方工业大学
2 篇 湖南大学

作者

8 篇 刘方青
7 篇 黄翰
5 篇 赵卫东
4 篇 连木明
4 篇 杨忠明
4 篇 陈鑫
3 篇 顾明
3 篇 chen xin
3 篇 马锐
3 篇 王丹
3 篇 郝志峰
3 篇 hong mei
3 篇 李超
3 篇 洪玫
2 篇 于志波
2 篇 张尧铎
2 篇 张正
2 篇 张林林
2 篇 欧建生
2 篇 颜学明

语言

242 篇 中文

检索条件"主题词=测试用例自动生成"

共 242 条记录，以下是51-60 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

基于蒙特卡罗树搜索算法的测试用例自动生成

基于蒙特卡罗树搜索算法的测试用例自动生成

引用

作者： Angwech Kevin 浙江理工大学

学位级别：硕士

Test case generation is an integral aspect of any effective software debugging *** test case generation is error-prone and *** automatic test case generation has been widely used to improve efficiency and effectiveness of software *** methods have been proposed for automatic test case ***,automatic generation of test cases with higher coverage is still one of the challenges faced by structural testing of *** address this problem,this paper proposed two new methods which use Monte Carlo Tree Search（MCTS）and Parallel Monte Carlo Tree Search（PMCTS）for test case *** methods can maximize branch coverage of derived test cases within the available test *** main work of this paper is summarized as follows:（1）A MCTS method（M-TCG）is proposed to formulate test case generation problem as a tree exploration problem and then utilizes MCTS for heuristically searching the optimal test *** policy is explored in constructing simulated test case generation *** evaluate the effectiveness and efficiency of MCTS method,comparative experiments were conducted based on 17 projects with 66 non trivial Java classes from SF110 corpus and other *** results indicate that the proposed MCTS method improved average branch coverage by 2.1% compared with Dyna MOSA which is a state-of-the-art evolutionary *** method also decreased memory consumption by 4% compared with the existing adaptive a Dyna MOSA approach.（2）We proposed PMCTS method（PM-TCG）which extends M-TCG method for automatic test case *** computational cost for constructing the search tree in rollouts of MCTS is expensive,PMCTS method can further improve its effectiveness by formulating the test case generation problem as a parallel tree exploration problem and then uses PMCTS for heuristically searching the optimal test *** were conducted on the subject programs used in the MCTS ***

关键词：软件测试测试用例自动生成蒙特卡罗树搜索算法

来源：评论

学校读者我要写书评

暂无评论

航空软件测试用例自动生成方法研究

航空软件测试用例自动生成方法研究

引用

作者：曹爽南京航空航天大学

学位级别：硕士

软件测试在软件的整个开发过程中占有非常重要的地位,是保证软件质量的关键步骤。航空软件具有实时性、嵌入性、高可靠性等特点,对其进行严格的软件测试至关重要。测试用例生成是软件测试的核心问题,研究适用于航空软件的测试用例自动... 详细信息

软件测试在软件的整个开发过程中占有非常重要的地位,是保证软件质量的关键步骤。航空软件具有实时性、嵌入性、高可靠性等特点,对其进行严格的软件测试至关重要。测试用例生成是软件测试的核心问题,研究适用于航空软件的测试用例自动生成方法,对提高航空软件的可靠性有着重要的理论意义和实用价值。本文以在某研究所参与的航空软件――卫星导航系统测试项目为研究背景,首先,在对国内外已有的测试用例自动生成研究成果深入分析的基础上,研究了基于模型检查的测试用例自动生成方法。结合航空软件灰盒测试过程,提出了一个基于需求、运用模型检查技术的测试用例自动生成流程,该流程涉及软件需求抽象、软件需求的形式化系统建模、基于测试准则的时序逻辑变换、软件需求形式化模型与时序逻辑的一致性验证以及测试用例的提炼和整理等内容。其次,依据航空软件测试标准DO-178B的要求,本文提出一个布尔运算符替换算法来构造时序逻辑,该时序逻辑经过模型检查后得到的用例能够满足MC/DC覆盖准则。最后,本文针对测试用例自动生成流程,设计开发了一个基于模型检查测试用例自动生成工具。根据卫星导航系统的软件测试过程,通过将该工具作为设计测试用例的辅助工具,并设计测试驱动模板,以及进行结构覆盖分析,对提出的测试用例自动生成方法实用性进行了验证。

关键词：模型检查测试用例自动生成灰盒测试 MC/DC DO-178B

来源：评论

学校读者我要写书评

暂无评论

基于遗传算法软件测试用例自动生成分析与研究

基于遗传算法软件测试用例自动生成分析与研究

引用

作者：苗亮亮兰州交通大学

学位级别：硕士

据估计，80％的软件开发成本都花在检测和维修缺陷上。为了解决这个问题，已经开发了一些工具和测试技术来完善检测框架。尽管如静态分析，随机测试和进化测试技术已被用于自动化测试过程中，但是目前尚不清楚什么是最好的办法。以前的... 详细信息

据估计，80％的软件开发成本都花在检测和维修缺陷上。为了解决这个问题，已经开发了一些工具和测试技术来完善检测框架。尽管如静态分析，随机测试和进化测试技术已被用于自动化测试过程中，但是目前尚不清楚什么是最好的办法。以前的研究主要集中在进化测试程序的编程语言与简单的测试数据输入方面，如数字。在这项工作中，我们提出了一个改进的测试方法，它结合了遗传算法的静态分析，增加了在一定时间框架内发现故障的数量。遗传算法(GA)已被成功地用于在ADA83开发的软件测试数据自动生成技术中。分析被测程序的结构，遍历每一个分支的目的是在软件的测试数据中应用。该方法在针对分支谓词表达式和数值表达式之间的差异基础上使用适应度函数并且在谓词的倒数之间应用海明距离。以输入变量表示的格雷码和本机存储器作为对象，使用遗传算法(GA)的强大功能在于他们有能力来处理输入数据，可以是复杂的谓词结构和未知函数的输入变量。因此，测试数据生成的问题完全被视为一个优化问题。随机测试被用作比较测试数据生成的有效性，而遗传算法能够得到比两个数量级更少的测试用例数，并达到100％的分支覆盖。遗传算法的主要特点是利用最初未知搜索空间收集到的信息再指示到其他有用的子空间的能力。如果逻辑结构空间变化不是太大，就可以穷举开发相应的启发式搜索策略，以保持控制下的计算时间。抽样策略是适应样本（后代）被用来偏置随后的采样成高预期表现的采样在全局最佳域的反馈。这意味着，即使一个已经产生很好遗传优化参数有效性的解决方案也取决于通过反馈获得的有用信息。重要的是选择合适的反馈机制来得到自适应搜索策略。遗传算法的优点是，通过搜索和优化过程，改善测试集使得它们处于或接近输入的子域边界。当这些子域最小时，遗传算法就会用在最改进随机测试中。突变分析是用于建立测试数据生成的质量和测试数据生成策略的优势和劣势中。最后，本文设计并实现了基于遗传算法测试用例自动生成系统。该系统中的基本设计思想是将三角形程序作为典型的范例，在规定数据范围和输入数据的情况下生成测试用例来尽可能全面的完成路径的覆盖。根据实验数据得出，此系统不仅能完成预先设定的目标路径的测试用例的简单生成，而且能够全面的遍历目标路径生成满足要求的测试用例。同时，程序路径覆盖与否会被指出，当不能完全覆盖时将给出最优解。比起随机测试来，遗传算法一般需要较少的CPU时间就可达成一个整体性的解决方案。最大的优点是用在当整体最佳状态（解决方案）小于整个输入搜索域中。

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

来源：评论

学校读者我要写书评

暂无评论

线性拟合制导的面向CDC/MCDC的测试用例自动生成方法

线性拟合制导的面向CDC/MCDC的测试用例自动生成方法

引用

作者：欧建生南京大学

学位级别：硕士

测试是软件开发过程中的重要环节,是工业界常用的质量保障手段。为满足测试充分覆盖的要求,测试人员需要花费大量的时间和精力来设计测试用例。测试用例自动生成技术针对给定的测试覆盖准则自动生成有效的测试用例,从而减少测试人员的... 详细信息

测试是软件开发过程中的重要环节,是工业界常用的质量保障手段。为满足测试充分覆盖的要求,测试人员需要花费大量的时间和精力来设计测试用例。测试用例自动生成技术针对给定的测试覆盖准则自动生成有效的测试用例,从而减少测试人员的工作量,降低软件生产成本,是软件测试技术研究的一个重要方向。在白盒测试中,条件判定覆盖(CDC)和改进的条件判定覆盖(MCDC)是各种安全攸关软件测试中常用的测试覆盖准则。由于非线性运算的存在,相应的测试用例自动生成问题已经被理论证明是NP问题。目前的研究工作主要采用符号执行技术和启发式搜索方法探寻满足程序约束条件的解。符号执行技术受制于当前的约束求解器不能有效求解非线性约束条件;启发式搜索方法(主要代表是基于遗传算法的搜索和基于模拟退火算法的搜索)的主要问题在于搜索区间不可扩展且搜索的效能受到多个参数的影响,从而针对一个具体程序找到最优的参数设定是非常困难的。分量线性拟合法也是一种启发式搜索方法,但是不同于基于遗传算法的搜索和基于模拟退火算法的搜索,分量线性拟合法不采用适应度函数,而是借鉴了程序中的条件是关于程序输入的函数这一特性,通过线性拟合关于条件的输入分量函数来预测问题的解,具有搜索空间可扩展、可以处理非线性约束和浮点型计算、参数设定简单等特点,已经被应用于解决面向路径的测试用例生成问题。本文面向条件判定覆盖和改进的条件判定覆盖准则,研究基于分量线性拟合法的测试用例自动生成技术,主要工作包括以下两个方面:·针对条件判定覆盖和改进的条件判定覆盖准则,提出基于边界区间上分量线性拟合函数的区间扩展法和基于可变区间的搜索机制,在此基础上提出了基于分量线性拟合方法的CDC/MCDC测试用例自动生成算法。该算法能够处理复合约束条件、非线性条件以及浮点型条件。它首先设定一个分量作为自变量,然后随机的生成一组输入来执行待测程序,记录执行过程经过条件语句的点集合,紧接着以这些点为样本来计算条件关于自变量的分量线性拟合函数,并用该函数预测条件的变化趋势,进而获得可能的输入。算法不断地重复执行程序和拟合分析可能输入,在搜索到所求的解或达到搜索阈值后停止。·设计并实现了原型工具:CLF-CDC,该工具为一款eclipse插件,能够为C函数自动生成满足CDC覆盖准则的测试用例。为了评价CLF生成测试用例的能力和性能,本文从数学包Numerical Recipes和开源网站选取了 25个基准C程序,将CLF算法与GA算法生成的测试用例的覆盖率和生成测试用例的时间进行对比了实验。基于统计性检验方法检测两种方法的覆盖效果和性能是否具有显著性差异。实验结果表明,CLF在生成测试用例的能力上优于GA,特别地,CLF能够覆盖更多的极值条件。从性能上看,CLF覆盖一个条件所花费的时间和最优参数下的GA相当,但CLF算法不需要寻找最优的参数设定。

关键词：测试用例自动生成面向CDC和MCDC 基于搜索的方法边界区间扩展可变调整极值条件

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

作者：黄陈辉上海师范大学

学位级别：硕士

人们日益增长的需求,致使软件规模不断增加,软件测试对于软件的重要性愈发明显。同时软件测试的成本非常高,通常会消耗整个项目开发总财务资源的一半。软件测试主要还是手动过程,通过实验表明,软件测试自动化可以显著降低软件测试和软... 详细信息

人们日益增长的需求,致使软件规模不断增加,软件测试对于软件的重要性愈发明显。同时软件测试的成本非常高,通常会消耗整个项目开发总财务资源的一半。软件测试主要还是手动过程,通过实验表明,软件测试自动化可以显著降低软件测试和软件开发的总成本,因此成为科学界争相研究的热点领域,其中测试用例的自动生成是软件测试的重要组成部分。目前已经探索了许多测试用例自动生成的方法,作为自动化测试用例的生成的有效方法,它们可以使用一系列智能优化算法进行搜索。本文使用的是其中最基础常用的遗传算法,并针对遗传算法后期种群波动现象造成的迭代次数过大、易陷入局部最优解等缺陷进行相应改进,以期提高遗传算法的准确率及软件的测试效率。本课题在软件测试用例自动生成背景下,研究遗传算法在该方面的应用,着重对软件测试面向路径的测试用例自动生成问题进行分析研究,并提出了一种混沌遗传算法的测试用例生成方法。本文方法针对传统遗传算法对初始种群的选择有一定的依赖性,初始种群更靠近最优解时可以得到较好的效果,使用基于反向学习的初始种群生成策略,对初始种群进行优化,使初始种群更靠近最优解;同时遗传算法的适应度函数的设计,没有充分考虑算法的并行能力,设计了同时针对所有目标路径的个体评价函数来提高遗传算法的效率;再使用沌序列来操作遗传算法的交叉,变异过程,提高算法全局寻优能力,避免陷入局部收敛(早熟)。最后设计了对比实验分别证明基于反向学习的初始种群生成策略、改进的适应度函数设计以及混沌变异(交叉)方法的有效性,并将本文方法应用在具体的工程实验中,与基本遗传算法,以及近些年其他人改进的遗传算法作对比。实验结果表明,改进的混沌遗传算法在提高代码的覆盖率的同时将遗传算法的效率提高了10.8%,较自适应遗传算法提高了8.49%,采用该方法在测试用例生成问题上优于传统算法,提升了算法效率和目标路径的覆盖率,在测试用例生成领域有一定作用。

关键词：测试用例自动生成遗传算法混沌优化算法适应度函数

来源：评论

学校读者我要写书评

暂无评论

测试用例自动生成的方法、装置、计算机设备及存储介质

测试用例自动生成的方法、装置、计算机设备及存储介质

引用

作者：王剑亮李冬刘奕宏 511300 广东省广州市增城区朱村街朱村大道西78号

本发明涉及一种测试用例自动生成的方法、装置、计算机设备及存储介质。一种测试用例自动生成的方法、装置、计算机设备及存储介质，在执行程序语句的过程中，当程序语句中的分支语句为非线性逻辑表达式时，调用预设结果值取代非线性逻... 详细信息

标准号: CN107885663B

本发明涉及一种测试用例自动生成的方法、装置、计算机设备及存储介质。一种测试用例自动生成的方法、装置、计算机设备及存储介质，在执行程序语句的过程中，当程序语句中的分支语句为非线性逻辑表达式时，调用预设结果值取代非线性逻辑表达式中的变量值，预设结果值为与非线性逻辑表达式对应程序处理测试数据得到的结果值；当程序语句中的分支语句为外部调用函数时，调用预设运行结果取代调用函数，预设运行结果为与调用函数对应的函数处理测试数据得到的运行结果。本方案解决了符号执行无法针对非线性逻辑表达式和外部调用函数执行的问题。

关键词：非线性逻辑调用函数预设程序语句运行结果测试用例自动生成计算机设备测试数据存储介质分支语句调用程序处理方案解决符号执行函数处理外部

来源：评论

学校读者我要写书评

暂无评论

测试用例自动生成方法及电子设备

测试用例自动生成方法及电子设备

引用

作者：吕伟奇 450000 河南省郑州市郑东新区龙子湖智慧岛正商博雅广场1号楼9层

本申请实施方式公开了一种测试用例自动生成方法及电子设备，其中，测试用例自动生成方法包括：电子设备根据测试配置文件确定待测源码的测试工具；电子设备基于测试工具确定输入参数类型和输入规则；电子设备根据输入参数类型对待测源... 详细信息

标准号: CN115221047A

本申请实施方式公开了一种测试用例自动生成方法及电子设备，其中，测试用例自动生成方法包括：电子设备根据测试配置文件确定待测源码的测试工具；电子设备基于测试工具确定输入参数类型和输入规则；电子设备根据输入参数类型对待测源码进行参数提取，得到目标参数文件；电子设备根据输入规则和目标参数文件生成待测源码的测试用例。本申请实施方式的方法实现Fuzzing测试下测试用例的自动生成，提高测试效率，降低对专业人员的依赖程度。

关键词：电子设备测试用例自动生成测试工具目标参数输入参数输入规则待测源测试测试配置文件参数提取测试效率文件生成自动生成源码申请

来源：评论

学校读者我要写书评

暂无评论

测试用例自动生成方法及系统

测试用例自动生成方法及系统

引用

作者：姜宇杨镒箫任谦李天池顾明孙家广 100084 北京市海淀区清华园北京100084-82信箱

本发明实施例提供了测试用例自动生成方法及系统，方法包括：基于符号执行生成测试用例种子，并基于启发式搜索对测试用例种子进行变异，得到第一变异测试用例；分别执行测试用例种子与第一变异测试用例，分别获取对应的执行路径信息，... 详细信息

标准号: CN108595341A

本发明实施例提供了测试用例自动生成方法及系统，方法包括：基于符号执行生成测试用例种子，并基于启发式搜索对测试用例种子进行变异，得到第一变异测试用例；分别执行测试用例种子与第一变异测试用例，分别获取对应的执行路径信息，并确定变异的影响结果；根据影响结果，对测试用例种子或第一变异测试用例进行下一次变异，重复执行上述过程，直至满足预设条件。不需要人工参与，自动化程度很高。符号执行与启发式搜索进行结合，提高了整个方法的运行效率，而且采用反馈机制，通过变异的影响结果指导测试用例种子或第一变异测试用例进行下一次变异，这种方法不仅有利于短函数序列的测试用例的生成，对于长函数序列的测试用例的生成也同样适用。

关键词：变异测试测试影响结果启发式搜索符号执行函数序列测试用例自动生成反馈机制路径信息人工参与生成测试预设条件运行效率重复执行自动化

来源：评论

学校读者我要写书评

暂无评论

测试用例自动生成方法和系统

测试用例自动生成方法和系统

引用

作者：易棉生英属开曼群岛大开曼资本大厦一座四层847号邮箱

本申请提供了一种测试用例自动生成方法，包括：步骤101，获取测试参数和参数组合策略，并根据参数组合策略生成多组测试数据；步骤102，选取一组测试数据，依据预设模型确定测试动作的输入参数及期待输出；步骤103，基于所确定的各测... 详细信息

标准号: CN102999320B

本申请提供了一种测试用例自动生成方法，包括：步骤101，获取测试参数和参数组合策略，并根据参数组合策略生成多组测试数据；步骤102，选取一组测试数据，依据预设模型确定测试动作的输入参数及期待输出；步骤103，基于所确定的各测试动作输入参数及期待输出，依据预设模型调用测试动作的顺序创建动态测试路径，动态测试路径为有序存放测试动作、校验动作的数组容器；步骤104，输出动态测试路径，得到一组测试用例。本申请还提供了一种实现前述方法的测试用例自动生成系统。本申请的测试用例自动生成方法和系统，能够解决测试用例编写耗时和覆盖率低的问题。

关键词：测试动作测试用例自动生成动态测试参数组合测试数据输入参数输出预设申请测试策略生成测试参数模型调用模型确定顺序创建用例编写校验数组耗时覆盖率

来源：评论

学校读者我要写书评

暂无评论

测试用例自动生成方法及系统

测试用例自动生成方法及系统

引用

作者：姜宇杨镒箫任谦李天池顾明孙家广 100084 北京市海淀区清华园北京100084-82信箱

标准号: CN108595341B

关键词：变异测试测试影响结果启发式搜索符号执行函数序列测试用例自动生成反馈机制路径信息人工参与生成测试预设条件运行效率重复执行自动化

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共25页 << < 2 3 4 5 6 7 8 9 10 11 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：