Linking unit tests and properties

Alex Gerdes, John Hughes, Nick Smallbone, Meng Wang

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

5 Citations (Scopus)
7 Downloads (Pure)


QuickCheck allows us to verify software against particular properties. A property can be regarded as an abstraction over many unit tests. QuickCheck uses generated random input data to test such properties. If a counterexample is found, it becomes immediately clear what we have tested. This is not the case when all tests pass, since we do not (and shall not) see the actual generated test cases. How can we be sure about what is tested? QuickCheck has the ability to gather statistics about the test cases, which is insightful. But still it does not tell us whether the particular unit test scenarios we have in mind are included. For this reason, we have developed a tool that can answer this question. It checks if a given unit test can be generated by a property, making it easier to judge the property's quality. We have applied our tool to an industrial use case of testing the AUTOSAR basic software modules and shows that it can handle complex models and large unit tests.

Original languageEnglish
Title of host publicationErlang '15 Proceedings of the 14th ACM SIGPLAN Workshop on Erlang
PublisherAssociation for Computing Machinery (ACM)
Publication statusPublished - 2015

Structured keywords

  • Programming Languages


Dive into the research topics of 'Linking unit tests and properties'. Together they form a unique fingerprint.

Cite this