Loading...
Please wait, while we are loading the content...
Similar Documents
Linking unit tests and properties
| Content Provider | ACM Digital Library |
|---|---|
| Author | Wang, Meng Smallbone, Nick Hughes, John Gerdes, Alex |
| Abstract | 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. . |
| Starting Page | 19 |
| Ending Page | 26 |
| Page Count | 8 |
| File Format | |
| ISBN | 9781450338059 |
| DOI | 10.1145/2804295.2804298 |
| Language | English |
| Publisher | Association for Computing Machinery (ACM) |
| Publisher Date | 2015-08-30 |
| Publisher Place | New York |
| Access Restriction | Subscribed |
| Subject Keyword | Unit tests Quickcheck Property-based testing Erlang |
| Content Type | Text |
| Resource Type | Article |
