CurryCheck: checking properties of Curry programs

DOI10.1007/978-3-319-63139-4_13MaRDI QIDQ2409738zbMATH OpenOpenAlexFDO

Authors Michael Hanus

Publication date 13 October 2017

Full work available at URL https://arxiv.org/abs/1608.05617

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18)

Abstract: We present CurryCheck, a tool to automate the testing of programs written in the functional logic programming language Curry. CurryCheck executes unit tests as well as property tests which are parameterized over one or more arguments. In the latter case, CurryCheck tests these properties by systematically enumerating test cases so that, for smaller finite domains, CurryCheck can actually prove properties. Unit tests and properties can be defined in a Curry module without being exported. Thus, they are also useful to document the intended semantics of the source code. Furthermore, CurryCheck also supports the automated checking of specifications and contracts occurring in source programs. Hence, CurryCheck is a useful tool that contributes to the property- and specification-based development of reliable and well tested declarative programs.

Recommendations

• Testing and tracing lazy functional programs using QuickCheck and Hat
• Combining static and dynamic contract checking for Curry
• Functional Logic Programming: From Theory to Curry
• Towards substructural property-based testing
• Semantic determinism and functional logic program properties

Cited in

(5)

• Testing in functional programming
• scientific article; zbMATH DE number 7455733 (Why is no real title available?)
• An integrated approach to assertion-based random testing in Prolog
• Testing and tracing lazy functional programs using QuickCheck and Hat
• Towards substructural property-based testing

This page was built for publication: CurryCheck: checking properties of Curry programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2409738)