Skip to main content
Kent Academic Repository

Linking Unit Tests and Properties

Gerdes, Alex and Hughes, John and Smallbone, Nick and Wang, Meng (2015) Linking Unit Tests and Properties. In: Proceedings of the 14th ACM SIGPLAN Workshop on Erlang. ICFP International Conference on Functional Programming . ACM, New York, USA, pp. 19-26. ISBN 978-1-4503-3805-9. (doi:10.1145/2804295.2804298) (KAR id:50096)

Abstract

QuickCheck allows us to verify software against particular proper- ties. 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.

Item Type: Book section
DOI/Identification number: 10.1145/2804295.2804298
Uncontrolled keywords: QuickCheck, Unit tests, Property-Based Testing, Erlang
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Meng Wang
Date Deposited: 10 Aug 2015 15:46 UTC
Last Modified: 09 Dec 2022 06:59 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/50096 (The current URI for this page, for reference purposes)

University of Kent Author Information

Wang, Meng.

Creator's ORCID:
CReDIT Contributor Roles:
  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.