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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

128 篇 期刊文献
127 篇 会议
2 篇 学位论文

馆藏范围

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

日期分布

学科分类号

247 篇 工学
- 190 篇 计算机科学与技术...
- 152 篇 软件工程
- 74 篇 电气工程
- 17 篇 控制科学与工程
- 14 篇 信息与通信工程
- 4 篇 仪器科学与技术
- 2 篇 机械工程
- 2 篇 材料科学与工程（可...
- 2 篇 电子科学与技术（可...
- 1 篇 化学工程与技术
- 1 篇 石油与天然气工程
- 1 篇 交通运输工程
- 1 篇 航空宇航科学与技...
- 1 篇 环境科学与工程（可...
13 篇 理学
- 5 篇 数学
- 3 篇 生物学
- 2 篇 化学
- 2 篇 统计学（可授理学、...
- 1 篇 天文学
- 1 篇 地球物理学
12 篇 管理学
- 11 篇 管理科学与工程(可...
- 1 篇 图书情报与档案管...
1 篇 医学
- 1 篇 基础医学(可授医学...

主题

257 篇 test data genera...
47 篇 software testing
28 篇 genetic algorith...
18 篇 mutation testing
18 篇 genetic algorith...
14 篇 symbolic executi...
13 篇 testing
11 篇 fitness function
10 篇 search-based sof...
9 篇 path coverage
8 篇 search-based sof...
8 篇 model-based test...
8 篇 software reliabi...
8 篇 program testing
8 篇 unit testing
8 篇 path testing
7 篇 test case genera...
7 篇 branch coverage
7 篇 random testing
6 篇 structural testi...

机构

8 篇 china univ min &...
8 篇 china univ min &...
7 篇 shandong jianzhu...
6 篇 iran univ sci & ...
6 篇 chinese acad sci...
5 篇 qingdao univ sci...
4 篇 univ chinese aca...
4 篇 jiangxi univ fin...
4 篇 qingdao univ sci...
4 篇 univ sheffield d...
3 篇 china univ min &...
3 篇 xuzhou univ tech...
2 篇 computer science...
2 篇 xuzhou univ tech...
2 篇 natl univ comp &...
2 篇 beihang univ sch...
2 篇 univ texas arlin...
2 篇 chinese acad sci...
2 篇 univ arizona dep...
2 篇 univ sannio rcos...

作者

15 篇 gong dunwei
11 篇 yao xiangjuan
10 篇 parsa saeed
8 篇 tian tian
6 篇 mcminn phil
6 篇 zhang jian
5 篇 dang xiangying
5 篇 yan jun
5 篇 nikravan esmaeel
4 篇 mao chengying
4 篇 haghighi hassan
4 篇 wei changqing
4 篇 arcuri andrea
3 篇 iqbal muhammad z...
3 篇 durelli vinicius...
3 篇 zhao ruilian
3 篇 benlhachmi khali...
3 篇 fraser gordon
3 篇 truscan dragos
3 篇 ruiz-cortes anto...

语言

247 篇 英文
5 篇 其他
3 篇 德文
1 篇 葡萄牙文
1 篇 中文

检索条件"主题词=Test Data Generation"

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

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

详细简洁

排序：

An Approach for test data generation based on Genetic Algorithm and Delete Mutation Operators 2

An Approach for Test Data Generation based on Genetic Algori...

引用

2nd IEEE International Conference on Advances in Computing and Communication Engineering (ICACCE)

作者： Rani, Shweta Suri, Bharti GGS Indraprastha Univ USICT Delhi India

ISBN: (纸本)9781479917341

This paper introduces a novel method that generates the program test data based on 'Genetic Algorithm' and 'Delete Mutation Analysis'. This approach attempts to imporve the test suite by deleting the redundant test data and leads to an efficient test data set in terms of better mutation score. In this approach, fitness is evaluated using mutation score and therefore, an adequate testdata is generated. Mutants based on delete operators are cost effective and, save huge time and effort in comparison with traditional mutant operators.

关键词： Genetic Algorithm Mutation testing Delete mutation operator test data generation

来源：评论

学校读者我要写书评

暂无评论

Revisiting Hyper-Parameter Tuning for Search-Based test data generation 11th

Revisiting Hyper-Parameter Tuning for Search-Based Test Data...

引用

11th International Symposium on Search-Based Software Engineering (SSBSE)

作者： Zamani, Shayan Hemmati, Hadi Univ Calgary Dept Elect & Comp Engn Calgary AB Canada

ISBN: (纸本)9783030274559;9783030274542

Search-based software testing (SBST) has been studied a lot in the literature, lately. Since, in theory, the performance of meta-heuristic search methods are highly dependent on their parameters, there is a need to study SBST tuning. In this study, we partially replicate a previous paper on SBST tool tuning and revisit some of the claims of that paper. In particular, unlike the previous work, our results show that the tuning impact is very limited to only a small portion of the classes in a project. We also argue the choice of evaluation metric in the previous paper and show that even for the impacted classes by tuning, the practical difference between the best and an average configuration is minor.

关键词： Search-based software engineering test data generation Hyper-parameter Tuning Replication

来源：评论

学校读者我要写书评

暂无评论

Forward Slicing Algorithm based test data generation

Forward Slicing Algorithm based Test Data Generation

引用

3rd IEEE International Conference on Computer Science and Information Technology (ICCSIT)

作者： Samuel, Philip Surendran, Anupama Cochin Univ Sci & Technol Div Informat Technol Kochi 682022 Kerala India Cochin Univ Sci & Technol Dept Comp Sci Kochi 682022 Kerala India

ISBN: (纸本)9781424455379

In this paper we have suggested a new method for test data generation using dynamic forward slicing algorithm. Separating the suspicious parts of code from the original program will make the process of test data generation easier. In forward dynamic slicing, the slices produced are much smaller than the original program and the search space for testing is considerably reduced. In this paper, we discuss the forward algorithm and the advantages of using forward dynamic algorithm for test data generation. The test cases are generated by analyzing the constraints present in the slices constructed from forward dynamic slicing algorithm. In the proposed method, the program for which the test data to be generated is analyzed. Forward slicing of the program is done with respect to all the variables whose value is changed during program execution. Slices obtained are then verified for statements which define certain constraints for test data generation. This helps to clearly define the limits of test data and remove the ambiguities about the value of the test data which is to be generated. The test data is then generated based on the constraints. In the proposed method, since forward algorithm is used, the execution traces need not be recorded and analyzing the constraints present in the slices will help in fault localization and debugging. This is one of the most important advantages of our method.

关键词： test data generation static slicing dynamic slicing forward algorithm

来源：评论

学校读者我要写书评

暂无评论

Genetic Algorithm Fitness Function Formulation for test data generation with Maximum Statement Coverage 12th

Genetic Algorithm Fitness Function Formulation for Test Data...

引用

12th International Conference on Swarm Intelligence (ICSI)

作者： Avdeenko, Tatiana Serdyukov, Konstantin Novosibirsk State Tech Univ 20 Karl Marx Ave Novosibirsk Russia

ISBN: (纸本)9783030787424;9783030787431

In present paper we solve an urgent problem of generating the optimal set of test data that provides maximum statement coverage of the code when it is used in the software white box testing process. Formulation of a fitness function containing two terms, and, accordingly, two versions for implementing genetic algorithm (GA) have been proposed. The first term of the fitness function is responsible for the complexity of the code statements executed on the path generated by the current individual test case (current set of statements). The second term formulates the maximum possible difference between the current set of statements and set of statements covered by the remaining test cases in the population. Using only the first term does not make it possible to obtain 100% statement coverage by generated test cases in one population, and therefore implies repeated launch of GA with changed weights of the code statements which requires recompiling the code under test. By using both terms of the proposed fitness function, we obtain maximum statement coverage in one launch of the GA.

关键词： Genetic algorithm test data generation Fitness function

来源：评论

学校读者我要写书评

暂无评论

On the Performance of EvoPSO: a PSO Based Algorithm for test data generation in EvoSuite 2

On the Performance of EvoPSO: a PSO Based Algorithm for Test...

引用

2nd Conference on Swarm Intelligence and Evolutionary Computation (CSIEC)

作者： Shahabi, Mohammad Mehdi Dejam Badiei, S. Parsa Beheshtian, S. Ehsan Akbari, Reza Moosavi, S. Mohammad Reza Shiraz Univ Technol Dept Comp Engn & Informat Technol Software Engn Lab Shiraz Iran Shiraz Univ Technol Dept Comp Sci Engn & IT Shiraz Iran

ISBN: (纸本)9781509043309

Nowadays software has a major role in our everyday life. Many critical tasks are done by software systems. The increasing complexity of software systems compels providing techniques and tools to design correct and well-functioning software in safety-critical systems. Up to 50% of the total software project costs are devoted to testing;hence, increased concern of automated software testing in recent years. The automation of software testing reduces costs and improves the effectiveness of tests that are generated in order to detect defects in the software under test. Various techniques are adopted for automated software testing including metaheuristic search algorithms. In this paper, we propose the EvoPSO algorithm using swarm intelligence paradigm. The algorithm is implemented in EvoSuite tool for the purpose of test data generation. The performance of EvoPSO has been investigated on SFIIO dataset. The promising performance shows that EvoPSO is efficient and can give competitive results.

关键词： test data generation particle swarm optimization EvoSuite

来源：评论

学校读者我要写书评

暂无评论

A Framework for test data generation of Object-oriented Programs Based on Complete testing Chain 17

A Framework for Test Data Generation of Object-oriented Prog...

引用

17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)

作者： Li, Gang Yu, Lei Sun, Huihui State Key Lab Math Engn & Adv Comp Zhengzhou Peoples R China

ISBN: (纸本)9781509022397

test data generation is always a hot topic in software testing since efficient test data generation method can significantly increase the efficiency of software testing and decrease the cost. Method call relation and parameter list are seldom considered in existing test data generation methods for object-oriented programs. In this paper, we present the concept of complete testing chain which stipulates the order of methods to be followed when generating test data for object-oriented programs to guarantee the correctness of test data generation. Basing on this, a framework for test data generation of object-oriented programs is proposed. We discuss encoding paradigm of test data, updating of test data and design of fitness function. For updating of test data, particle swarm optimization is introduced to realize the update of parameter list with genetic algorithm used for method sequence updating. Last but not least, a method to improve the initial population by using generated test data is presented for programs whose branch statements consist of method calls. The results show that the proposed methods can greatly increase the success rate and efficiency of test data generation for object-oriented programs.

关键词： test data generation object-oriented programs complete testing chain parameter list updating initial population improving

来源：评论

学校读者我要写书评

暂无评论

Application of dynamic program slicing technique in test data generation 8th

Application of dynamic program slicing technique in test dat...

引用

8th International Conference on Advances in Information Technology (IAIT)

作者： Hong, Mao Yang Qin, Lin Ruo South China Inst Software Engn GU 548 GuangCong South RdHigh Tech Ind Pk Guangzhou 510990 Guangdong Peoples R China

The core and key of software testing is test data generation. In the process of generating test data automatically, if the dynamic program slicing technique is used, the efficiency of generating test data can be improved. for generating test data, The main algorithm is as follows: First, in the program, we calculate the dynamic slice of the interest point's variable, and get the current value of the interest point's variable;Then In the branch function, we use the method of minimization, and guide the adjustment of program input. Through practical examples verify that, it is feasible for us to use dynamic program slicing technique in test data generation. (C) 2017 The Authors. Published by Elsevier B.V.

关键词： Dynamic program slicing interest point test data generation software testing

来源：评论

学校读者我要写书评

暂无评论

Automatic test data generation Using Particle Systems 08

Automatic Test Data Generation Using Particle Systems

引用

23rd Annual ACM Symposium on Applied Computing

作者： Bueno, Paulo M. S. Wong, W. Eric Jino, Mario Renato Archer Res Ctr Rodovia Dom Pedro 1Km 1436 Campinas Sao Paulo Brazil Univ Texas Dallas Richardson TX 75083 USA Univ Estadual Campinas Sao Paulo Brazil

ISBN: (纸本)9781595937537

The simulated repulsion algorithm, which is based on particle systems, is used for the automatic generation of diversity oriented test sets (DOTS). These test sets are generated by taking randomly generated test sets and iteratively improving their diversity (the level of variability among values for the test data) towards DOTS. The results of a simulation performed to evaluate characteristics of DOTS indicate improvement, with respect to fault detection, of these test sets over the standard random test sets.

关键词： Software testing test data generation random testing diversity oriented test data generation simulated annealing genetic algorithms simulated repulsion self-organization

来源：评论

学校读者我要写书评

暂无评论

Strong Mutation-Based test data generation using Hill Climbing 9

Strong Mutation-Based Test Data Generation using Hill Climbi...

引用

9th IEEE/ACM International Workshop on Search-Based Software testing (SBST)

作者： Souza, Francisco Carlos M. Papadakis, Mike Le Traon, Yves Delamaro, Marcio E. Univ Sao Paulo Comp Syst Dept Sao Carlos SP Brazil Univ Luxembourg Interdisciplinary Ctr Secur Reliabil & Trust Luxembourg Luxembourg

ISBN: (纸本)9781450341660

Mutation testing is an effective test criterion for finding faults and assessing the quality of a test suite. Every test criterion requires the generation of test cases, which turns to be a manual and difficult task. In literature, search-based techniques are effective in generating structural-based test data. This fact motivates their use for mutation testing. Thus, if automatic test data generation can achieve an acceptable level of mutation score, it has the potential to greatly reduce the involved manual effort. This paper proposes an automated test generation approach, using hill climbing, for strong mutation. It incremental aims at strongly killing mutants, by focusing on mutants' propagation, i.e., how to kill mutants that are weakly killed but not strongly. Furthermore, the paper reports empirical results regarding the cost and effectiveness of the proposed approach on a set of 18 C programs. Overall, for the majority of the studied programs, the proposed approach achieved a higher strong mutation score than random testing, by 19,02% on average, and the previously proposed test generation techniques that ignore mutants' propagation, by 7,2% on average. Our results also demonstrate the improved efficiency of the proposed scheme over the previous methods.

关键词： Mutation testing Search-Based Software testing test data generation

来源：评论

学校读者我要写书评

暂无评论

Applying Combinatorial test data generation to Big data Applications 16

Applying Combinatorial Test Data Generation to Big Data Appl...

引用

31st IEEE/ACM International Conference on Automated Software Engineering (ASE)

作者： Li, Nan Lei, Yu Khan, Haider Riaz Liu, Jingshu Guo, Yun Medidata Solut Res & Dev New York NY 10014 USA Univ Texas Arlington Dept Comp Sci & Engn Arlington TX 76019 USA George Mason Univ Dept Comp Sci Fairfax VA 22030 USA

ISBN: (纸本)9781450338455

Big data applications (e.g., Extract, Transform, and Load (ETL) applications) are designed to handle great volumes of data. However, processing such great volumes of data is time-consuming. There is a need to construct small yet effective test data sets during agile development of big data applications. In this paper, we apply a combinatorial test data generation approach to two real-world ETL applications at Medidata. In our approach, we first create Input Domain Models (IDMs) automatically by analyzing the original data source and incorporating constraints manually derived from requirements. Next, the IDMs are used to create test data sets that achieve t-way coverage, which has shown to be very effective in detecting software faults. The generated test data sets also satisfy all the constraints identified in the first step. To avoid creating IDMs from scratch when there is a change to the original data source or constraints, our approach extends the original IDMs with additional information. The new IDMs, which we refer to as Adaptive IDMs (AIDMs), are updated by comparing the changes against the additional information, and are then used to generate new test data sets. We implement our approach in a tool, called comBinatorial bIg data test data Generator (BIT-TAG). Our experience shows that combinatorial testing can be effectively applied to big data applications. In particular, the test data sets created using our approach for the two ETL applications are only a small fraction of the original data source, but we were able to detect all the faults found with the original data source.

关键词： Big data testing Combinatorial testing Input Domain Model Adaptive Input Domain Model test data generation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：