research-article

A PropEr integration of types and function specifications with property-based testing

Authors:

Manolis Papadakis,

Konstantinos SagonasAuthors Info & Claims

Erlang '11: Proceedings of the 10th ACM SIGPLAN workshop on Erlang

Pages 39 - 50

https://doi.org/10.1145/2034654.2034663

Published: 23 September 2011 Publication History

Get Access

Abstract

We present a tight integration of the language of types and function specifications of Erlang with property-based testing. To achieve this integration we have developed from scratch PropEr, an open-source QuickCheck-inspired property-based testing tool. We present technical details of this integration, most notably how the conversion of recursive types into appropriate generators takes place and how function specifications can be turned automatically into simple properties in order to exercise the code of these functions. Finally, we present experiences and advice for the proper use of PropEr.

Supplementary Material

MP4 File (_talk5.mp4)

Download
53.47 MB

References

[1]

T. Arts, J. Hughes, J. Johansson, and U. Wiger. Testing Telecoms Software with Quviq QuickCheck. In Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, pages 2--10. ACM, 2006.

Digital Library

Google Scholar

[2]

R. Carlsson and M. Rémond. EUnit: A Lightweight Unit Testing Framework for Erlang. In Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, pages 1--1, New York, NY, USA, 2006. ACM.

Digital Library

Google Scholar

[3]

K. Claessen and J. Hughes. QuickCheck: a Lightweight Tool for Random Testing of Haskell Programs. In Proceedings of the 5th ACM SIGPLAN International Conference on Functional Programming, pages 268--279. ACM, 2000.

Digital Library

Google Scholar

[4]

EDoc. User's Guide, 2011. http://www.erlang.org/doc/apps/edoc/users_guide.html.

Google Scholar

[5]

M. Jimenez, T. Lindahl, and K. Sagonas. A Language for Specifying Type Contracts in Erlang and its Interaction with Success Typings. In Proceedings of the 2007 SIGPLAN Workshop on Erlang, pages 11--17. ACM, 2007.

Digital Library

Google Scholar

[6]

T. Lindahl and K. Sagonas. Practical Type Inference Based on Success Typings. In Proceedings of the 8th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, pages 167--178. ACM, 2006.

Digital Library

Google Scholar

[7]

PropEr. Property-based testing for Erlang, 2011. http://proper.softlab.ntua.gr/.

Google Scholar

[8]

J. Rushby. Automated Test Generation and Verified Software. In B. Meyer and J. Woodcock, editors, Verified Software: Theories, Tools, Experiments, volume 4171 of Lecture Notes in Computer Science, pages 161--172. Springer, Berlin / Heidelberg, 2008.

Digital Library

Google Scholar

[9]

K. K. Thorup. Triq: Trifork QuickCheck, 2011. http://krestenkrab.github.com/triq/.

Google Scholar

Cited By

View all

Bueso de Barrio LFredlund LBenac Earle CHerranz ÁMariño JFernandez-Reyes KVoinea A(2024)Controlled Scheduling of Concurrent Elixir ProgramsProceedings of the 23rd ACM SIGPLAN International Workshop on Erlang10.1145/3677995.3678195(67-75)Online publication date: 28-Aug-2024
https://dl.acm.org/doi/10.1145/3677995.3678195
Zhou YMa FChen YRen MJiang Y(2023)CLFuzz: Vulnerability Detection of Cryptographic Algorithm Implementation via Semantic-aware FuzzingACM Transactions on Software Engineering and Methodology10.1145/362816033:2(1-28)Online publication date: 23-Dec-2023
https://dl.acm.org/doi/10.1145/3628160
de Vries EMcDonell TVazou N(2023)falsify: Internal Shrinking Reimagined for HaskellProceedings of the 16th ACM SIGPLAN International Haskell Symposium10.1145/3609026.3609733(97-109)Online publication date: 30-Aug-2023
https://dl.acm.org/doi/10.1145/3609026.3609733
Show More Cited By

Index Terms

A PropEr integration of types and function specifications with property-based testing
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging
  2. Software notations and tools
    1. General programming languages
      1. Language features
        Data types and structures

Recommendations

Targeted property-based testing
ISSTA 2017: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis

We introduce targeted property-based testing, an enhanced form of property-based testing that aims to make the input generation component of a property-based testing tool guided by a search strategy rather than being completely random. Thus, this ...
JQF: coverage-guided property-based testing in Java
ISSTA 2019: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis

We present JQF, a platform for performing coverage-guided fuzz testing in Java. JQF is designed both for practitioners, who wish to find bugs in Java programs, as well as for researchers, who wish to implement new fuzzing algorithms.

Practitioners ...
Improved semantics and implementation through property-based testing with QuickCheck
AST 2014: Proceedings of the 9th International Workshop on Automation of Software Test

