arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2004.02000cs.SE
收藏

高效发现高阶突变体

Efficiently Finding Higher-Order Mutants

Chu-Pan Wong, Jens Meinicke, Leo Chen, João P. Diniz, Christian Kästner, Eduardo Figueiredo

摘要:

高阶变异具有改善传统一阶变异的主要缺点的潜力,例如通过模拟更真实的故障或改进测试优化技术。尽管人们对研究有希望的高阶突变体感兴趣,但由于突变组合的指数搜索空间,很难找到这样的突变体。最先进的方法依赖于遗传搜索,由于其随机性,这通常是不完整和昂贵的。首先,我们提出了一种新的方法,找到一套完整的高阶突变体,通过使用变分执行,一种技术,可以在许多情况下,探索大搜索空间完全,往往有效。其次,我们使用已识别的高阶突变体的完整集合来研究它们的特征。最后,我们使用所确定的特性来设计和评估一个新的搜索策略,独立于变的执行,这是非常有效的,即使在大型代码库中找到高阶突变体。

英文摘要:

Higher-order mutation has the potential for improving major drawbacks of traditional first-order mutation, such as by simulating more realistic faults or improving test optimization techniques. Despite interest in studying promising higher-order mutants, such mutants are difficult to find due to the exponential search space of mutation combinations. State-of-the-art approaches rely on genetic search, which is often incomplete and expensive due to its stochastic nature. First, we propose a novel way of finding a complete set of higher-order mutants by using variational execution, a technique that can, in many cases, explore large search spaces completely and often efficiently. Second, we use the identified complete set of higher-order mutants to study their characteristics. Finally, we use the identified characteristics to design and evaluate a new search strategy, independent of variational execution, that is highly effective at finding higher-order mutants even in large code bases.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