Towards Substructural Property-Based Testing
Logic in Computer Science
2021-08-04 v1 Programming Languages
Software Engineering
Abstract
We propose to extend property-based testing to substructural logics to overcome the current lack of reasoning tools in the field. We take the first step by implementing a property-based testing system for specifications written in the linear logic programming language Lolli. We employ the foundational proof certificates architecture to model various data generation strategies. We validate our approach by encoding a model of a simple imperative programming language and its compilation and by testing its meta-theory via mutation analysis.
Cite
@article{arxiv.2108.01610,
title = {Towards Substructural Property-Based Testing},
author = {Marco Mantovani and Alberto Momigliano},
journal= {arXiv preprint arXiv:2108.01610},
year = {2021}
}
Comments
Pre-proceedings paper presented at the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021), Tallinn, Estonia, and Virtual, September 7-8, 2021 (arXiv:2107.10160)