Testing is the primary method to validate that a software implementation meets its specification. In this paper, we demonstrate an approach to validating an executable semantics using property- and model-based random testing in QuickCheck to automate ...

Comments

Information & Contributors

Information

Published In

Erlang '11: Proceedings of the 10th ACM SIGPLAN workshop on Erlang

September 2011

108 pages

ISBN:9781450308595

DOI:10.1145/2034654

General Chair:
Kenji Rikitake
Kyoto University, Japan
,
Program Chair:
Erik Stenman
Klarna AB, Sweden

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 September 2011

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ICFP '11

Sponsor:

SIGPLAN

ICFP '11: ACM SIGPLAN International Conference on Functional Programming

September 23, 2011

Tokyo, Japan

Acceptance Rates

Erlang '11 Paper Acceptance Rate 10 of 14 submissions, 71%;

Overall Acceptance Rate 51 of 68 submissions, 75%

Upcoming Conference

ICFP '25

Sponsor:
sigplan

ACM SIGPLAN International Conference on Functional Programming

October 12 - 18, 2025

Singapore , Singapore

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

58
Total Citations
View Citations
275
Total Downloads

Downloads (Last 12 months)12
Downloads (Last 6 weeks)2

Reflects downloads up to 02 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Bueso de Barrio LFredlund LBenac Earle CHerranz ÁMariño JFernandez-Reyes KVoinea A(2024)Controlled Scheduling of Concurrent Elixir ProgramsProceedings of the 23rd ACM SIGPLAN International Workshop on Erlang10.1145/3677995.3678195(67-75)Online publication date: 28-Aug-2024
https://dl.acm.org/doi/10.1145/3677995.3678195
Zhou YMa FChen YRen MJiang Y(2023)CLFuzz: Vulnerability Detection of Cryptographic Algorithm Implementation via Semantic-aware FuzzingACM Transactions on Software Engineering and Methodology10.1145/362816033:2(1-28)Online publication date: 23-Dec-2023
https://dl.acm.org/doi/10.1145/3628160
de Vries EMcDonell TVazou N(2023)falsify: Internal Shrinking Reimagined for HaskellProceedings of the 16th ACM SIGPLAN International Haskell Symposium10.1145/3609026.3609733(97-109)Online publication date: 30-Aug-2023
https://dl.acm.org/doi/10.1145/3609026.3609733
Bueso de Barrio LFredlund LBenac Earle CHerranz ÁMariño JOzkan BFernandez-Reyes K(2023)Generation and Refinement of Testing ModelsProceedings of the 22nd ACM SIGPLAN International Workshop on Erlang10.1145/3609022.3609415(14-23)Online publication date: 30-Aug-2023
https://dl.acm.org/doi/10.1145/3609022.3609415
Andin INiskanen RDimitrov PFernandez-Reyes KOzkan BFernandez-Reyes K(2023)TLS the Erlang/OTP Way (Experience Report)Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang10.1145/3609022.3609414(2-13)Online publication date: 30-Aug-2023
https://dl.acm.org/doi/10.1145/3609022.3609414
Shi JKeles AGoldstein HPierce BLampropoulos L(2023)Etna: An Evaluation Platform for Property-Based Testing (Experience Report)Proceedings of the ACM on Programming Languages10.1145/36078607:ICFP(878-894)Online publication date: 31-Aug-2023
https://dl.acm.org/doi/10.1145/3607860
Mista ARusso A(2023)MUTAGEN: Reliable Coverage-Guided, Property-Based Testing using Exhaustive Mutations2023 IEEE Conference on Software Testing, Verification and Validation (ICST)10.1109/ICST57152.2023.00025(176-187)Online publication date: Apr-2023
https://doi.org/10.1109/ICST57152.2023.00025
Sharma AMelnikov VHüllermeier EWehrheim HGnesi SPlat NHartmanns ASchaefer I(2022)Property-driven testing of black-box functionsProceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering10.1145/3524482.3527657(113-123)Online publication date: 18-May-2022
https://dl.acm.org/doi/10.1145/3524482.3527657
Paraskevopoulou ZEline ALampropoulos LJhala RDillig I(2022)Computing correctly with inductive relationsProceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation10.1145/3519939.3523707(966-980)Online publication date: 9-Jun-2022
https://dl.acm.org/doi/10.1145/3519939.3523707
Lascu ADonaldson AGrosser THoefler T(2022)Metamorphic Fuzzing of C++ Libraries2022 IEEE Conference on Software Testing, Verification and Validation (ICST)10.1109/ICST53961.2022.00015(35-46)Online publication date: Apr-2022
https://doi.org/10.1109/ICST53961.2022.00015
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

Supplementary Material

References

Cited By

Index Terms

Recommendations

Targeted property-based testing

JQF: coverage-guided property-based testing in Java

Improved semantics and implementation through property-based testing with QuickCheck

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations