.png){kind=icon}
返回
Test data generation using genetic programming
.png){kind=icon}
PRE
AI
DOI：10.1016/j.infsof.2020.106446.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Context: Typically, search-based test data generation methods search on a population of program input values. Program input values can be regarded as solutions to underlying path constraints over program input parameters. One way to discover these path constraints is to use the symbolic execution method. Search-based methods attempt to find input values which are solutions to these path constraints, without knowing the actual constraints. Objective: In this paper, we show that we can search for the underlying path constraints using search-based methods, without resorting to symbolic execution. Trying to discover the exact or a good enough approximation of the underlying constraints may lead to a more targeted search, compared to directly searching for program input values. Besides, the construction of approximate constraints by searching may help to avoid some problems of symbolic execution. Method: The proposed method uses genetic programming for learning constraints on program input parameters. Results: To evaluate the performance of the proposed approach, a series of experiments have been conducted on a number of different benchmark programs. For 91.8% of benchmark programs, the proposed method achieved the best efficiency among the competitive algorithms. Conclusion: The results show that, if constraint solving can be provided for some or all parameter types of the methods of programs under test, our approach can improve the efficiency and effectiveness of search-based test data generation.
Keyword:
Genetic programming
Search-based test data generation
Evolutionary algorithms
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
4.3
论文数:
3.8K
被引数:
7.7K
机构
引用论文
.png){kind=icon}
分享收藏1600 faults in 100 projects: automatically finding faults while achieving high coverage with EvoSuite1600 100项目中的故障: 在使用EvoSuite实现高覆盖率的同时自动查找故障
PREAI
分享收藏Through Deming's Eyes: a cross‐national analysis of quality assurance policies in higher education
PREAI
分享收藏
查看更多内容