Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
复制标题
DOI：
10.1145/3609026.3609730
复制
发表时间：
2023-08
期刊：
影响因子：
--
通讯作者：
Segev Elazar Mittelman;Aviel Resnick;Ivan Perez;Alwyn E. Goodloe;Leonidas Lampropoulos
中科院分区：
文献类型：
--
作者：
Segev Elazar Mittelman;Aviel Resnick;Ivan Perez;Alwyn E. Goodloe;Leonidas Lampropoulos
在我们的实现中，我们将最先进的基于枚举的基于属性的测试框架LazySearch与最先进的组合测试工具NIST的ACTS集成在一起，并演示了它如何显著加快测试的有效性——在文献中先前的System F案例研究中，测试效率提高了20倍以上。
In our implementation, we integrate a state-of-the-art enumeration-based property-based testing framework, LazySearch, with a state-of-the-art combinatorial testing tool, NIST’s ACTS, and demonstrate how it can significantly speed up the effectiveness of testing—up to more than 20× in the case of a prior System F case study from the literature.