Fast and sound random generation for automated testing and benchmarking in Objective Caml - Archive ouverte HAL
Communication Dans Un Congrès Année : 2009

Fast and sound random generation for automated testing and benchmarking in Objective Caml

Benjamin Canou
  • Fonction : Auteur
  • PersonId : 854249
Alexis Darrasse
  • Fonction : Auteur
  • PersonId : 850194

Résumé

Numerous software testing methods involve random generation of data structures. However, random sampling methods currently in use by testing frameworks are not satisfactory: often manually written by the programmer or at best extracted in an ad-hoc way relying on no theoretical background. On the other end, random sampling methods with good theoretical properties exist but have a too high cost to be used in testing, in particular when large inputs are needed. In this paper we describe how we applied the recently developed Boltzmann model of random generation to algebraic data types. We obtain a fully automatic way to derive random generators from Objective Caml type definitions. These generators have linear complexity and, the generation method being uniform, can also be used as a sound sampling back-end for benchmarking tools. As a result, we provide testing and benchmarking frameworks with a sound and fast generation basis. We also provide a testing and benchmarking library, available for download, showing the viability of this experiment.
Fichier non déposé

Dates et versions

hal-00391817 , version 1 (04-06-2009)

Identifiants

Citer

Benjamin Canou, Alexis Darrasse. Fast and sound random generation for automated testing and benchmarking in Objective Caml. 2009 ACM SIGPLAN Workshop on ML, Aug 2009, Edinburgh, United Kingdom. pp.61-70, ⟨10.1145/1596627.1596637⟩. ⟨hal-00391817⟩
118 Consultations
0 Téléchargements

Altmetric

Partager

More