標題: Genetic Algorithms as Shrinkers in Property-Based Testing
作者: Lo, Fang-Yi
Chen, Chao-Hong
Chen, Ying-ping
交大名義發表
National Chiao Tung University
關鍵字: Genetic algorithms;Property-based testing;Shrinker;QuickChick;Coq
公開日期: 1-Jan-2019
摘要: This paper proposes the use of genetic algorithms as shrinkers for shrinking the counterexamples generated by QuickChick, a property-based testing framework for Coq. The present study incorporates the flexibility and versatility of evolutionary algorithms into the realm of rigorous software development, in particular, making the results of property-based testing observable and comprehensible for human. The program code for merge sort is investigated as a showcase in the study. Due to the lack of similar proposals in the literature, random sample is used to compete with the proposal for comparison. The experimental results indicate that the proposed genetic algorithm outperforms random sample. Moreover, the minimal counterexamples, through which programmers are able to pinpoint the program mistakes with ease, can be successfully obtained by using genetic algorithms as shrinkers.
URI: http://dx.doi.org/10.1145/3319619.3322004
http://hdl.handle.net/11536/155067
ISBN: 978-1-4503-6748-6
DOI: 10.1145/3319619.3322004
期刊: PROCEEDINGS OF THE 2019 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE COMPANION (GECCCO'19 COMPANION)
起始頁: 291
結束頁: 292
Appears in Collections:Conferences Paper