Strong Automated Testing of OCaml Libraries - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2021

Strong Automated Testing of OCaml Libraries

François Pottier
Langages de programmation : systèmes de types, concurrence, preuve de programme

Résumé

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.

Domaines

Langage de programmation [cs.PL]
Fichier principal
Vignette du fichier
pottier-monolith-2021.pdf (352.65 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

François Pottier  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-03049511

Soumis le : mercredi 9 décembre 2020-21:06:58

Dernière modification le : vendredi 8 novembre 2024-16:32:05

Archivage à long terme le : mercredi 10 mars 2021-20:14:08

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : hal-03049511 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 INRIA CDF IRISA INRIA2 PSL UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
142 Consultations
199 Téléchargements

Partager

More