To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

Linking Unit Tests and Pr… - University of Gothenburg, Sweden Till startsida
To content Read more about how we use cookies on

Linking Unit Tests and Properties

Conference paper
Authors Alex Gerdes
John Hughes
Nicholas Smallbone
M. Wang
Published in Erlang Workshop, 2015-09-04, Vancouver
Pages 19-26
ISBN 978-1-4503-3805-9
Publication year 2015
Published at
Pages 19-26
Language en
Subject categories Software Engineering


QuickCheck allows you to validate if your software has particular desired properties. These properties can be regarded as an abstraction over many unit tests. QuickCheck uses generated random input data to validate such a property. If QuickCheck finds a counterexample it becomes immediately clear what we are testing. If however all tests pass it is not immediately clear what we have tested, since we don’t see the actual generated test cases. In this case it is good to think about what we have actually tested. QuickCheck offers the possibility to gather statistics about the test cases, which is very insightful. Still, after inspecting the test data distribution many QuickCheck users wonder if a particular unit test case has been tested. Often a property is developed with a certain set of unit tests in mind. We have developed a tool that check if a given unit test can be generated by a property. This tool helps in understanding a property, making it easier to see what it really tests and hence judge its quality.

Page Manager: Webmaster|Last update: 9/11/2012

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?