Well-typed generic smart-fuzzing for APIs

Abstract : Despite recent advances in program certification, testing remains a widely-used component of the software development cycle. Various flavours of testing exist: popular ones include unit testing, which consists in manually crafting test cases for specific parts of the code base, as well as QuickCheck-style testing, where instances ofa type are automatically generated to serve as test inputs. These methods of testing can be thought of as internal testing: the test routines need to access the internal representation of the data-structures that are used by the functions under test. They can also be thought of as per-function testing:a test suite is built(by hand, or automatically) for each function that must be tested.We propose a new method of external testing that applies at the level of the module interface. The core of our work is a small embedded domain-specific language to describe APIs, i.e., functions and data-types. Then, these API descriptions are used to drive generation of test-cases.
Type de document :
Communication dans un congrès
ML'14 - ACM SIGPLAN ML Family Workshop, Aug 2014, Göteborg, Sweden. 2014, <http://okmij.org/ftp/ML/ML14.html>
Liste complète des métadonnées

https://hal.inria.fr/hal-01094006
Contributeur : Scherer Gabriel <>
Soumis le : jeudi 18 décembre 2014 - 09:09:45
Dernière modification le : mercredi 14 décembre 2016 - 01:07:26

Fichier

articheck-ml-workshop-extended...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01094006, version 1

Collections

Citation

Thomas Braibant, Jonathan Protzenko, Gabriel Scherer. Well-typed generic smart-fuzzing for APIs. ML'14 - ACM SIGPLAN ML Family Workshop, Aug 2014, Göteborg, Sweden. 2014, <http://okmij.org/ftp/ML/ML14.html>. <hal-01094006>

Partager

Métriques

Consultations de
la notice

96

Téléchargements du document

152