License: 
Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CP.2021.59
URN: urn:nbn:de:0030-drops-153502
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2021/15350/
Ziat, Ghiles ;
Dien, Matthieu ;
Botbol, Vincent
Automated Random Testing of Numerical Constrained Types
Abstract
We propose an automated testing framework based on constraint programming techniques. Our framework allows the developer to attach a numerical constraint to a type that restricts its set of possible values. We use this constraint as a partial specification of the program, our goal being to derive property-based tests on such annotated programs. To achieve this, we rely on the user-provided constraints on the types of a program: for each function f present in the program, that returns a constrained type, we generate a test. The tests consists of generating uniformly pseudo-random inputs and checking whether f’s output satisfies the constraint. We are able to automate this process by providing a set of generators for primitive types and generator combinators for composite types. To derive generators for constrained types, we present in this paper a technique that characterizes their inhabitants as the solution set of a numerical CSP. This is done by combining abstract interpretation and constraint solving techniques that allow us to efficiently and uniformly generate solutions of numerical CSP. We validated our approach by implementing it as a syntax extension for the OCaml language.
BibTeX - Entry
@InProceedings{ziat_et_al:LIPIcs.CP.2021.59,
author = {Ziat, Ghiles and Dien, Matthieu and Botbol, Vincent},
title = {{Automated Random Testing of Numerical Constrained Types}},
booktitle = {27th International Conference on Principles and Practice of Constraint Programming (CP 2021)},
pages = {59:1--59:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-211-2},
ISSN = {1868-8969},
year = {2021},
volume = {210},
editor = {Michel, Laurent D.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2021/15350},
URN = {urn:nbn:de:0030-drops-153502},
doi = {10.4230/LIPIcs.CP.2021.59},
annote = {Keywords: Constraint Programming, Automated Random Testing, Abstract Domains, Constrained Types}
}
