How to Specify It!: A Guide to Writing Properties of Pure Functions
Paper i proceeding, 2020

Property-based testing tools test software against a specification, rather than a set of examples. This tutorial paper presents five generic approaches to writing such specifications (for purely functional code). We discuss the costs, benefits, and bug-finding power of each approach, with reference to a simple example with eight buggy variants. The lessons learned should help the reader to develop effective property-based tests in the future.

Författare

John Hughes

Chalmers, Data- och informationsteknik, Funktionell programmering

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

03029743 (ISSN) 16113349 (eISSN)

Vol. 12053 LNCS 58-83
978-3-030-47147-7 (ISBN)

20th International Symposium on Trends in Functional Programming, TFP 2019
Vancouver, Canada,

Systematisk testning av cyberfysiska system (SyTeC)

Vetenskapsrådet (VR) (2016-06204), 2017-01-01 -- 2022-12-31.

Styrkeområden

Informations- och kommunikationsteknik

Ämneskategorier

Programvaruteknik

Datavetenskap (datalogi)

Datorsystem

DOI

10.1007/978-3-030-47147-7_4

Mer information

Senast uppdaterat

2024-09-23