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

作为归纳编程超启发式的测试用例特征

Test Case Features as Hyper-heuristics for Inductive Programming

Zoea Ltd.(Zoea有限公司)

Edward McDaid, Sarah McDaid

AI总结:

本文提出用测试用例类型签名作为超启发式,从多个较小的指令子集族中选择一个,并重排子集顺序,从而将归纳编程搜索空间进一步缩小1到3个数量级。

摘要:

指令子集是一种启发式方法,能够将归纳编程搜索空间的规模缩小数十个数量级。这些子集由许多不同大小的重叠子集组成,它们作为对解决任意问题所需指令的预测。目前,该方法使用单一的大型子集族,这意味着某些问题在找到解决方案之前可能需要搜索数千个子集。在本文中,我们引入测试用例类型签名作为超启发式,用于从多个较小的指令子集族中选择一个。任意一组测试用例的类型签名直接映射到单个子集族,而较小的子集族意味着大多数问题需要考虑的子集更少。拥有多个子集族还允许对子集进行重新排序,以更好地反映它们在人类代码中的相对出现频率——这再次减小了许多问题的搜索空间规模。总体而言,新方法能够根据类型签名的不同,将归纳编程搜索空间的规模进一步缩小1到3个数量级。通过使用更复杂的类型系统,可以实现更大且更一致的缩减。本文还简要讨论了将其他测试用例特征用作超启发式的可能性以及其他一些未来工作方向。

英文摘要:

Instruction subsets are heuristics that can reduce the size of the inductive programming search space by tens of orders of magnitude. Comprising many overlapping subsets of different sizes, they serve as predictions of the instructions required to code a solution for any problem. Currently, this approach employs a single, large family of subsets meaning that some problems can search thousands of subsets before a solution is found. In this paper we introduce the use of test case type signatures as hyper-heuristics to select one of many, smaller families of instruction subsets. The type signature for any set of test cases maps directly to a single family and smaller families mean that fewer subsets need to be considered for most problems. Having many families also permits subsets to be reordered to better reflect their relative occurrence in human code - again reducing the search space size for many problems. Overall the new approach can further reduce the size of the inductive programming search space by between 1 and 3 orders of magnitude, depending on the type signature. Larger and more consistent reductions are possible through the use of more sophisticated type systems. The potential use of additional test case features as hyper-heuristics and some other possible future work is also briefly discussed.

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

↑