Strong Automated Testing of OCaml Libraries - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2021

Strong Automated Testing of OCaml Libraries

Abstract

We present Monolith, a programmable tool that helps apply random testing or fuzz testing to an OCaml library. Monolith provides a rich specification language, which allows the user to describe her library's API, and an engine, which generates clients of this API and executes them. This reduces the problem of testing a library to the problem of testing a complete program, one that is effectively addressed by off-the-shelf fuzzers such as AFL.
Fichier principal
Vignette du fichier
pottier-monolith-2021.pdf (352.65 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03049511 , version 1 (09-12-2020)

Identifiers

  • HAL Id : hal-03049511 , version 1

Cite

François Pottier. Strong Automated Testing of OCaml Libraries. JFLA 2021 - 32es Journées Francophones des Langages Applicatifs, Feb 2021, Saint Médard d’Excideuil, France. ⟨hal-03049511⟩
119 View
175 Download

Share

Gmail Facebook X LinkedIn More