Problem
Research questions and friction points this paper is trying to address.
Property-based testing
QuickChick
program extraction
performance
QuickerChick
🤖 AI Summary
研究通过优化QuickChick的程序提取、编译和运行时间，解决了其性能问题，并使用ETNA平台评估了改进效果。
📝 Abstract
Property-based testing (PBT) with QuickChick relies on extracting Rocq programs to OCaml. However, this extraction mechanism, while crucial for QuickChick to function, has significant performance implications. In this work, we describe how we optimized QuickChick, exploiting various opportunities offered by program extraction to significantly improve each test's extraction, compilation, and running time. We also evaluate these improvements using the ETNA benchmarking platform for PBT to assess how individual improvements impacted the overall test run time.
Innovation
Methods, ideas, or system contributions that make the work stand out.
program extraction
optimization
performance improvement
PBT
🔎 Similar Papers
No similar papers found.
