ETNA: An Evaluation Platform for Property-Based Testing (Experience Report)

被引：3

作者：

Shi, Jessica ^{[1
]}

Keles, Alperen ^{[2
]}

Goldstein, Harrison ^{[1
]}

Pierce, Benjamin C. ^{[1
]}

Lampropoulos, Leonidas ^{[2
]}

机构：

[1] Univ Penn, Philadelphia, PA 19104 USA

[2] Univ Maryland, College Pk, MD 20742 USA

来源：

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL | 2023年 / 7卷 / ICFP期

关键词：

property-based testing; empirical evaluation; mutation testing;

D O I：

10.1145/3607860

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Property-based testing is a mainstay of functional programming, boasting a rich literature, an enthusiastic user community, and an abundance of tools - so many, indeed, that new users may have difficulty choosing. Moreover, any given framework may support a variety of strategies for generating test inputs; even experienced users may wonder which are better in a given situation. Sadly, the PBT literature, though long on creativity, is short on rigorous comparisons to help answer such questions. We present Etna, a platform for empirical evaluation and comparison of PBT techniques. Etna incorporates a number of popular PBT frameworks and testing workloads from the literature, and its extensible architecture makes adding new ones easy, while handling the technical drudgery of performance measurement. To illustrate its benefits, we use Etna to carry out several experiments with popular PBT approaches in both Coq and Haskell, allowing users to more clearly understand best practices and tradeoffs.

引用

页数：17

共 53 条

[1]

Andoni Alexandr., 2002, Evaluating the "small scope hypothesis"

[2]

[Anonymous], 2011, P 6 INT WORKSH AUT S, DOI DOI 10.1145/1982595.1982615

[3]

Arts T, 2008, ERLANG '08: PROCEEDINGS OF THE 2008 SIGPLAN ERLANG WORKSHOP, P1

[4]

Braquehais Rudy Matela, 2017, Tools for Discovery, Refinement and Generalization of Functional Properties by Enumerative Testing

[5]

Bulwahn Lukas, 2012, Certified Programs and Proofs. Second International Conference (CPP 2012). Proceedings, P92, DOI 10.1007/978-3-642-35308-6_10

[6]

Bulwahn L, 2012, LECT NOTES COMPUT SC, V7180, P153, DOI 10.1007/978-3-642-28717-6_14

[7] QuickCheck: A lightweight tool for random testing of Haskell programs [J].

Claessen, K ;

Hughes, J .

ACM SIGPLAN NOTICES, 2000, 35 (09) :268-279

[8]

Claessen K, 2014, LECT NOTES COMPUT SC, V8475, P18, DOI 10.1007/978-3-319-07151-0_2

[9]

Cruanes Simon., 2017, QuickCheck Inspired Property-Based Testing for OCaml

[10]

Dolan Stephen, 2017, Property Fuzzing for OCaml

← 1 2 3 4 5 6 →